Sciweavers

19003 search results - page 224 / 3801
» We Need Assurance!
Sort
View
ICDE
2007
IEEE
133views Database» more  ICDE 2007»
15 years 5 days ago
Evolution of Distributed Web Data: An Application of the Reactive Language XChange
Many data sources on the Web evolve in the sense that they change their content over time, typically as a reaction to some event. Such changes often need to be mirrored in data on...
François Bry, Hendrik Grallert, Michael Eck...
IAW
2003
IEEE
14 years 4 months 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
ICDCSW
2002
IEEE
14 years 3 months ago
Separation of Concerns in Agent Applications by Roles
In the development of agent applications, interactions are an important issue, which must be faced with appropriate methodologies and tools. A separation of concerns between the a...
Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
SIGIR
2002
ACM
13 years 10 months ago
A taxonomy of web search
: Classic IR (information retrieval) is inherently predicated on users searching for information, the socalled "information need". But the need behind a web search is oft...
Andrei Z. Broder
EUSAI
2004
Springer
14 years 4 months ago
Multiple User Profile Merging (MUPE): Key Challenges for Environment Awareness
In this paper we describe the issues that need to be addressed when setting up an aware environment occupied simultaneously by several users. Combining the delivery of services for...
Ben Salem, Matthias Rauterberg