12981 search results - page 2178 / 2597 » Model Checking (Abstract) |
181
click to vote
TASE
2010
IEEE
15 years 26 days ago
2010
IEEE
--This paper presents a novel approach to evaluate the response time in networked automation systems (NAS) that use a client/server protocol. The developments introduced are derive...
185
click to vote
TNN
2010
15 years 26 days ago
2010
Abstract--In experimental and observational sciences, detecting atypical, peculiar data from large sets of measurements has the potential of highlighting candidates of interesting ...
168
click to vote
TR
2010
15 years 25 days ago
2010
Abstract--In the past ten years, the software aging phenomenon has been systematically researched, and recognized by both academic, and industry communities as an important obstacl...
176
Voted
INFOCOM
2011
IEEE
14 years 10 months ago
2011
IEEE
Abstract—WiFi-enabled buses and stops may form the backbone of a metropolitan delay tolerant network, that exploits nearby communications, temporary storage at stops, and predict...
375
click to vote
VR
2011
IEEE
14 years 9 months ago
2011
IEEE
Abstract Modeling tools typically have their own interaction methods for combining virtual objects. For realistic composition in 3D space, many researchers from the fields of virt...