850 search results - page 77 / 170 » Modeling synchronous systems in BIP |
115
click to vote
CSCWD
2009
Springer
15 years 8 months ago
2009
Springer
This paper presents a system called E-Breaker for supporting small and medium size group authoring of any kind of documents following a regular structure. The system supports a de...
119
click to vote
CRIWG
2006
15 years 3 months ago
2006
This paper presents a system called CodeBreaker for supporting small and medium size software development based on an extreme programming principle. The system follows a decentrali...
ECRTS
2000
IEEE
15 years 6 months ago
2000
IEEE
Real-time Systems, in particular regulation systems, are often specified using the notion of running modes. On the other hand, the family of synchronous languages [1] has been ve...
95
Voted
PDPTA
2003
15 years 2 months ago
2003
In this paper, precedence constraint combination formalisms defined in the software domain are used to define the behavior of hardware systems. Specifically, AND-join and various ...
124
click to vote
MACH
1990
15 years 2 months ago
1990
Distributed real-time systems play a very important role in our modern society. They are used in aircraft control, communication systems, military command and control systems, fac...