7766 search results - page 372 / 1554 » Testing Nondeterminate Systems |
169
click to vote
SAFECOMP
1999
Springer
15 years 11 months ago
1999
Springer
During the last decade, the synchronous approach has proved to meet industrial needs concerning the development of Distributed Control Systems (DCS): as an example, Schneider Elect...
193
click to vote
DAC
1996
ACM
15 years 11 months ago
1996
ACM
-- This paper presents an efficient method for the timing verification of concurrent systems, modeled as labeled Timed Petri nets. The verification problems we consider require us ...
189
click to vote
ECRTS
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper presents a new approach to understand the event stream model. Additionally a new approximation algorithm for the feasibility test of the sporadic and the generalized mu...
130
click to vote
ECTEL
2006
Springer
15 years 10 months ago
2006
Springer
In this paper is illustrated the development of FireFly, a system for the Face to Face Collaborative Learning (F2F-CL). FireFly is written using AJAX, a set of technologies that al...
229
click to vote
ESAW
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper surveys the state-of-the-art in developing multi-agent systems, and sets out to answer the questions: "what are the key current issues in developing multi...