Sciweavers

3676 search results - page 235 / 736
» Scalable component abstractions
Sort
View
ERCIMDL
2006
Springer
139views Education» more  ERCIMDL 2006»
15 years 10 months ago
A Peer-to-Peer Architecture for Information Retrieval Across Digital Library Collections
Peer-to-peer networks have been identified as promising architectural concept for developing search scenarios across digital library collections. Digital libraries typically offer ...
Ivana Podnar, Toan Luu, Martin Rajman, Fabius Klem...
DEXA
2008
Springer
143views Database» more  DEXA 2008»
15 years 8 months ago
XML Filtering Using Dynamic Hierarchical Clustering of User Profiles
Information filtering systems constitute a critical component in modern information seeking applications. As the number of users grows and the information available becomes even bi...
Panagiotis Antonellis, Christos Makris
FM
2008
Springer
171views Formal Methods» more  FM 2008»
15 years 8 months ago
Assume-Guarantee Verification for Interface Automata
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
Michael Emmi, Dimitra Giannakopoulou, Corina S. Pa...
IWEC
2010
15 years 8 months ago
Analyzing Computer Game Narratives
In many computer games narrative is a core component with the game centering on an unfolding, interactive storyline which both motivates and is driven by the game-play. Analyzing n...
Clark Verbrugge, Peng Zhang
AIPS
2006
15 years 8 months ago
Knowledge-based Middleware as an Architecture for Planning and Scheduling Systems
We present an architecture that provides a robust, scalable and flexible software framework for planning and scheduling systems through the use of standardized industrial-strength...
Bernd Schattenberg, Steffen Balzer, Susanne Biundo