1415 search results - page 145 / 283 » Verified systems by composition from verified components |
173
click to vote
ISCA
2005
IEEE
15 years 12 months ago
2005
IEEE
Recent years have seen a burgeoning interest in embedded wireless sensor networks with applications ranging from habitat monitoring to medical applications. Wireless sensor networ...
161
click to vote
FORMATS
2004
Springer
15 years 11 months ago
2004
Springer
We propose an effective and complete method for verifying safety and properties of timed systems, which is based on predicate abstraction for g finite abstractions of timed autom...
160
click to vote
INFOCOM
2003
IEEE
15 years 11 months ago
2003
IEEE
— Packet loss and end-to-end delay limit delay sensitive applications over the best effort packet switched networks such as the Internet. In our previous work, we have shown that...
181
click to vote
CLEAR
2006
Springer
15 years 10 months ago
2006
Springer
The evaluation results of a system for tracking humans in surveillance videos are presented. Moving blobs are detected based on adaptive background modeling. A shape based multi-vi...
166
click to vote
CSCW
2006
ACM
16 years 11 days ago
2006
ACM
As the number of alerts generated by collaborative applications grows, users receive more unwanted alerts. FeedMe is a general alert management system based on XML feed protocols ...