2607 search results - page 306 / 522 » On the Architecture of System Verification Environments |
173
click to vote
ECTEL
2006
Springer
15 years 10 months ago
2006
Springer
Due to the information growth, distributed environments are offered as a feasible and scalable solution where Peerto-Peer networks have become more relevant. They bring many advan...
225
click to vote
CORR
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a p...
160
Voted
VRML
2005
ACM
16 years 6 days ago
2005
ACM
We present an initial report on using our distributed, collaborative grid enabled visualization environment to link SuperComputing 2004 (Pittsburgh, PA, USA) with the Cardiff Scho...
185
click to vote
SIVP
2010
15 years 5 months ago
2010
This paper aims at the delivery of adaptive and personalized multimedia content in interactive IPTV environments, using programmable IP services through the MPEG-21 standard, suppo...
195
click to vote
CATA
2003
15 years 8 months ago
2003
It is becoming more important to design systems capable of performing high-level management and control tasks in interactive dynamic environments. At the same time, it is difficul...