12774 search results - page 2271 / 2555 » A Framework for Proof Systems |
196
click to vote
PODS
2010
ACM
15 years 11 months ago
2010
ACM
Both semantic and type-based query optimization rely on the idea that queries often exhibit non-trivial rewritings if the state space of the database is restricted. Despite their ...
171
click to vote
ACSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
We describe an approach to building security services for context-aware environments. Specifically, we focus on the design of security services that incorporate the use of securi...
169
click to vote
ACSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
The integration of mobile agents with SNMP creates significant advantages for the management of complex networks. Nevertheless, the security concerns of mobile agent technology l...
170
click to vote
CBMS
2002
IEEE
15 years 11 months ago
2002
IEEE
The image diagnosis area is the most propense medical field to Telemedicine, because it does not obligate a direct contact of the patient with the responsible radiologist during t...
202
click to vote
DANCE
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we explore flexible name resolution as a way of supporting extensibility for wide-area distributed services. Our approach, called Active Names, maps names to a cha...