4386 search results - page 116 / 878 » A Tamper-Resistant Programming Language System |
103
click to vote
ECOOP
2006
Springer
15 years 5 months ago
2006
Springer
A session takes place between two parties; after establishing a connection, each party interleaves local computations and communications (sending or receiving) with the other. Ses...
129
click to vote
JTRES
2010
ACM
15 years 1 months ago
2010
ACM
The Safety Critical Java Specification intends to support the development of programs that must be certified. The specification includes a number of annotations used to constrain ...
107
click to vote
ICRA
2008
IEEE
15 years 8 months ago
2008
IEEE
— We present a high-level language for programming modular robotic systems, based on locally distributed predicates (LDP), which are distributed conditions that hold for a connec...
120
click to vote
TODS
2012
13 years 4 months ago
2012
B-trees have been ubiquitous in database management systems for several decades, and they serve in many other storage systems as well. Their basic structure and their basic operat...
99
Voted
IFIP
1998
Springer
15 years 5 months ago
1998
Springer
Current object-oriented development practice is centered around application frameworks. In this paper, we argue that this approach is misleading, as it distracts from the ultimate...