5149 search results - page 1017 / 1030 » Timed Asynchronous Distributed Systems |
ECOOPW
2003
Springer
14 years 26 days ago
2003
Springer
The annual European workshop on Object Orientation and Web Services focusses challenges and potentials of service-oriented computing in relation to object-oriented technologies and...
DSN
2002
IEEE
14 years 18 days ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...
ICDT
2010
ACM
14 years 15 days ago
2010
ACM
The paper formulates and investigates the aggregation problem for synthesized mediators of Web services (SWMs). An SWM is a finite-state transducer defined in terms of templates...
EUROPAR
2009
Springer
14 years 8 days ago
2009
Springer
Multicore architectures featuring specialized accelerators are getting an increasing amount of attention, and this success will probably influence the design of future High Perfor...
VLDB
2001
ACM
14 years 1 days ago
2001
ACM
In recent years, several methods have been proposed for implementing interactive similarity queries on multimedia databases. Common to all these methods is the idea to exploit use...