4434 search results - page 570 / 887 » On the Composition of Hybrid Systems |
244
click to vote
MM
2003
ACM
16 years 16 hour 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...
222
click to vote
MOBIDE
2003
ACM
16 years 15 hour 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...
217
Voted
MSE
2002
IEEE
15 years 11 months ago
2002
IEEE
A web service is a programmable web application accessible using standard Internet protocols. A threelayer architecture has been suggested for web services: service providers, ser...
190
Voted
APN
2010
Springer
15 years 11 months ago
2010
Springer
The unfolding technique is an efficient tool to explore the runs of a Petri net in a true concurrency semantics, i.e. without constructing all the interleavings of concurrent actio...
160
click to vote
CPAIOR
2010
Springer
15 years 11 months ago
2010
Springer
Constrained Optimum Path (COP) problems arise in many real-life applications and are ubiquitous in communication networks. They have been traditionally approached by dedicated algo...