119 search results - page 8 / 24 » State Checksum and Its Role in System Stabilization |
TPDS
1998
14 years 9 months ago
1998
—Relational Coarsest Partition Problems (RCPPs) play a vital role in verifying concurrent systems. It is known that RCPPs are 3-complete and hence it may not be possible to desig...
ROBOCUP
1999
Springer
15 years 1 months ago
1999
Springer
The major purpose of our research is to study cooperative planning for multi-agent system in time-critical environment. The RoboCup simulator league is the most interesting target ...
103
click to vote
AIED
2011
Springer
14 years 1 months ago
2011
Springer
The Pedagogical Assessment Workflow System (PAWS) is a new workflow-based pedagogical assessment framework that enables the efficient and robust integration of diverse datasets for...
TSMC
1998
14 years 9 months ago
1998
—The role of a compliant motion scheme is to control a robot manipulator in contact with its environment. By accommodating with the interaction force, the manipulator can be used...
ICFEM
2009
Springer
15 years 4 months ago
2009
Springer
Fault-tolerant (FT) distributed protocols (such as group membership, consensus, etc.) represent fundamental building blocks for many practical systems, e.g., the Google File System...