615 search results - page 56 / 123 » High-Level Nondeterministic Abstractions in |
111
click to vote
COSIT
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Current mobile computing systems can automatically sense and communicate detailed data about a person’s location. Location privacy is an urgent research issue because c...
IFL
2005
Springer
15 years 7 months ago
2005
Springer
The iData Toolkit is a toolkit that allows programmers to create interactive, type-safe, dynamic web applications with state on a high level of abstraction. The key element of this...
PROMAS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We present an approach to coordinate the behavior of a multiagent team using an HTN planning procedure. To coordinate teams, high level tasks have to be broken down into ...
105
click to vote
WISA
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Reverse engineering of executable programs, by disassembling them and then using program analyses to recover high level semantic information, plays an important role in a...
104
click to vote
ARCS
2004
Springer
15 years 7 months ago
2004
Springer
: Normally the SISCI interface provides a Distributed Shared Memory (DSM) abstraction using the Scalable Coherent Interface (SCI). This paper describes and discusses the design and...