813 search results - page 159 / 163 » Correctness Properties for Multiagent Systems |
180
Voted
IPPS
2006
IEEE
16 years 24 days 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...
212
Voted
SASN
2006
ACM
16 years 22 days 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...
154
click to vote
HT
2005
ACM
16 years 10 days 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...
189
Voted
OOPSLA
2005
Springer
16 years 7 days 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...
201
Voted
ISSTA
2004
ACM
16 years 6 days 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...