4516 search results - page 222 / 904 » Automated System Design for Availability |
151
click to vote
OSDI
2002
ACM
16 years 6 months ago
2002
ACM
Three experimental environments traditionally support network and distributed systems research: network emulators, network simulators, and live networks. The continued use of mult...
148
click to vote
GIS
2010
ACM
15 years 4 months ago
2010
ACM
Traffic information systems based on mobile, in-car sensor technology are a challenge for data management systems as a huge amount of data has to be processed in real-time. Data m...
165
click to vote
HICSS
2005
IEEE
16 years 5 days ago
2005
IEEE
Achieving information assurance and security is a complex and challenging task, which is crucial from national and personal security point of views. Research in detecting deceptiv...
166
click to vote
WWW
2005
ACM
16 years 3 days ago
2005
ACM
Semantic Web Services (SWS), a new generation WWW technology, will facilitate the automation of Web service tasks, including automated Web service discovery, execution, compositio...
195
click to vote
TPHOL
1998
IEEE
15 years 10 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...