2468 search results - page 444 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
142
click to vote
COCOON
2009
Springer
15 years 9 months ago
2009
Springer
: Network games play a fundamental role in understanding behavior in many domains, ranging from communication networks through markets to social networks. Such networks are used, a...
122
Voted
MOBIWAC
2009
ACM
15 years 9 months ago
2009
ACM
Understanding how humans move is a key factor for the design and evaluation of networking protocols and mobility management solutions in mobile networks. This is particularly true...
149
Voted
UML
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Current trends in software development show a move towards supporting autonomous components (agents). The accurate timing of interactions between such components is growi...
125
click to vote
HICSS
2009
IEEE
15 years 10 months ago
2009
IEEE
Detecting and mitigating insider threat is a critical element in the overall information protection strategy. By successfully implementing tactics to detect this threat, organizat...
141
Voted
SIGMETRICS
2012
ACM
13 years 5 months ago
2012
ACM
We consider an asynchronous all optical packet switch (OPS) where each link consists of N wavelength channels and a pool of C ≤ N full range tunable wavelength converters. Under...