Sciweavers

355 search results - page 30 / 71
» Diagnosis with Behavioral Modes
Sort
View
JCNS
2007
89views more  JCNS 2007»
14 years 11 months ago
Synchronous and asynchronous bursting states: role of intrinsic neural dynamics
Brain signals such as local field potentials often display gamma-band oscillations (30–70 Hz) in a variety of cognitive tasks. These oscillatory activities possibly reflect sy...
Takashi Takekawa, Toshio Aoyagi, Tomoki Fukai
FORMATS
2009
Springer
15 years 6 months ago
Exploiting Timed Automata for Conformance Testing of Power Measurements
For software development, testing is still the primary choice for investigating the correctness of a system. Automated testing is of utmost importance to support continuous integra...
Matthias Woehrle, Kai Lampka, Lothar Thiele
WIMOB
2008
IEEE
15 years 6 months ago
Movement and Connectivity Algorithms for Location-Based Mobile Social Networks
In this paper we present a novel algorithm aiming at connecting members of a community equipped with mobile devices based on their location. Initially, these users are far from ea...
Bayrem Chelly, Naceur Malouch
ACISICIS
2007
IEEE
15 years 6 months ago
A Comparative Study on the Performance of Wireless Sensor Networks
To increase the lifetime of the sensor networks, a recognized method is to switch off/on some sensor nodes between “sleep” and “activity” mode in order to save the energy....
Lin Zou, Zhongwei Zhang
JLP
2006
126views more  JLP 2006»
14 years 11 months ago
Compositional modeling and refinement for hierarchical hybrid systems
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...
Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky