Sciweavers

5009 search results - page 589 / 1002
» Value chain modelling using system dynamics
Sort
View
FORMATS
2008
Springer
15 years 8 months ago
Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets
Abstract. We introduce and study hybrid automata with strong resets. They generalize o-minimal hybrid automata, a class of hybrid automata which allows modeling of complex continuo...
Patricia Bouyer, Thomas Brihaye, Marcin Jurdzinski...
ICC
2007
IEEE
214views Communications» more  ICC 2007»
16 years 1 months ago
Distributed ONS and its Impact on Privacy
— The EPC Network is an industry proposal to build a global information architecture for objects carrying RFID tags with Electronic Product Codes (EPC). A so-called Object Naming...
Benjamin Fabian, Oliver Günther
FLAIRS
2010
15 years 9 months ago
Applying Goal Driven Autonomy to a Team Shooter Game
Dynamic changes in complex, real-time environments, such as modern video games, can violate an agent's expectations. We describe a system that responds competently to such vi...
Hector Muñoz-Avila, David W. Aha, Ulit Jaid...
ILC
2007
Springer
16 years 1 months ago
Towards Model-Checking Programs with Lists
Abstract. We aim at checking safety and temporal properties over models representing the behavior of programs manipulating dynamic singly-linked lists. The properties we consider n...
Alain Finkel, Étienne Lozes, Arnaud Sangnie...
CORR
2010
Springer
122views Education» more  CORR 2010»
15 years 6 months ago
Mathematical Modeling of Competition in Sponsored Search Market
Sponsored search mechanisms have drawn much attention from both academic community and industry in recent years since the seminal papers of [3] and [4]. However, most of the exist...
Jian Liu, Dah Ming Chiu