1681 search results - page 131 / 337 » Formal Design of Distributed Control Systems with Lustre |
ICPPW
2006
IEEE
15 years 4 months ago
2006
IEEE
This paper concerns the design and verification of a realtime communication protocol for sensor data collection and processing between an embedded computer and a DSP. In such sys...
114
click to vote
TES
2001
Springer
15 years 2 months ago
2001
Springer
Current developments show that tomorrow’s information systems and applications will no longer be based on monolithic architectures that encompass all the functionality. Rather, t...
ICIW
2007
IEEE
15 years 4 months ago
2007
IEEE
—In this paper, we present a new approach for service discovery combining semantic web and peer-to-peer techniques. A reference ontology is used to describe and discover services...
PPDP
2005
Springer
15 years 3 months ago
2005
Springer
In this paper we design a language and runtime support for isolation-only, multithreaded transactions (called tasks). Tasks allow isolation to be declared instead of having to be ...
ISORC
2002
IEEE
15 years 2 months ago
2002
IEEE
Two limitations of the current implementations of adaptive QoS behaviors are complexity associated with inserting them into common application contexts and lack of reusability acr...