Sciweavers

1084 search results - page 39 / 217
» An approach to feature location in distributed systems
Sort
View
KBSE
2002
IEEE
14 years 1 months ago
An Approach to Rapid Prototyping of Large Multi-Agent Systems
Engineering individual components of a multi-agent system and their interactions is a complex and error-prone task in urgent need of methods and tools. Prototyping is a valuable t...
Wamberto Weber Vasconcelos, Carles Sierra, Marc Es...
JCSC
1998
159views more  JCSC 1998»
13 years 8 months ago
An Approach to Object System Modeling by State-Based Object Petri Nets
For many years, Petri nets have been used for modeling the behavior of various types of concurrent systems. While these net models are especially well suited to capture the behavi...
A. Newman, Sol M. Shatz, X. Xie
ICCV
2007
IEEE
14 years 10 months ago
Object Localisation Using Generative Probability Model for Spatial Constellation and Local Image Features
In this paper we apply state-of-the-art approach to object detection and localisation by incorporating local descriptors and their spatial configuration into a generative probabil...
Joni-Kristian Kamarainen, Miroslav Hamouz, Josef K...
SIGMETRICS
2008
ACM
132views Hardware» more  SIGMETRICS 2008»
13 years 8 months ago
Durability of replicated distributed storage systems
We study the problem of guaranteeing data durability [2] in distributed storage systems based on replication. Our work is motivated by several several recent efforts [3, 5, 1] to ...
Sriram Ramabhadran, Joseph Pasquale
FBT
1998
119views Formal Methods» more  FBT 1998»
13 years 9 months ago
Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata
We build on work in designing modeling languages for hybrid systems in the development of CTA, the Cottbus Timed Automata. Our design features a facility to specify a hybrid system...
Dirk Beyer, Heinrich Rust