4693 search results - page 558 / 939 » Verifying Hybrid Systems |
211
click to vote
MOBISYS
2004
ACM
16 years 6 months ago
2004
ACM
The focus of surveillance missions is to acquire and verify information about enemy capabilities and positions of hostile targets. Such missions often involve a high element of ri...
205
click to vote
IMC
2006
ACM
16 years 27 days ago
2006
ACM
In this paper we present the first implementation of a P2P content distribution system that uses Network Coding. Using results from live trials with several hundred nodes, we pro...
166
click to vote
ECBS
1996
IEEE
15 years 11 months ago
1996
IEEE
It is widely recognized that real-time,fault-tolerant and distributed computing technologies play a key role in the deployment of many current andfuture (civilian or Defense) crit...
212
click to vote
ELPUB
2007
ACM
15 years 11 months ago
2007
ACM
Two international scientific publishers collaborated to develop an Online Submission and Peer Review System (OSPREY) for their journals. Our goals were to meet market demand, incr...
188
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper shows that we can take advantage of information about the probabilities of the occurrences of events, when this information is available, to refine the classic...