1888 search results - page 197 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
126
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
Distributed systems comprised of autonomous self-interested entities require some sort of control mechanism to ensure the predictability of the interactions that drive them. This ...
133
click to vote
IPSN
2010
Springer
15 years 11 months ago
2010
Springer
Wireless Sensor Actuator Networks (WSANs) extend wireless sensor networks through actuation capability. Designing robust logic for WSANs however is challenging since nodes can aï¬...
136
click to vote
LCTRTS
2001
Springer
15 years 8 months ago
2001
Springer
Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks. Gio...
142
click to vote
ICMCS
2009
IEEE
15 years 1 months ago
2009
IEEE
We consider multi-rate peer-to-peer multi-party conferencing applications, where different receivers in the same group can receive videos at different rates using, for example, sc...
138
click to vote
ISCIS
2004
Springer
15 years 9 months ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...