1892 search results - page 78 / 379 » Warren's Abstract Machine |
HCI
2007
14 years 11 months ago
2007
The Gesture and Activity Recognition Toolit (GART) is a user interface toolkit designed to enable the development of gestureplications. GART provides an abstraction to machine lear...
FGCS
2000
14 years 9 months ago
2000
The LOGFLOW parallel Prolog system is similar to the recent parallel database systems concerning its dataflow execution model and its capability of running on othing architectures...
MAS
1998
Springer
15 years 2 months ago
1998
Springer
Abstract. Mobile-agent systems must address three security issues: protecting an individual machine, protecting a group of machines, and protecting an agent. In this chapter, we di...
PTS
1993
14 years 11 months ago
1993
The signal SAVE construct is one of the features distinguishing SDL from convent specification and programming languages. On the other hand, this feature increase testing SDL-spec...
119
click to vote
ESOP
1992
Springer
15 years 2 months ago
1992
Springer
We have designed, implemented, and proved the correctness of a compiler generator that accepts action semantic descriptions of imperative programming languages. The generated comp...