1064 search results - page 49 / 213 » Disjoint Systems (Extended Abstract) |
136
click to vote
SETA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In this paper a spectral characterization of the synchronization property of Boolean dynamical systems is provided. Conditions on the spectrum of the next-state function ...
160
click to vote
CONCUR
2007
Springer
16 years 5 days ago
2007
Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...
165
click to vote
GLOBE
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We show how to specify and use the metadata for a virtual and relational data integration system under the local-as-view (LAV) approach. We use XML and RuleML for represe...
203
click to vote
ESAW
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. This paper surveys the state-of-the-art in developing multi-agent systems, and sets out to answer the questions: "what are the key current issues in developing multi...
114
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract— Gait evaluation techniques that use Stokes’s theorem to integrate a system’s equations of motion have traditionally been limited to finding only the net rotations ...