2468 search results - page 119 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
154
click to vote
SIGECOM
2004
ACM
15 years 11 months ago
2004
ACM
Lack of cooperation (free riding) is one of the key problems that confronts today’s P2P systems. What makes this problem particularly difficult is the unique set of challenges ...
186
click to vote
ISSTA
1998
ACM
15 years 10 months ago
1998
ACM
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...
166
click to vote
EUROMICRO
2007
IEEE
16 years 19 days ago
2007
IEEE
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
176
click to vote
ICNC
2005
Springer
15 years 11 months ago
2005
Springer
: Traffic behavior in a large-scale network can be viewed as a complicated non-linear system, so it is very difficult to describe the long-term network traffic behavior in a large-...
160
click to vote
IROS
2007
IEEE
16 years 18 days ago
2007
IEEE
Abstract— Temporal classification, such as activity recognition, is a key component for creating intelligent robot systems. In the case of robots, classification algorithms mus...