2838 search results - page 405 / 568 » Verifying Controlled Components |
CIVR
2006
Springer
14 years 2 months ago
2006
Springer
In this demo, we present the use of the ARIA platform for modular design of media processing and retrieval applications. ARIA is a middleware for describing and executing media pro...
DSOM
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. With many organizations now employing multiple data centres around the world to share global traffic load, it is important to understand the effects of geographical distr...
ER
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. Traditional industries anticipate supporting cross-organizational cooperation as applied in the semantic Web and Web services environments. However, the international sta...
GI
2000
Springer
14 years 2 months ago
2000
Springer
Data consistency in transactional federations is a key requirement of advanced E-service applications on the Internet, such as electronic auctions or real-estate purchase. Federat...
HUMO
2000
Springer
14 years 2 months ago
2000
Springer
Intelligent meeting rooms should support efficient and effective interactions among its occupants. In this paper, we present our efforts toward building intelligent environments u...