Sciweavers

774 search results - page 19 / 155
» On Timed Alternating Simulation for Concurrent Timed Games
Sort
View
CERA
2010
105views more  CERA 2010»
14 years 9 months ago
Implications of Alternative Multilevel Design Methods for Design Process Management
Multilevel design problems are typically decomposed into a hierarchy of distributed and strongly coupled sub-problems, each solved by design teams with specialized knowledge and t...
David Shahan, Carolyn Seepersad Seepersad
88
Voted
TKDE
2002
112views more  TKDE 2002»
14 years 9 months ago
Multiversion Locking Protocol with Freezing for Secure Real-Time Database Systems
Database systems for real-time applications must satisfy timing constraints associated with transactions. Typically, a timing constraint is expressed in the form of a deadline and ...
Chanjung Park, Seog Park, Sang Hyuk Son
WSCG
2004
172views more  WSCG 2004»
14 years 11 months ago
GDESK: Game Discrete Event Simulation Kernel
Simulation has been used traditionally to solve other areas problems. Real time applications like videogames use typically a continuous simulation scheme. That way of operation ha...
Inmaculada García, Ramón Mollá...
DIGRA
2005
Springer
15 years 3 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
ASIAN
2007
Springer
157views Algorithms» more  ASIAN 2007»
15 years 3 months ago
A Logical Framework for Evaluating Network Resilience Against Faults and Attacks
Abstract. We present a logic-based framework to evaluate the resilience of computer networks in the face of incidents, i.e., attacks from malicious intruders as well as random faul...
Elie Bursztein, Jean Goubault-Larrecq