Sciweavers

2500 search results - page 90 / 500
» Specifying Behavior in C
Sort
View
EVI
2010
94views more  EVI 2010»
14 years 4 months ago
Collective neuro-evolution for evolving specialized sensor resolutions in a multi-rover task
This article presents results from an evaluation of the collective neuro-evolution (CONE) controller design method. CONE solves collective behavior tasks, and increases task perfor...
Geoff S. Nitschke, Martijn C. Schut, A. E. Eiben
ISSTA
2000
ACM
15 years 2 months ago
Requirements-based monitors for real-time systems
—Before designing safety- or mission-critical real-time systems, a specification of the required behavior of the system should be produced and reviewed by domain experts. After ...
Dennis K. Peters, David Lorge Parnas
FPLAY
2008
14 years 11 months ago
Crafting game-models using reactive system design
This paper presents a game-model of a gym training system, where the behavior of the system is specified using languages developed originally for reactive system design, which dri...
David Harel, Itai Segall, Hillel Kugler, Yaki Sett...
HCI
2007
14 years 11 months ago
A Distributed Framework for Scalable Large-Scale Crowd Simulation
Emerging applications in the area of Emergency Response and Disaster Management are increasingly demanding interactive capabilities to allow for the quick understanding of a critic...
Miguel Lozano, Pedro Morillo, Daniel Lewis, Dirk R...
ENTCS
2010
107views more  ENTCS 2010»
14 years 10 months ago
PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems
In this paper, we present a formal model, named PobSAM (Policy-based Self-Adaptive Model), for modeling self-adaptive systems. In this model, policies are used as a mechanism to d...
Narges Khakpour, Saeed Jalili, Carolyn L. Talcott,...