476 search results - page 51 / 96 » A Distributed Real-Time Java System Based on CSP |
PDSE
1998
15 years 1 months ago
1998
We present prominent features of AUTOFOCUS, a tool prototype for the formally based development of reactive systems. AUTOFOCUS supports system development offering integrated, com...
HICSS
2003
IEEE
15 years 5 months ago
2003
IEEE
Messaging plays a central role in the development of distributed object-oriented systems. It is supported by the specification of the Java Message Service (JMS) and CORBA’s Noti...
SEKE
2001
Springer
15 years 4 months ago
2001
Springer
ct 7 Applying finite-state verification techniques to software systems looks attractive because they are capable of detecting very subtle 8 defects in the logic design of these s...
104
click to vote
TSMC
2008
14 years 11 months ago
2008
This paper presents an integrated approach for Web-based collaborative manufacturing, including distributed process planning, dynamic scheduling, real-time monitoring, and remote c...
121
click to vote
CONCUR
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Comparison between different formalisms and models is often by flattening structure and reducing them to behaviorally equivalent models e.g., automaton and Turing machine...