標題: Titlebook: SOFSEM 2010: Theory and Practice of Computer Science; 36th Conference on C Jan Leeuwen,Anca Muscholl,Bernhard Rumpe Conference proceedings [打印本頁] 作者: 戲弄 時間: 2025-3-21 17:48
書目名稱SOFSEM 2010: Theory and Practice of Computer Science影響因子(影響力)
書目名稱SOFSEM 2010: Theory and Practice of Computer Science影響因子(影響力)學科排名
書目名稱SOFSEM 2010: Theory and Practice of Computer Science網(wǎng)絡(luò)公開度
書目名稱SOFSEM 2010: Theory and Practice of Computer Science網(wǎng)絡(luò)公開度學科排名
書目名稱SOFSEM 2010: Theory and Practice of Computer Science被引頻次
書目名稱SOFSEM 2010: Theory and Practice of Computer Science被引頻次學科排名
書目名稱SOFSEM 2010: Theory and Practice of Computer Science年度引用
書目名稱SOFSEM 2010: Theory and Practice of Computer Science年度引用學科排名
書目名稱SOFSEM 2010: Theory and Practice of Computer Science讀者反饋
書目名稱SOFSEM 2010: Theory and Practice of Computer Science讀者反饋學科排名
作者: 玉米 時間: 2025-3-21 22:42 作者: forager 時間: 2025-3-22 01:08 作者: 行乞 時間: 2025-3-22 06:20
Model-Driven Software Product Line Testing: An Integrated Approach approach for the systematic derivation of a set of test cases of a single software system instance. In this paper, we explore the relations and similarities between FMs and CTs. Our contribution is the introduction of an integrated approach . (FMT) marrying properties and abilities of CTs and FMs.作者: Alpha-Cells 時間: 2025-3-22 12:09 作者: 故意釣到白楊 時間: 2025-3-22 14:38 作者: agenda 時間: 2025-3-22 20:42
The Web of Things: Extending the Web into the Real Worldopers to extend the Web out of the browser and into the real world. This is achieved through mechanisms to provide web run times with access to rich models of users, devices, services, and the environment in which they reside. Privacy and trust are key considerations.作者: 琺瑯 時間: 2025-3-22 22:59
Taming the Complexity of Inductive Logic Programming theories. Current research views ILP algorithms mainly in the context of machine learning [14] and data mining [1]. ILP has enriched both of the two fieds significantly by providing them with formalisms and algorithms for learning (or ‘mining’) complex pieces of knowledge from non-trivially structured data such as relational databases.作者: 閹割 時間: 2025-3-23 03:03 作者: 頑固 時間: 2025-3-23 08:42 作者: Conspiracy 時間: 2025-3-23 10:20
Research Issues in the Automated Testing of Ajax Applicationsown as Asynchronous JavaScript and XML (.). With ., the classical model of browsing a series of pages is replaced by a JavaScript engine (running in the browser) taking control of user interaction, exchanging information updates with the web server instead of requesting the complete next page. The b作者: 音的強弱 時間: 2025-3-23 17:03 作者: Decimate 時間: 2025-3-23 21:09 作者: Physiatrist 時間: 2025-3-23 22:17
Clock Synchronization: Open Problems in Theory and Practicenization is to provide the constituent parts of a distributed system with a common notion of time. While the problem of synchronizing clocks in distributed systems has already received considerable attention from researchers and practitioners alike, we believe that there are many fascinating problem作者: Foreshadow 時間: 2025-3-24 05:36
Regret Minimization and Job Schedulingcan guarantee, for a single decision maker, a?near optimal behavior under fairly adversarial assumptions. I will discuss a?recent extensions of the classical regret minimization model, which enable to handle many different settings related to job scheduling, and guarantee the near optimal online beh作者: COM 時間: 2025-3-24 10:11
Lessons in Software Evolution Learned by Listening to Smalltalklearly need software systems to be more dynamic, compositional and model-centric, but instead we continue to build systems that are static, baroque and inflexible. How can we better build . systems in the future? To answer this question, we propose to look back to one of the most successful systems 作者: transdermal 時間: 2025-3-24 10:54
The Web of Things: Extending the Web into the Real Worldations. This paper looks at the potential of Web technologies for reducing the complexity for developing such applications, allowing millions of developers to extend the Web out of the browser and into the real world. This is achieved through mechanisms to provide web run times with access to rich m作者: Radiation 時間: 2025-3-24 16:05
Model-Driven Software Product Line Testing: An Integrated Approachf features. Feature Models (FMs) are often used to model commonalities and variabilities within a Software Product Line (SPL). Due to their variability, testing SPLs is very challenging and many different approaches exist. Classification Trees (CTs) are a well-known and in practice popular black-box作者: 緊張過度 時間: 2025-3-24 21:12 作者: 密碼 時間: 2025-3-25 02:50 作者: Pseudoephedrine 時間: 2025-3-25 03:46
Approximability of Edge Matching Puzzles .. puzzle, with a?$2?million prize for the first submitted correct solution. It is known [1] it is NP-hard to obtain an exact solution to Edge Matching Puzzles. We extend on that result by showing an approximation-preserving reduction from Max-3DM-B and thus proving that Edge Matching Puzzles do no作者: 輕快走過 時間: 2025-3-25 09:00
A Linear Time Algorithm for Finding Three Edge-Disjoint Paths in Eulerian Networkspaths .., .., and .., where ..?connects nodes?.. and?.. (.?=?1, 2, 3)..Results obtained by Robertson and Seymour by graph minor techniques imply a polynomial time solvability of this problem. The time bound of their algorithm is .(..) (hereinafter we assume . :?=?|.|, . :?=?|.|, .?=?.(.))..In this p作者: nullify 時間: 2025-3-25 12:22
R-Programs: A Framework for Distributing XML Structural Joins across Function Callsingle operator with multiple inputs. However, in XQuery and XSLT, a twig pattern may be scattered across several functions (templates); thus, function integration is required before the application of a twig join operator. This paper presents R-programs – a novel evaluation framework based on an exp作者: 分解 時間: 2025-3-25 18:00 作者: 多嘴多舌 時間: 2025-3-25 23:17 作者: 衰弱的心 時間: 2025-3-26 02:38
A Kernel for Convex Recoloring of Weighted Forests-negative integer weight, and given is an integer .. In a?recoloring, the color of some vertices is changed. We are looking for a?recoloring such that each color class induces a subtree of . and such that the total weight of all recolored vertices is at most .. Our result generalizes a result by Bod作者: 可用 時間: 2025-3-26 06:21
Symbolic OBDD-Based Reachability Analysis Needs Exponential Spacelems are known to be PSPACE-hard if their input graphs are represented by OBDDs. Despite the hardness results there are not many concrete nontrivial lower bounds known for the complexity of problems on OBDD-represented graph instances. Computing the set of vertices that are reachable from some prede作者: 一個姐姐 時間: 2025-3-26 12:24 作者: Ingest 時間: 2025-3-26 13:09
Lessons in Software Evolution Learned by Listening to Smalltalkstrate how these lessons work in practice by reviewing a number of research projects that support software evolution by exploiting Smalltalk’s design. We conclude by summarizing open issues and challenges for change-enabled systems of the future.作者: Incise 時間: 2025-3-26 18:08 作者: eulogize 時間: 2025-3-26 23:23 作者: 仇恨 時間: 2025-3-27 04:34 作者: 煩人 時間: 2025-3-27 06:28
Arie van Deursen,Ali Mesbahe or a fork. But there are areas in which such disagreement is not regarded as legitimate. For example, we do not tolerate disagreement concerning such things as the shape of the Earth (it is not flat), the sum of two plus two (it is four and not five), or Napoleon’s marriage to Josephine (it took p作者: 率直 時間: 2025-3-27 11:45 作者: nonradioactive 時間: 2025-3-27 14:18 作者: Nerve-Block 時間: 2025-3-27 19:35
Oscar Nierstrasz,Tudor G?rbajects the idea of an individual essence. On the contrary, we underpin this idea, because claiming the opposite seems to be incompatible with our first-person perspective experience. She argues that our individuality does not transcend our knowledge, while we argue that our individuality partly trans作者: tendinitis 時間: 2025-3-27 23:35 作者: 帽子 時間: 2025-3-28 04:17 作者: 向下 時間: 2025-3-28 06:53 作者: Immunoglobulin 時間: 2025-3-28 12:14
David Bednárekany rhythms of Western music, including Brazilian, those who sing do so in numerous languages including Chinese, and interestingly, many of them travel all over the country to play. A saying attributed to Confucius allows us to access one of their central motivations: “Choose a job you love, and you作者: electrolyte 時間: 2025-3-28 18:22 作者: impale 時間: 2025-3-28 19:54
Frank S. de Boer,Immo Grabepense of food producers. If the Party ideology had originally reflected the peasant character of the revolution, it later had to balance this with concern for the urban industrial worker, the vanguard of which was concentrated in state-owned enterprises.作者: GLUT 時間: 2025-3-29 02:36 作者: Definitive 時間: 2025-3-29 06:14
Beate Bolligpense of food producers. If the Party ideology had originally reflected the peasant character of the revolution, it later had to balance this with concern for the urban industrial worker, the vanguard of which was concentrated in state-owned enterprises.作者: 觀察 時間: 2025-3-29 08:07 作者: 青石板 時間: 2025-3-29 13:15
Fast Arc-Annotated Subsequence Matching in Linear Spacematching the previous time bound while significantly reducing the space from a quadratic term to linear. This is essential to process large RNA molecules where the space is a likely to be a bottleneck. To obtain our result we introduce several novel ideas which may be of independent interest for rel作者: 鋼筆尖 時間: 2025-3-29 15:47 作者: 乏味 時間: 2025-3-29 21:07 作者: 淘氣 時間: 2025-3-30 03:04 作者: debacle 時間: 2025-3-30 07:50 作者: 連系 時間: 2025-3-30 10:56
Web Science: The Digital-Heritage CaseWeb Science studies the interpay between web technology and the human behaviour it induces at the micro, meso and macro level. In this extended abstract we examine Web Science research issues by taking a closer look at the area of digital heritage. We discuss engineering, communication and socio-economic aspects.作者: JEER 時間: 2025-3-30 14:45
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/s/image/860219.jpg作者: 迷住 時間: 2025-3-30 17:37
https://doi.org/10.1007/978-3-642-11266-9Code; Graph; classification; data mining; design; graph theory; linear optimization; load balancing; modelin作者: 正常 時間: 2025-3-30 20:48 作者: 種子 時間: 2025-3-31 04:51 作者: 沉默 時間: 2025-3-31 08:15 作者: Banister 時間: 2025-3-31 12:36 作者: Conscientious 時間: 2025-3-31 15:52 作者: ANN 時間: 2025-3-31 17:31
0302-9743 Overview: 978-3-642-11265-2978-3-642-11266-9Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: graphy 時間: 2025-4-1 00:05 作者: Oligarchy 時間: 2025-4-1 04:25
Arie van Deursen,Ali Mesbahf the term ‘interpretation’ signals the idea that we are speaking about something about which different and conflicting views are not just possible but legitimate. To say that something is a matter of interpretation is often taken to mean that it is a matter in which disagreement is possible because作者: Alienated 時間: 2025-4-1 07:39 作者: 轉(zhuǎn)向 時間: 2025-4-1 11:50
