4386 search results - page 82 / 878 » A Tamper-Resistant Programming Language System |
93
Voted
JUCS
2008
15 years 1 months ago
2008
In this paper we present AmOS, the Ambient Object System that underlies the Ambience programming language. AmOS implements a computation model that supports highly dynamic behaviou...
112
click to vote
IJCAI
2001
15 years 2 months ago
2001
Deductive, mode-estimation has become an essential component of robotic space systems, like NASA's deep space probes. Future robots will serve as components of large robotic ...
101
click to vote
COMPSAC
2005
IEEE
15 years 7 months ago
2005
IEEE
SLABS is a formal specification language designed for modular and composable specification of multi-agent systems. This paper reports our attempts to support SLABS at the level ...
200
click to vote
CADE
2011
Springer
14 years 1 months ago
2011
Springer
Android is a programming language based on Java and an operating system for embedded or mobile devices whose upper layers are written in that language. It features an extended even...
POS
1990
Springer
15 years 5 months ago
1990
Springer
nce and Type Abstraction Revisited Atsushi Ohori Ivan Tabkha Richard Connor