24421 search results - page 4533 / 4885 » Communicating Complex Systems |
154
click to vote
EUROCAST
2007
Springer
15 years 8 months ago
2007
Springer
Abstract Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulas on the program variables. Most of m...
141
click to vote
FASE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We study resource management in distributed systems. Incorrect handling of resources may lead to deadlocks, missed deadlines, priority inversions, and other forms of inco...
180
click to vote
APSEC
2004
IEEE
15 years 8 months ago
2004
IEEE
Computer-supported cooperative work (CSCW) supports groups with communication and coordination during the execution of their activities. It allows physically dispersed teams to en...
148
click to vote
CCECE
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper describes a model and a setup for emulating fractal and multifractal noise for the measurement and evaluation of performance of ZigBee mesh networks intended for harsh ...
156
Voted
CCS
2006
ACM
15 years 8 months ago
2006
ACM
We give the first systematic investigation of the design space of worm defense system strategies. We accomplish this by g a taxonomy of defense strategies by abstracting away impl...