Sciweavers

6431 search results - page 863 / 1287
» Model Building by Resolution
Sort
View
WOWMOM
2005
ACM
138views Multimedia» more  WOWMOM 2005»
15 years 10 months ago
A Scenario-Based Performance Evaluation of Multicast Routing Protocols for Ad Hoc Networks
Current ad hoc multicast routing protocols have been designed to build and maintain a tree or mesh in the face of a mobile environment, with fast reaction to network changes in or...
Manoj Pandey, Daniel Zappala
CHARME
2005
Springer
120views Hardware» more  CHARME 2005»
15 years 10 months ago
How Thorough Is Thorough Enough?
Abstraction is the key for effectively dealing with the state explosion in model-checking. Unfortunately, finding abstractions which are small and yet enable us to get conclusive ...
Arie Gurfinkel, Marsha Chechik
DEXA
2005
Springer
106views Database» more  DEXA 2005»
15 years 10 months ago
Personalized and Community Decision Support in eTourism Intermediaries
The rapidly growing web technologies and electronic commerce applications have stimulated the need of personalized and group decision support functionalities in eTourism intermedia...
Chien-Chih Yu
E4MAS
2005
Springer
15 years 10 months ago
Grounding Social Interactions in the Environment
Abstract. While agents and environments are two intimately connected concepts, most approaches for multi-agent development focus on the agent-specific part of the system, whereas ...
Florian Klein, Holger Giese
ER
2005
Springer
186views Database» more  ER 2005»
15 years 10 months ago
Blueprints and Measures for ETL Workflows
Extract-Transform-Load (ETL) workflows are data centric workflows responsible for transferring, cleaning, and loading data from their respective sources to the warehouse. Previous ...
Panos Vassiliadis, Alkis Simitsis, Manolis Terrovi...