6555 search results - page 913 / 1311 » Secure attribute-based systems |
135
click to vote
ICTAC
2005
Springer
15 years 10 months ago
2005
Springer
Rewriting logic is a simple computational logic very well suited as a semantic framework within which many different models of computation, systems and languages can be naturally ...
135
click to vote
OOPSLA
2005
Springer
15 years 10 months ago
2005
Springer
We describe CodeQuest, a system for querying source code. It combines two previous proposals, namely the use of logic programming and database system. Experiments (on projects ran...
145
click to vote
SIGOPSE
2004
ACM
15 years 10 months ago
2004
ACM
This paper describes a cooperative overlay network that provides anonymous communication services for participating users. The Anonymizing Peer-to-Peer Proxy (AP3) system provides...
126
Voted
ISI
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Information technologies and infectious disease informatics are playing an increasingly important role in preventing, detecting, and managing infectious disease outbreaks...
120
click to vote
ISI
2004
Springer
15 years 10 months ago
2004
Springer
Counterterrorism and intelligence tasks rely on the efficient collection, analysis and dissemination of information. While information systems play a key role in such tasks, databa...