Sciweavers

1140 search results - page 67 / 228
» Simulation data exchange (SDX) implementation and use
Sort
View
DEXA
2009
Springer
201views Database» more  DEXA 2009»
14 years 3 months ago
Dynamic Query Processing for P2P Data Services in the Cloud
With the trend of cloud computing, data and computing are moved away from desktop and are instead provided as a service from the cloud. Data-as-a-service enables access to a wealth...
Pawel Jurczyk, Li Xiong
FMCAD
1998
Springer
14 years 1 months ago
Symbolic Simulation: An ACL2 Approach
Executable formal speci cation can allow engineers to test (or simulate) the speci ed system on concrete data before the system is implemented. This is beginning to gain acceptance...
J. Strother Moore
VTC
2008
IEEE
124views Communications» more  VTC 2008»
14 years 3 months ago
Efficient Reliable Data Collection in Wireless Sensor Networks
— We propose an Efficient Reliable Data Collection (eRDC) algorithm. The eRDC is designed for energy-constraint wireless sensor networks (WSN) to balance reliability and energy c...
Ren Ping Liu, John Zic, Iain B. Collings, Alex Y. ...
ISMAR
2007
IEEE
14 years 3 months ago
A System Architecture for Ubiquitous Tracking Environments
Ubiquitous tracking setups, covering large tracking areas with many heterogeneous sensors of varying accuracy, require dedicated middleware to facilitate development of stationary...
Manuel Huber, Daniel Pustka, Peter Keitler, Floria...
IEEECGIV
2006
IEEE
14 years 2 months ago
PathBank: Web-Based Querying and Visualziation of an Integrated Biological Pathway Database
PathBank is a web-based query and visualization system for biological pathways using an integrated pathway database. To address the needs for biologists to visualize and analyze b...
Joshua Wing Kei Ho, Tristan Manwaring, Seok-Hee Ho...