1516 search results - page 199 / 304 » Generalizing Indexical-Functional Reference |
HPCN
2000
Springer
15 years 1 months ago
2000
Springer
Data futures in a metacomputing system refer to data products that have not yet been created but which can be uniquely named and manipulated. We employ data flow mechanisms expres...
KES
2000
Springer
15 years 1 months ago
2000
Springer
: We report about ongoing research in a virtual reality environment where visitors can interact with agents that help them to obtain information, to peform certain transactions and...
POS
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. Defining persistence in terms of reachability is fundamental to achieving orthogonality of persistence. It is implicit to the principles of orthogonal persistence and is ...
FPCA
1995
15 years 1 months ago
1995
This paper discusses the derivation of functional programs for grammar analysis problems, such as the Empty problem and the Reachable problem. Grammar analysis problems can be div...
ACNS
2008
Springer
14 years 12 months ago
2008
Springer
Abstract. "Pairing" is referred to as the operation of achieving authenticated key agreement between two human-operated devices over a short- or medium-range wireless com...