73 search results - page 9 / 15 » The Nuprl Open Logical Environment |
CIKM
2009
Springer
14 years 2 months ago
2009
Springer
Many content-oriented applications require a scalable text index. Building such an index is challenging. In addition to the logic of inserting and searching documents, developers ...
ATAL
2007
Springer
14 years 2 months ago
2007
Springer
Agents enacting business processes in large open environments need to adaptively accommodate exceptions. Work on multiagent approaches can flexibly model business processes. This...
FC
2005
Springer
14 years 1 months ago
2005
Springer
In this paper, we formulate the concept of policy-based cryptography which makes it possible to perform policy enforcement in large-scale open environments like the Internet, with ...
DALT
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. This paper is concerned with the problem of obtaining predictable interactions between groups of agents in open environments when individual agents do not expose their bd...
CONCUR
2007
Springer
14 years 2 months ago
2007
Springer
The model checking problem for finite-state open systems (module checking) has been extensively studied in the literature, both in the context of environments with perfect and imp...