Sciweavers

580 search results - page 32 / 116
» Expressive policy analysis with enhanced system dynamicity
Sort
View
ICTCS
2003
Springer
15 years 2 months ago
A Calculus for Dynamic Linking
We define a calculus for modeling dynamic linking independently of the details of a particular programming environment. The calculus distinguishes at the language level the notion...
Davide Ancona, Sonia Fagorzi, Elena Zucca
ECAI
2004
Springer
15 years 3 months ago
Using Spatio-Temporal Continuity Constraints to Enhance Visual Tracking of Moving Objects
We present a framework for annotating dynamic scenes involving occlusion and other uncertainties. Our system comprises an object tracker, an object classifier and an algorithm for...
Brandon Bennett, Derek R. Magee, Anthony G. Cohn, ...
83
Voted
ICIW
2007
IEEE
15 years 4 months ago
Towards Semantically-Enhanced Distributed Service Discovery
—In this paper, we present a new approach for service discovery combining semantic web and peer-to-peer techniques. A reference ontology is used to describe and discover services...
Raphael Romeikat, Bernhard Bauer
SEMWEB
2004
Springer
15 years 3 months ago
Applying KAoS Services to Ensure Policy Compliance for Semantic Web Services Workflow Composition and Enactment
In this paper we describe our experience in applying KAoS services to ensure policy compliance for Semantic Web Services workflow composition and enactment. We are developing thes...
Andrzej Uszok, Jeffrey M. Bradshaw, Renia Jeffers,...
ACSAC
2000
IEEE
15 years 2 months ago
Security Agility in Response to Intrusion Detection
Cooperative frameworks for intrusion detection and response exemplify a key area of today’s computer research: automating defenses against malicious attacks that increasingly ar...
M. Petkac, Lee Badger