Sciweavers

3268 search results - page 410 / 654
» Structured Service Composition
Sort
View
CAV
2005
Springer
86views Hardware» more  CAV 2005»
16 years 3 days ago
Syntax-Driven Reachable State Space Construction of Synchronous Reactive Programs
We consider in the current paper the issue of exploiting the structural form of Esterel programs [BG92] to partition the algorithmic RSS (reachable state space) fix-point construc...
Eric Vecchié, Robert de Simone
ICWE
2005
Springer
16 years 2 days ago
Level of Detail Concepts in Data-Intensive Web Applications
Abstract. Current data-intensive Web applications, such as on-line trading, ecommerce, corporate portals and so on, are becoming more and more complex, both in terms of density of ...
Sara Comai
PROMAS
2005
Springer
16 years 1 days ago
Extending the Capability Concept for Flexible BDI Agent Modularization
Abstract. Multi-agent systems are a natural way of decomposing complex systems into more manageable and decentralized units. Nevertheless, as single agents can represent complex su...
Lars Braubach, Alexander Pokahr, Winfried Lamersdo...
MMM
2003
Springer
152views Multimedia» more  MMM 2003»
15 years 12 months ago
Semantic Video Annotation and Vague Query
The Digital Video Album (DVA) system described here integrates various cooperating subsystems to index and query video documents according to their semantic content and other meta...
Qiuying Zhang, Mohan S. Kankanhalli, Philippe Mulh...
CAISE
2003
Springer
15 years 11 months ago
Component Engineering for Large Database Applications
Database modeling is still a job of an artisan. Due to this approach database schemata evolve by growth without any evolution plan. Finally, they cannot be examined, surveyed, cons...
Bernhard Thalheim