7778 search results - page 260 / 1556 » Designing Controllers for Reachability |
127
click to vote
FM
1999
Springer
15 years 8 months ago
1999
Springer
Timed Communicating Object Z (TCOZ) combines Object-Z's strengths in modeling complex data and algorithms with Timed CSP's strengths in modeling real-time concurrency. TC...
139
click to vote
IADIS
2003
15 years 5 months ago
2003
As the UPnP devices and control points have been widely deployed, users intended to access the legacy internet-enabled devices with the UPnP control point. In this paper, we prese...
145
click to vote
TON
2010
15 years 2 months ago
2010
— We adopt the network coding approach to achieve minimum-cost multicast in interference-limited wireless networks where link capacities are functions of the signal-to-noise-plus...
132
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
In this paper, we describe the discovery of service and controlling them in ubiquitous devices. Categories and Subject Descriptors H.5.2 [User Interface]: General Terms Design Key...
118
click to vote
HRI
2009
ACM
15 years 11 months ago
2009
ACM
We describe recent work on PECAS, an architecture for intelligent robotics that supports multi-modal interaction. Categories and Subject Descriptors I.2.8 [Computing Methodologies...