10809 search results - page 1847 / 2162 » Location Based Services |
208
click to vote
NDSS
2000
IEEE
15 years 12 months ago
2000
IEEE
This paper describes automatic protocol generation (APG for short), a novel mechanism to generate security protocols automatically. With APG, the protocol designer inputs the spec...
232
Voted
ADBIS
2000
Springer
15 years 12 months ago
2000
Springer
The integration of bibliographical data today is considered one of the most important tasks in the area of digital libraries. Various available sources of bibliographical informati...
200
click to vote
ELPUB
1999
ACM
15 years 11 months ago
1999
ACM
Internet based services, particularly asynchronous communication services, offer an environment suited to the rise of knowledge communities. Knowledge communities, or invisible co...
241
click to vote
POPL
1999
ACM
15 years 11 months ago
1999
ACM
An increasing number of systems rely on programming language technology to ensure safety and security of low-level code. Unfortunately, these systems typically rely on a complex, ...
188
Voted
AGENTS
1999
Springer
15 years 11 months ago
1999
Springer
A critical challenge to creating effective agent-based systems is allowing them to operate effectively when the operating environment is complex, dynamic, and error-prone. In this...