623 search results - page 38 / 125 » Declarative Network Verification |
159
click to vote
OPODIS
2004
15 years 3 months ago
2004
Secure location verification is a recently stated problem that has a number of practical applications. The problem requires a wireless sensor network to confirm that a potentially...
WSC
1998
15 years 3 months ago
1998
This paper presents Timed Petri Nets (TPN) as an analytical approach for verification of computerized queueing network simulation models at steady state. It introduces a generic a...
112
click to vote
FLAIRS
2000
15 years 3 months ago
2000
To date, there is little evidence that modular reasoning about fault-tolerant systems can simplify the verification process in practice. We study this question using a prominent e...
117
click to vote
ECOWS
2006
Springer
15 years 5 months ago
2006
Springer
Current web services are largely based on a synchronous request-response model that uses the Simple Object Access Protocol SOAP. Next-generation telecommunication networks, on the...
126
click to vote
SIGMOD
2002
ACM
16 years 2 months ago
2002
ACM
The widespread distribution and availability of smallscale sensors, actuators, and embedded processors is transforming the physical world into a computing platform. One such examp...