Sciweavers

1105 search results - page 144 / 221
» Timed Automata Model for Component-Based Real-Time Systems
Sort
View
ACRI
2006
Springer
16 years 4 days ago
Directed Percolation Phenomena in Asynchronous Elementary Cellular Automata
Cellular automata are discrete dynamical systems that are widely used to model natural systems. Classically they are run with perfect synchrony ; i.e., the local rule is applied to...
Nazim Fatès
FM
2006
Springer
113views Formal Methods» more  FM 2006»
15 years 9 months ago
Interface Input/Output Automata
We propose a new look at one of the most fundamental types of behavioral interfaces: discrete time specifications of communication--directly related to the work of de Alfaro and H...
Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasows...
ICCS
2005
Springer
15 years 11 months ago
A Dynamic, Data-Driven, Decision Support System for Emergency Medical Services
In crisis, decisions must be made in human perceptual timeframes under pressure to respond to dynamic uncertain conditions. To be effective management must have access to real time...
Mark Gaynor, Margo I. Seltzer, Steve Moulton, Jim ...
DIGRA
2005
Springer
15 years 11 months ago
Growing Complex Games
Do computer simulation games display emergent behavior? Are they models of complex systems or ‘life’ systems? This paper aims to explore and investigate how games studies can ...
Nicholas Glean
IPPS
2007
IEEE
16 years 14 days ago
Peak-Performance DFA-based String Matching on the Cell Processor
The security of your data and of your network is in the hands of intrusion detection systems, virus scanners and spam filters, which are all critically based on string matching. ...
Daniele Paolo Scarpazza, Oreste Villa, Fabrizio Pe...