598 search results - page 96 / 120 » Aspect-Oriented Development Using Protocol Modeling |
137
click to vote
HYBRID
1998
Springer
15 years 6 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
127
click to vote
WWW
2008
ACM
16 years 2 months ago
2008
ACM
Peer-to-Peer (P2P) applications continue to grow in popularity, and have reportedly overtaken Web applications as the single largest contributor to Internet traffic. Using traces ...
113
click to vote
GLOBECOM
2009
IEEE
15 years 8 months ago
2009
IEEE
— A radio frequency identification (RFID) system consists of a set of readers and several objects, equipped with small computer chips, called tags. In a dense RFID system, where...
112
click to vote
SIGSOFT
2006
ACM
15 years 7 months ago
2006
ACM
Developers of distributed systems routinely construct discrete-event simulations to help understand and evaluate the behavior of inter-component protocols. Simulations are abstrac...
109
click to vote
ECCV
2006
Springer
16 years 3 months ago
2006
Springer
Given a set of images of scenes containing multiple object categories (e.g. grass, roads, buildings) our objective is to discover these objects in each image in an unsupervised man...