Sciweavers

3919 search results - page 71 / 784
» Modelling Dynamic Forgetting in Distributed Information Syst...
Sort
View
P2P
2005
IEEE
15 years 8 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»
15 years 2 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
15 years 3 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
139
Voted
FMCO
2008
Springer
117views Formal Methods» more  FMCO 2008»
15 years 4 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 7 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...