422 search results - page 67 / 85 » Modeling Real-World Control Systems: Beyond Hybrid Systems |
118
click to vote
AOSE
2004
Springer
15 years 9 months ago
2004
Springer
Societies need patterned behavior to exist. Large-scale agent societies may contain a diversity of agents, each with differing abilities and functionalities. When such an agent sys...
144
click to vote
AINA
2007
IEEE
15 years 10 months ago
2007
IEEE
— Simulation is the most famous way to study wireless an mobile networks since they offer a convenient combination of flexibility and controllability. However, their largest dis...
126
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
The increasing relevance of areas such as real-time and embedded systems, pervasive computing, hybrid systems control, and biological and social systems modeling is bringing a gro...
144
click to vote
SACMAT
2005
ACM
15 years 10 months ago
2005
ACM
It has been recognized for some time that software alone does not provide an adequate foundation for building a high-assurance trusted platform. The emergence of industry-standard...
134
click to vote
FOSSACS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In this work, we introduce the class of Interrupt Timed Automata (ITA), which are well suited to the description of multi-task systems with interruptions in a single proc...