1681 search results - page 254 / 337 » Formal Design of Distributed Control Systems with Lustre |
102
click to vote
ISORC
1999
IEEE
15 years 2 months ago
1999
IEEE
Component-based software development is a promising way to improve quality, time to market and handle the increasing complexity of software for real-time systems. In this paper th...
ICSE
2009
IEEE-ACM
14 years 7 months ago
2009
IEEE-ACM
Supporting self-management behaviour by means of component-based architectural solutions has been the focus of many current research projects. In such a context, handling unantici...
ICDCS
1995
IEEE
15 years 1 months ago
1995
IEEE
nt formal speci cations of a new abstraction, weak sets, which can be used to alleviate high latencies when retrieving data from a wide-area information system like the World Wide...
HICSS
2009
IEEE
15 years 4 months ago
2009
IEEE
This work reports the experience on the design and deployment of a WSN-based system for monitoring the productive cycle of high-quality wine in a Sicilian winery. Besides providin...
ICRA
1994
IEEE
15 years 1 months ago
1994
IEEE
We present a general framework for the modelling of a class of mechanical systems for robotic manipulation, consisting of articulated limbs with redundant tendinous actuation and ...