Sciweavers

944 search results - page 115 / 189
» A Virtual Honeypot Framework
Sort
View
MATA
2005
Springer
170views Communications» more  MATA 2005»
14 years 3 months ago
Adaptive Content for the Mobile User: A Policy-Based Approach
Service adaptation is fundamental to context-aware service provisioning and to the realization of the Virtual Home Environment concept, which is now an integral part of the 3G serv...
Alvin Yew, Antonio Liotta, Kun Yang
WRAC
2005
Springer
14 years 3 months ago
Concept and Sensor Network Approach to Computing: The Lexicon Acquisition Component
In this paper, we describe an on-going project called Concept and Sensor Networks (CSN). The development of this project has been described in past PSMP workshops [1]. The purpose ...
Jan Smid, Marek Obitko, Andrej Bencur
JCDL
2004
ACM
157views Education» more  JCDL 2004»
14 years 3 months ago
Accessing the alexandria digital library from geographic information systems
We describe two experimental desktop library clients that offer improved access to geospatial data via the Alexandria Digital Library (ADL): ArcADL, an extension to ESRI's Ar...
Dan Ancona, James Frew, Greg Janee, David Valentin...
COMPSAC
2003
IEEE
14 years 3 months ago
Protecting Distributed Software Upgrades that Involve Message-Passing Interface Changes
We present in this paper an extension of the messagedriven confidence-driven framework that we developed for onboard guarded software upgrading. The purpose of this work is to pr...
Ann T. Tai, Kam S. Tso, William H. Sanders
ECBS
2003
IEEE
145views Hardware» more  ECBS 2003»
14 years 3 months ago
Model Checking and Evidence Exploration
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka