5228 search results - page 396 / 1046 » Case Studies for Software Engineers |
202
click to vote
ESAW
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Software engineering describes a system at different levels of abstraction. Agent-oriented software engineering introduces a new level, called the agent level, to allow t...
201
click to vote
DFG
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. Today's manufacturing industry demands flexible and decentralized production control systems to avoid hours of down time of the production line in case of a failure ...
199
click to vote
MONET
2010
15 years 6 months ago
2010
The vehicle sector is one of the most exciting application areas for wireless ad hoc networks and pervasive computing technologies. Vehicles are constantly being equipped with more...
191
click to vote
VMCAI
2009
Springer
16 years 2 months ago
2009
Springer
We study price-per-reward games on hybrid automata with strong resets. They generalise priced games previously studied and have applications in scheduling. We obtain decidability r...
191
click to vote
SEFM
2005
IEEE
16 years 1 months ago
2005
IEEE
We present a process calculus where synchronous composition is the central algebraic notion; equivalences between processes via bisimilarity or trace can be studied quite simply i...