828 search results - page 59 / 166 » Modularity for Timed and Hybrid Systems |
173
Voted
GAMEON
2003
15 years 5 months ago
2003
Simulation has been regarded as the third way to represent social models, alternative to other two symbol systems: the verbal argumentation and the mathematical one. Simulation ca...
130
Voted
DEDS
2006
15 years 3 months ago
2006
A class of time-varying discrete-event systems, named dynamic discrete-event systems, is defined. The goal of this paper is to provide a method which is modular and can be applied ...
138
click to vote
ROBOCUP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system cation on different levels of ab...
136
Voted
AAAI
1990
15 years 4 months ago
1990
There are many planning applications that require an agent to coordinate its activities with processes that change continuously over time. Several proposals have been made for com...
126
Voted
ISCA
2007
IEEE
15 years 10 months ago
2007
IEEE
We propose signature-accelerated transactional memory (SigTM), a hybrid TM system that reduces the overhead of software transactions. SigTM uses hardware signatures to track the r...