Sciweavers

1471 search results - page 66 / 295
» Composing concurrency control
Sort
View
RTSS
2006
IEEE
15 years 3 months ago
Voice over Sensor Networks
Wireless sensor networks have traditionally focused on low duty-cycle applications where sensor data are reported periodically in the order of seconds or even longer. This is due ...
Rahul Mangharam, Anthony Rowe, Raj Rajkumar, Ryohe...
ECOOP
1993
Springer
15 years 1 months ago
A Language Framework for Multi-Object Coordination
Abstract. We have developed language support for the expression of multiobject coordination. In our language, coordination patterns can be speci ed abstractly, independent of the p...
Svend Frølund, Gul Agha
IFIP
2010
Springer
14 years 4 months ago
Model Checking of Concurrent Algorithms: From Java to C
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...
Cyrille Artho, Masami Hagiya, Watcharin Leungwatta...
NIME
2004
Springer
122views Music» more  NIME 2004»
15 years 3 months ago
Light Pipes: A Light Controlled MIDI Instrument
In this paper, we describe a new MIDI controller, the Light Pipes. The Light Pipes are a series of pipes that respond to incident light. The paper will discuss the design of the i...
Sook Young Won, Humane Chan, Jeremy Liu
ICC
2009
IEEE
152views Communications» more  ICC 2009»
15 years 4 months ago
On Concurrent Multipath Transfer in SCTP-Based Handover Scenarios
Abstract—Handling mobility at the transport layer is a promising approach to achieve seamless handover in the context of heterogeneous wireless access networks. In particular, fe...
Lukasz Budzisz, Ramon Ferrús, Ferran Casade...