Sciweavers

771 search results - page 76 / 155
» What is situated evolution
Sort
View
EMSOFT
2004
Springer
14 years 3 months ago
An event detection algebra for reactive systems
In reactive systems, execution is driven by external events to which the system should respond with appropriate actions. Such events can be simple, but systems are often supposed ...
Jan Carlson, Björn Lisper
DATE
2003
IEEE
82views Hardware» more  DATE 2003»
14 years 3 months ago
Scaling into Ambient Intelligence
Envision the situation that high quality information and entertainment is easily accessible to anyone, anywhere, at any time, and on any device. How realistic is this vision? And ...
Twan Basten, Luca Benini, Anantha Chandrakasan, Me...
HICSS
2003
IEEE
108views Biometrics» more  HICSS 2003»
14 years 3 months ago
Event-based Workflow and the Management Interface
Long transactions cause pragmatic problems for workflow systems – as the transaction is moving, so is the surrounding world. We look at three scenarios in which external events ...
Jeffrey V. Nickerson
FM
2003
Springer
92views Formal Methods» more  FM 2003»
14 years 3 months ago
Composing Invariants
We explore the question of the composition of invariance specifications in a context of concurrent and reactive systems. Depending on how compositionality is stated and how invar...
Michel Charpentier
SIGECOM
2010
ACM
149views ECommerce» more  SIGECOM 2010»
14 years 2 months ago
A behavioral study of bargaining in social networks
We report on a series of highly controlled human subject experiments in networked bargaining. The basic interaction between two players is the decision of how to share a mutual pa...
Tanmoy Chakraborty, J. Stephen Judd, Michael Kearn...