2642 search results - page 340 / 529 » Merge-by-Wire: Algorithms and System Support |
132
click to vote
CAV
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We present a brief overview of the tool Ticc (Tool for Interface Compatibility and Composition). In Ticc, a component interface describes both the behavior of a component...
150
click to vote
DEBU
2008
15 years 3 months ago
2008
In this paper, we describe the TIMBER XML database system implemented at University of Michigan. TIMBER was one of the first native XML database systems, designed from the ground ...
169
click to vote
SCESM
2006
ACM
15 years 9 months ago
2006
ACM
As technical systems keep growing more complex and sophisticated, designing software for the safety-critical coordination between their components becomes increasingly difficult....
174
click to vote
VEE
2005
ACM
15 years 9 months ago
2005
ACM
In object-oriented programming languages, an object is said to escape the method or thread in which it was created if it can also be accessed by other methods or threads. Knowing ...
131
click to vote
CIAC
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. We consider problems of (new) station placement along (existing) railway tracks, so as to increase the number of users. We prove that, in spite of the NP-hardness for the...