4350 search results - page 364 / 870 » Case studies for contract-based systems |
199
click to vote
SOCO
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Software development for embedded systems gains momentum but faces many challenges. Especially the constraints of deeply embedded systems, i.e., extreme resource and perf...
197
click to vote
ETFA
2006
IEEE
16 years 26 days ago
2006
IEEE
Industrial automation systems may include people, hardware, software and others necessaries to produce the desirable results. The SysML modeling language is being proposed, by OMG...
181
click to vote
GRID
2005
Springer
16 years 10 days ago
2005
Springer
— Developing applications for parallel and distributed systems is hard due to their nondeterministic nature; developing debugging tools for such systems and applications is even ...
170
click to vote
LICS
2000
IEEE
15 years 11 months ago
2000
IEEE
We study syntax-free models for name-passing processes. For interleaving semantics, we identify the indexing structure required of an early labelled transition system to support t...
185
click to vote
ERSHOV
1993
Springer
15 years 11 months ago
1993
Springer
Distributed database applications are a wide use of distributed systems. One of the major advantages of distributed database systems is the potential for achieving high availabili...