7121 search results - page 1058 / 1425 » Functions as Session-Typed Processes |
168
click to vote
LADS
2007
Springer
16 years 26 days ago
2007
Springer
Programming languages based on the BDI style of agent model are now common. Within these there appears to be some, limited, agreement on the core functionality of agents. However, ...
234
Voted
MLDM
2007
Springer
16 years 26 days ago
2007
Springer
Advances in wireless and mobile technology flood us with amounts of moving object data that preclude all means of manual data processing. The volume of data gathered from position...
158
click to vote
MLMI
2007
Springer
16 years 26 days ago
2007
Springer
This paper outlines first the BET method for task-based evaluation of meeting browsers. ‘Observations of interest’ in meetings are empirically determined by neutral observers ...
192
click to vote
OOPSLA
2007
Springer
16 years 26 days ago
2007
Springer
We apply speculative multithreading to sequential Java programs in software to achieve speedup on existing multiprocessors. A common speculation library supports both Java bytecod...
147
click to vote
OTM
2007
Springer
16 years 26 days ago
2007
Springer
HARC—the Highly-Available Resource Co-allocator—is an open-source system for reserving multiple resources in a coordinated fashion. HARC can handle different types of resource...