Sciweavers

850 search results - page 168 / 170
» Modeling synchronous systems in BIP
Sort
View
CIKM
2009
Springer
14 years 1 months ago
Evaluating top-k queries over incomplete data streams
We study the problem of continuous monitoring of top-k queries over multiple non-synchronized streams. Assuming a sliding window model, this general problem has been a well addres...
Parisa Haghani, Sebastian Michel, Karl Aberer
EMSOFT
2009
Springer
14 years 1 months ago
Compositional deadlock detection for rendezvous communication
Concurrent programming languages are growing in importance with the advent of multi-core systems. However, concurrent programs suffer from problems, such as data races and deadloc...
Baolin Shao, Nalini Vasudevan, Stephen A. Edwards
ACCESSNETS
2008
Springer
14 years 1 months ago
A Simulator of Periodically Switching Channels for Power Line Communications
An indoor power line is one of the most attractive media for in-home networks. However, there are many technical problems for achieving in-home power line communication (PLC) with ...
Taro Hayasaki, Daisuke Umehara, Satoshi Denno, Mas...
IROS
2006
IEEE
144views Robotics» more  IROS 2006»
14 years 1 months ago
Finding Resonance: Adaptive Frequency Oscillators for Dynamic Legged Locomotion
— There is much to gain from providing walking machines with passive dynamics, e.g. by including compliant elements in the structure. These elements can offer interesting propert...
Jonas Buchli, Fumiya Iida, Auke Jan Ijspeert
DAMAS
2005
Springer
14 years 26 days ago
Cognitive Agents for Sense and Respond Logistics
We present a novel cognitive agent architecture and demonstrate its effectiveness in the Sense and Respond Logistics (SRL) domain. Effective applications to support SRL must antic...
Kshanti A. Greene, David G. Cooper, Anna L. Buczak...