2123 search results - page 259 / 425 » Composition of Cyber-Physical Systems |
176
click to vote
APN
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Behaviour specification in object-oriented design clearly benefits from the use of a formal, or semi-formal, visual specification language. This is attested by the ado...
202
click to vote
FASE
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
157
click to vote
LCN
2003
IEEE
15 years 11 months ago
2003
IEEE
In active and programmable networks, packet processing could be accomplished in the router within the data path. For efficient resource allocation in such networks, the packet sch...
236
click to vote
MM
2003
ACM
15 years 11 months ago
2003
ACM
We demonstrate the use of detail-on-demand hypervideo in interactive training and video summarization. Detail-on-demand video allows viewers to watch short video segments and to f...
213
click to vote
MOBIDE
2003
ACM
15 years 11 months ago
2003
ACM
The common vision of pervasive computing environments requires a very large range of devices and software components to interoperate seamlessly. From the assumption that these dev...