1064 search results - page 49 / 213 » Disjoint Systems (Extended Abstract) |
105
Voted
SETA
2010
Springer
15 years 1 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 ...
130
Voted
CONCUR
2007
Springer
15 years 9 months 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...
128
click to vote
GLOBE
2009
Springer
15 years 8 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...
167
Voted
ESAW
2006
Springer
15 years 7 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...
87
Voted
ICRA
2010
IEEE
15 years 1 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 ...