6059 search results - page 303 / 1212 » A Technique for Verifying Measurements |
183
click to vote
EUROMICRO
2004
IEEE
15 years 10 months ago
2004
IEEE
A primary goal in the design of wireless sensor networks is lifetime maximization, constrained by the energy capacity of batteries. One well known method to reduce energy consumpt...
154
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we show how to establish correctness and time bounds (e.g., quality of service guarantees) for multi-agent systems composed of communicating rule-based agents. The f...
173
click to vote
FC
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We introduce the notion of tamper-evidence for mix networks in order to defend against attacks aimed at covertly leaking secret information held by corrupted mix servers....
174
click to vote
ICDCSW
2000
IEEE
15 years 10 months ago
2000
IEEE
Model-checking has turned out to be an efficient and relatively easy-to-use technique in the verification of formally described programs. However, there is one major drawback in u...
157
click to vote
APN
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. Workflow management systems will change the architecture of future information systems dramatically. The explicit representation of business procedures is one of the main...