Sciweavers

310 search results - page 35 / 62
» A Location Model for Communicating and Processing of Context
Sort
View
INFOCOM
2000
IEEE
13 years 12 months ago
Networks with Advance Reservations: The Routing Perspective
— This paper provides an initial look at how support for advance reservations affects the complexity of the path selection process in networks. Advance reservations are likely to...
Roch Guérin, Ariel Orda
IPSN
2004
Springer
14 years 27 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
FMICS
2007
Springer
14 years 1 months ago
Checking the TWIN Elevator System by Translating Object-Z to SMV
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...
Sören Preibusch, Florian Kammüller
CICLING
2001
Springer
14 years 1 days ago
Spatio-temporal Indexing in Database Semantics
In logic, the spatio-temporal location of a proposition is characterized precisely within a Cartesian system of space and time coordinates. This is suitable for characterizing the ...
Roland Hausser
BROADNETS
2005
IEEE
14 years 1 months ago
Modeling and performance evaluation of ISCSI storage area networks
Abstract— This paper provides a concise modeling and performance evaluation of the iSCSI storage area network (SAN) architecture and protocol. SANs play a key role in business co...
Christoph M. Gauger, Martin Köhn, Sebastian G...