1906 search results - page 309 / 382 » Controls in Flexible Software Development |
102
click to vote
GECCO
2007
Springer
15 years 6 months ago
2007
Springer
Modern vehicles possess an increasing number of software and hardware components that are integrated in electronic control units (ECUs). Finding an optimal allocation for all comp...
TRIDENTCOM
2005
IEEE
15 years 5 months ago
2005
IEEE
A global Internet overlay testbed is being deployed to support the distributed, shared use of resources for network research. The Global X-Bone (GX-Bone) augments the X-Bone softw...
SENSYS
2004
ACM
15 years 5 months ago
2004
ACM
We propose a new configuration language, component and service library, and compiler that make it easier to develop efficient sensor network applications. Our goal is the constr...
FIDJI
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. When dealing with distributed systems, one of the most important problems that has to be addressed is concurrency. Distributed systems are inherently concurrent, distribu...
IFM
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...