576 search results - page 58 / 116 » Synchronization of Some DFA |
ISCIS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Communication, a fundamental concept in computing, allows two pieces of software to interact and to exchange information. It is an important aspect of mobile agent system...
APN
2004
Springer
14 years 2 months ago
2004
Springer
Generating the reachability set is one of the most commonly required step when analyzing the logical or stochastic behavior of a system modeled with Petri nets. Traditional “expl...
CSCLP
2004
Springer
14 years 2 months ago
2004
Springer
We consider Distributed Constraint Satisfaction Problems (DisCSP) when control of variables and constraints is distributed among a set of agents. This paper presents a distributed ...
ICFEM
2004
Springer
14 years 2 months ago
2004
Springer
Reachability testing is a technique for testing concurrent programs. Reachability testing derives test sequences on-the-fly as the testing process progresses, and can be used to sy...
NPC
2004
Springer
14 years 2 months ago
2004
Springer
Atomic Commitment Protocol (ACP) is an important part for any distributed transaction. ACPs have been proposed for homogeneous and heterogeneous distributed database management sys...