Sciweavers

841 search results - page 86 / 169
» Taming Dynamically Adaptive Systems using models and aspects
Sort
View
ISORC
2000
IEEE
15 years 1 months ago
Verification of UML-Based Real-Time System Designs by Means of cTLA
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
Günter Graw, Peter Herrmann, Heiko Krumm
INFOCOM
2010
IEEE
14 years 7 months ago
Efficient Tag Identification in Mobile RFID Systems
In this paper we consider how to efficiently identify tags on the moving conveyor. Considering conditions like the path loss and multi-path effect in realistic settings, we first p...
Lei Xie, Bo Sheng, Chiu Chiang Tan, Hao Han, Qun L...
IEEESCC
2010
IEEE
15 years 1 months ago
Dynamic Composition of Services in Sensor Networks
Abstract—Service modeling and composition is a fundamental method for offering advanced functionality by combining a set of primitive services provided by the system. Unlike in t...
Sahin Cem Geyik, Boleslaw K. Szymanski, Petros Zer...
ALIFE
2004
14 years 9 months ago
Adaptability and Diversity in Simulated Turn-taking Behavior
Turn-taking behavior is simulated in a coupled-agents system. Each agent is modeled as a mobile robot with two wheels. A recurrent neural network is used to produce the motor outpu...
Hiroyuki Iizuka, Takashi Ikegami
ECAL
2003
Springer
15 years 3 months ago
When Can We Call a System Self-Organizing?
Abstract. We do not attempt to provide yet another definition of selforganization, but explore the conditions under which we can model a system as self-organizing. These involve th...
Carlos Gershenson, Francis Heylighen