1681 search results - page 254 / 337 » Formal Design of Distributed Control Systems with Lustre |
ISORC
1999
IEEE
14 years 19 min 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
13 years 5 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
13 years 11 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
14 years 2 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
13 years 12 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 ...