813 search results - page 159 / 163 » Correctness Properties for Multiagent Systems |
IPPS
2006
IEEE
15 years 3 months ago
2006
IEEE
The performance requirements for contemporary microprocessors are increasing as rapidly as their number of applications grows. By accelerating the clock, performance can be gained...
94
Voted
SASN
2006
ACM
15 years 3 months ago
2006
ACM
Intrusion or misbehaviour detection systems are an important and widely accepted security tool in computer and wireless sensor networks. Their aim is to detect misbehaving or faul...
68
Voted
HT
2005
ACM
15 years 3 months ago
2005
ACM
The technical and competence requirements for writing content on the web is still one of the major factors that widens the gap between authors and readers. Although tools that sup...
OOPSLA
2005
Springer
15 years 3 months ago
2005
Springer
Instrumenting programs with code to monitor runtime behavior is a common technique for profiling and debugging. In practice, instrumentation is either inserted manually by progra...
ISSTA
2004
ACM
15 years 2 months ago
2004
ACM
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...