10038 search results - page 493 / 2008 » Model Checking for Managers |
227
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
Finding flaws in security protocol implementations is hard. Finding flaws in the implementations of sensor network security protocols is even harder because they are designed to p...
208
click to vote
MM
2004
ACM
16 years 15 days ago
2004
ACM
With the increasing ubiquity of sensors and computational resources, it is becoming easier and increasingly common for people to electronically record, photographs, text, audio, a...
210
click to vote
GI
2007
Springer
16 years 1 months ago
2007
Springer
: Utility companies worldwide are facing a multitude of new challenges, which can not be met with the historically grown, monolithic IT systems currently in use. Service oriented a...
183
click to vote
TCS
2002
15 years 6 months ago
2002
We consider the timed automata model of [3], which allows the analysis of realtime systems expressed in terms of quantitative timing constraints. Traditional approaches to real-ti...
193
click to vote
GLOBECOM
2006
IEEE
16 years 1 months ago
2006
IEEE
— At the forefront of the recent advances in mobile networks is the development of sophisticated mobility management mechanisms that are usually based on Mobile IP and its deriva...