Sciweavers

3919 search results - page 71 / 784
» Modelling Dynamic Forgetting in Distributed Information Syst...
Sort
View
P2P
2005
IEEE
15 years 3 months ago
Heterogeneity-Aware Distributed Access Structure
Efficient access to distributed and dynamic multidimensional data is vital for applications in large, heterogeneous, decentralised, resource-sharing environments such as Grids an...
Alejandra González Beltrán, Peter Mi...
AUTOMATICA
2007
103views more  AUTOMATICA 2007»
14 years 10 months ago
Image based visual servo control for a class of aerial robotic systems
An image-based strategy for visual servo control of a class of dynamic systems is proposed. The class of systems considered includes dynamic models of unmanned aerial vehicles cap...
Tarek Hamel, Robert E. Mahony
ECIR
2007
Springer
14 years 11 months ago
Personalized Communities in a Distributed Recommender System
The amount of data exponentially increases in information systems and it becomes more and more difficult to extract the most relevant information within a very short time. Among ot...
Sylvain Castagnos, Anne Boyer
FMCO
2008
Springer
117views Formal Methods» more  FMCO 2008»
14 years 11 months ago
Conformance Testing of Distributed Concurrent Systems with Executable Designs
Abstract. This paper presents a unified approach to test case generation and conformance test execution in a distributed setting. A model in the object-oriented, concurrent modelin...
Bernhard K. Aichernig, Andreas Griesmayer, Einar B...
FM
2001
Springer
118views Formal Methods» more  FM 2001»
15 years 2 months ago
Avoiding State Explosion for Distributed Systems with Timestamps
This paper describes a reduction technique which is very useful against the state explosion problem which occurs when model checking many distributed systems. Timestamps are often ...
Fabrice Derepas, Paul Gastin, David Plainfoss&eacu...