1097 search results - page 182 / 220 » Sequential Object Monitors |
121
click to vote
IPPS
2002
IEEE
15 years 7 months ago
2002
IEEE
This paper describes the program execution framework being developed by the Grid Application Development Software (GrADS) Project. The goal of this framework is to provide good re...
101
click to vote
DCOSS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Current programming interfaces for sensor networks often target experienced developers and lack important features. Tables is a spreadsheet inspired programming environme...
113
click to vote
RAID
2001
Springer
15 years 7 months ago
2001
Springer
ed Credential Chain Discovery in Trust Management - Extended Abstract............................... 35 N. Li, W. Winsborough, and J. Mitchell System Health and Intrusion Monitorin...
109
click to vote
ICRA
2000
IEEE
15 years 6 months ago
2000
IEEE
A human-robot interface system is under development that takes into account the
exibility of the DigitalDesk approach. The prototype consists of a projector subsystem for informa...
127
click to vote
ISSTA
2000
ACM
15 years 6 months ago
2000
ACM
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...