Sciweavers

4651 search results - page 319 / 931
» Data Reduction Using Multiple Models Integration
Sort
View
ICALP
2005
Springer
16 years 6 days 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 6 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 12 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
IPSN
2004
Springer
16 years 1 days 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 11 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...