Sciweavers

4651 search results - page 319 / 931
» Data Reduction Using Multiple Models Integration
Sort
View
ICALP
2005
Springer
15 years 9 months ago
Basic Observables for a Calculus for Global Computing
We introduce a foundational language for modelling applications over global computers whose interconnection structure can be explicitly manipulated. Together with process distribut...
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
JPDC
2007
184views more  JPDC 2007»
15 years 3 months ago
Modeling of concurrent web sessions with bounded inconsistency in shared data
Client interactions with modern web-accessible network services are typically organized into sessions involving multiple requests that read and write shared application data. Ther...
Alexander Totok, Vijay Karamcheti
KBSE
2003
IEEE
15 years 9 months ago
A Model-Driven Approach to Non-Functional Analysis of Software Architectures
We present an approach to managing formal models using Model Driven Architecture (MDA) technologies that delivers analysis techniques through integration with the design tools and...
James Skene, Wolfgang Emmerich
140
Voted
IPSN
2004
Springer
15 years 9 months ago
Estimation from lossy sensor data: jump linear modeling and Kalman filtering
Due to constraints in cost, power, and communication, losses often arise in large sensor networks. The sensor can be modeled as an output of a linear stochastic system with random...
Alyson K. Fletcher, Sundeep Rangan, Vivek K. Goyal
ISER
1999
Springer
114views Robotics» more  ISER 1999»
15 years 8 months ago
Continuous Probabilistic Mapping by Autonomous Robots
In this paper, we present a new approach for continuous probabilistic mapping. The objective is to build metric maps of unknown environments through cooperation between multiple au...
Jesús Salido Tercero, Christiaan J. J. Pare...