123 search results - page 15 / 25 » On the Construction of Sorted Reactive Systems |
ICRA
2002
IEEE
14 years 9 days ago
2002
IEEE
: This paper describes an experimental exploration in Internet-based control of robots. The motivation of this work is that Internet communications can be exploited to achieve grea...
SAM
2004
13 years 8 months ago
2004
Discovering faults in requirements specifications for distributed reactive systems is a challenging problem since many issues that need to be uncovered are a result of subtle compo...
AUTOMATICA
2002
13 years 7 months ago
2002
In this paper, the problem concerning how to coordinate the contributions from concurrent controllers, when controlling mobile robots, is investigated. It is shown how a behavior ...
NCA
2007
IEEE
14 years 1 months ago
2007
IEEE
Open distributed systems are typically composed by an unknown number of processes running in heterogeneous hosts. Their communication often requires tolerance to temporary disconn...
JCIT
2010
13 years 2 months ago
2010
This research constructs a design-oriented, Internet-mediated, and knowledge-sharing architecture. Therein XML files serve as the basic exchange and storage format of knowledge te...