Sciweavers

12289 search results - page 322 / 2458
» System modeling with mixed object and data models
Sort
View
190
Voted
APSEC
1999
IEEE
15 years 11 months ago
The Quest for Correct Systems: Model Checking of Diagrams and Datatypes
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
Jan Philipps, Oscar Slotosch
ALGOSENSORS
2009
Springer
16 years 1 months ago
Compressing Kinetic Data from Sensor Networks
We introduce a framework for storing and processing kinetic data observed by sensor networks. These sensor networks generate vast quantities of data, which motivates a significant...
Sorelle A. Friedler, David M. Mount
HICSS
2009
IEEE
155views Biometrics» more  HICSS 2009»
16 years 1 months ago
Multidimensional Analysis of RFID Data in Logistics
In the domain of logistics, Radio Frequency Identification (RFID) promises a plethora of benefits due to an enhanced efficiency, accuracy, and preciseness of object identification...
Henning Baars, Xuanpu Sun
VLDB
2007
ACM
149views Database» more  VLDB 2007»
16 years 23 days ago
Probabilistic Skylines on Uncertain Data
Uncertain data are inherent in some important applications. Although a considerable amount of research has been dedicated to modeling uncertain data and answering some types of qu...
Jian Pei, Bin Jiang, Xuemin Lin, Yidong Yuan
EUROSYS
2006
ACM
16 years 3 months ago
Ferret: a toolkit for content-based similarity search of feature-rich data
Building content-based search tools for feature-rich data has been a challenging problem because feature-rich data such as audio recordings, digital images, and sensor data are in...
Qin Lv, William Josephson, Zhe Wang, Moses Charika...