50 search results - page 5 / 10 » Safe compositional specification of networking systems |
WOWMOM
2005
ACM
14 years 1 months ago
2005
ACM
To be able to utilize the generative potential of future networks for service composition, the attributes of services and networks must be appropriately formalized, stored and mad...
SNPD
2008
13 years 9 months ago
2008
: Software for safety-critical systems has to deal with the hazards identified by safety analysis in order to make the system safe, risk-free and fail-safe. Software safety is a co...
GRID
2008
Springer
13 years 7 months ago
2008
Springer
A myriad of recent activities can be seen towards dynamic workflow composition for processing complex and data intensive problems. Meanwhile, the simultaneous emergence of the gri...
SMARTNET
2000
13 years 9 months ago
2000
: Due to the deregulation of the telecom network and the Internet, users will have access to an increasing number of heterogeneous communication services and will need to adapt the...
COORDINATION
2005
Springer
14 years 1 months ago
2005
Springer
Software systems are becoming more open, distributed, pervasive, and connected. In such systems, the relationships between loosely-coupled application elements become non-determini...