1681 search results - page 169 / 337 » Formal Design of Distributed Control Systems with Lustre |
COMPSAC
2002
IEEE
15 years 3 months ago
2002
IEEE
UML and MSC are widely used by software practitioners. SDL is an ITU standard language for telecommunications software specification. It has a formal semantics, and is supported b...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
Developing large-scale distributed applications can be a daunting task. One of the problems that application developers are confronted with is the distribution of data, processes, ...
HICSS
2002
IEEE
15 years 3 months ago
2002
IEEE
Distributed group facilitation techniques are becoming a necessity because many of the face-toface facilitation techniques are no longer suitable in a distributed environment. Alt...
ICRA
2006
IEEE
15 years 4 months ago
2006
IEEE
— Fault diagnosis of coupled mobile robots requires a large number of measurements to be communicated either between the robots or from the robots to a central diagnoser. As comp...
HOTNETS
2010
14 years 5 months ago
2010
Abstract-- We argue that heterogeneity is hindering technological innovation in the home--homes differ in terms of their devices and how those devices are connected and used. To ab...