Sciweavers

5615 search results - page 180 / 1123
» On the Computational Capabilities of Several Models
Sort
View
SPIN
2007
Springer
16 years 1 months ago
Scalable Multi-core LTL Model-Checking
Recent development in computer hardware has brought more wide-spread emergence of shared-memory, multi-core systems. These architectures offer opportunities to speed up various ta...
Jiri Barnat, Lubos Brim, Petr Rockai
PERCOM
2005
ACM
16 years 19 days ago
RDF-Based Model for Context-Aware Reasoning in Rich Service Environment
We present a framework for utilizing context-awareness for classifying services. We also present a novel RDFbased model for context-aware reasoning in pervasive computing environm...
Jari Forstadius, Ora Lassila, Tapio Seppänen
ACCV
2006
Springer
16 years 1 months ago
Virtual Fashion Show Using Real-Time Markerless Motion Capture
Abstract. This paper presents a motion capture system using two cameras that is capable of estimating a constrained set of human postures in real time. We first obtain a 3D shape ...
Ryuzo Okada, Björn Stenger, Tsukasa Ike, Nobu...
IPPS
2007
IEEE
16 years 1 months ago
Performance Modelling of Peer-to-Peer Routing
We propose several models based on discrete-time Markov chains for the analysis of Distributed Hash Tables (DHTs). Specifically, we examine the Pastry routing protocol, as well a...
Idris A. Rai, Andrew Brampton, Andrew MacQuire, La...
IPPS
2000
IEEE
15 years 11 months ago
The MultiCluster Model to the Integrated Use of Multiple Workstation Clusters
One of the new research tendencies within the well-established cluster computing area is the growing interest in the use of multiple workstation clusters as a single virtual parall...
Marcos E. Barreto, Rafael Bohrer Ávila, Phi...