Sciweavers

8377 search results - page 419 / 1676
» Scenarios - Introduction
Sort
View
PERVASIVE
2004
Springer
16 years 5 days ago
SearchLight - A Lightweight Search Function for Pervasive Environments
We present a lightweight search function for physical objects in instrumented environments. Objects are tagged with optical markers which are scanned by a steerable camera and pro...
Andreas Butz, Michael Schneider, Mira Spassova
PPSWR
2004
Springer
16 years 5 days ago
Data Retrieval and Evolution on the (Semantic) Web: A Deductive Approach
To make use of data represented on the Semantic Web, it is necessary to provide languages for Web data retrieval and evolution. This article introduces into the (conventional and S...
François Bry, Tim Furche, Paula-Lavinia Pat...
SAG
2004
Springer
16 years 5 days ago
A Generic Architecture for Sensor Data Integration with the Grid
This paper describes the design and implementation of a model of how to integrate sensors and devices into a GRID infrastructure. We describe its proxy-based approach, the port-ty...
Jan Humble, Chris Greenhalgh, Alastair Hampshire, ...
IAW
2003
IEEE
16 years 3 days ago
Static Verification of Worm and virus Behavior in binary Executables using Model Checking
- Use offormal methods in any application scenario requires a precise characterization and representation of the properties that need to be verified The target, which is desired ri...
Prabhat K. Singh, Arun Lakhotia
ICSM
2003
IEEE
16 years 3 days ago
Using Intentional Source-Code Views to Aid Software Maintenance
The conceptual structure of existing software systems is often implicit or non-existing in the source code. We prolightweight abstraction of intentional source-code views as a mea...
Kim Mens, Bernard Poll, Sebastián Gonz&aacu...