Sciweavers

1283 search results - page 99 / 257
» Science: the rules of the game
Sort
View
ICALP
2007
Springer
15 years 4 months ago
Minimum-Time Reachability in Timed Games
Abstract. We consider the minimum-time reachability problem in concurrent two-player timed automaton game structures. We show how to compute the minimum time needed by a player to ...
Thomas Brihaye, Thomas A. Henzinger, Vinayak S. Pr...
JCAL
2011
76views more  JCAL 2011»
14 years 4 months ago
Mentor modeling: the internalization of modeled professional thinking in an epistemic game
: Players of epistemic games--computer games that simulate professional practica— have been shown to develop epistemic frames: a profession’s particular way of seeing and solvi...
Padraig Nash, David Williamson Shaffer
HICSS
2009
IEEE
127views Biometrics» more  HICSS 2009»
15 years 4 months ago
Design Rules for User-Oriented IT Service Descriptions
Customers of complex IT-services increasingly demand integrated value bundles that fit their individual needs. At the same time, IT service providers are facing commoditization of...
Henrik Brocke, Thorsten Hau, Alexander Vogedes, Be...
HICSS
2005
IEEE
173views Biometrics» more  HICSS 2005»
15 years 3 months ago
Implementing Rule-Based Monitors within a Framework for Continuous Requirements Monitoring
With the increasing complexity of information systems, it is becoming increasingly unclear as to how information system behaviors relate to stated requirements. Although requireme...
William N. Robinson
ENTCS
2006
101views more  ENTCS 2006»
14 years 10 months ago
Mumbo: A Rule-Based Implementation of a Run-time Program Generation Language
We describe our efforts to use rule-based programming to produce a model of Jumbo, a run-time program generation (RTPG) system for Java. Jumbo incorporates RTPG following the simp...
Baris Aktemur, Samuel N. Kamin