1087 search results - page 150 / 218 » Achieving Distributed Control through Model Checking |
DSONLINE
2006
13 years 9 months ago
2006
In the past, it was very common to develop middleware without consideration of security from the very beginning. To integrate security, the middleware that should be protected has...
ICDCS
2009
IEEE
14 years 6 months ago
2009
IEEE
Recent years have witnessed the pilot deployments of audio or low-rate video wireless sensor networks for a class of mission-critical applications including search and rescue, sec...
SASO
2009
IEEE
14 years 4 months ago
2009
IEEE
Swarming agents often operate in benign geographic topologies that let them explore alternative trajectories with minor variations that the agent dynamics then amplify for improve...
ICSE
2007
IEEE-ACM
14 years 9 months ago
2007
IEEE-ACM
Abstract. In this chapter we discuss the susceptibility of critical information infrastructures to computer-borne attacks and faults, mainly due to their largely computerized natur...
ICDCS
2009
IEEE
14 years 4 months ago
2009
IEEE
Though plenty of research has been conducted to improve Internet P2P streaming quality perceived by endusers, little has been known about the upper bounds of achievable performanc...