75 search results - page 13 / 15 » Verification and Implementation of Delay-Insensitive Process... |
CORR
2009
Springer
13 years 5 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...
ECCV
2006
Springer
14 years 9 months ago
2006
Springer
Abstract. In recent years there has been growing interest in recognition models using local image features for applications ranging from long range motion matching to object class ...
SECURWARE
2007
IEEE
14 years 1 months ago
2007
IEEE
— Digital Ecosystems is the new paradigm for dynamic IT business integration. A Digital Ecosystem consists of institutions that compete, collaborate, and form stable or unstable ...
SOSP
2001
ACM
14 years 4 months ago
2001
ACM
In modern systems, developers are often unable to modify the underlying operating system. To build services in such an environment, we advocate the use of gray-box techniques. Whe...
ECIS
2000
13 years 8 months ago
2000
This paper presents a concept for the integration of quantitative and qualitative information sources with their accompanying management support functionalities from navigation and...