Sciweavers

29172 search results - page 120 / 5835
» Modeling Systems in CLP
Sort
View
FAST
2011
13 years 1 months ago
The SCADS Director: Scaling a Distributed Storage System Under Stringent Performance Requirements
Elasticity of cloud computing environments provides an economic incentive for automatic resource allocation of stateful systems running in the cloud. However, these systems have t...
Beth Trushkowsky, Peter Bodík, Armando Fox,...
JSS
2010
120views more  JSS 2010»
13 years 4 months ago
Handling communications in process algebraic architectural description languages: Modeling, verification, and implementation
Architectural description languages are a useful tool for modeling complex systems at a high level of abstraction. If based on formal methods, they can also serve for enabling the...
Marco Bernardo, Edoardo Bontà, Alessandro A...
FEDCSIS
2011
90views more  FEDCSIS 2011»
12 years 9 months ago
Services Composition Model for Home-Automation peer-to-peer Pervasive Computing
—Collaborative mechanisms between services are a crucial aspect in the recent development of pervasive computing systems based on the paradigm of service-oriented architecture. C...
Juan A. Holgado-Terriza, Sandra Rodríguez-V...
ECAI
1994
Springer
14 years 2 months ago
Operationalizing Conceptual Models Based on a Model of Dependencies
Abstract. In this paper we describe a framework for defining and operationalizing conceptual models of distributed knowledge-based systems which extends published approaches by the...
Frank Maurer, Jürgen Paulokat
ICANN
2011
Springer
13 years 1 months ago
Person Tracking Based on a Hybrid Neural Probabilistic Model
This article presents a novel approach for a real-time person tracking system based on particle filters that use different visual streams. Due to the difficulty of detecting a pe...
Wenjie Yan, Cornelius Weber, Stefan Wermter