655 search results - page 64 / 131 » Coinduction in Concurrent Timed Systems |
GPC
2008
Springer
15 years 28 days ago
2008
Springer
Nowadays workflow systems are widely deployed around the world, especially within large international corporations. Thus the performance evaluation of these workflow systems becom...
109
click to vote
ISSTA
2009
ACM
15 years 4 months ago
2009
ACM
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
SAC
1998
ACM
15 years 4 months ago
1998
ACM
This paper shows how a recently introduced class of applications can be solved by constraint programming. This new type of application is due to the emergence of special real-time...
COMPSAC
2005
IEEE
15 years 1 months ago
2005
IEEE
Fault-tolerant mobile computing systems have different requirements and restrictions, not taken into account by conventional distributed systems. This paper presents a coordinate...
ICEIS
2009
IEEE
15 years 6 months ago
2009
IEEE
One of the most difficult tasks in the design of information systems is how to control the behaviour of the back-end storage engine, usually a relational database. As the load on t...