11066 search results - page 1785 / 2214 » Linearity in Process Languages |
203
click to vote
SIGSOFT
2003
ACM
16 years 1 days ago
2003
ACM
This paper presents PLUTO, a simple and intuitive methodology to manage the testing process of product lines, described as Product Lines Use Cases (PLUCs). PLUCs are an extension ...
169
click to vote
CP
2003
Springer
16 years 1 days ago
2003
Springer
In this paper, we present an algorithm to propagate an n-ary constraint (with n greater than 2) specifying the relative positions of points in a three-dimensional rigid group. The ...
173
click to vote
ECSQARU
2003
Springer
16 years 21 hour ago
2003
Springer
In this paper, we propose some extensions of epistemic logic for reasoning about information fusion. The fusion operators considered in this paper include majority merging, arbitra...
154
click to vote
ICWE
2003
Springer
16 years 8 hour ago
2003
Springer
The Web is mainly processed by humans. The role of the machines is just to transmit and display the contents of the documents, barely being able to do something else. Nowadays ther...
186
click to vote
IDEAL
2003
Springer
16 years 7 hour ago
2003
Springer
In China-US Million Book Digital Library, output of the digitalization process is more than one terabyte of text in OEB and PDF format. To access these data quickly and accurately,...