4386 search results - page 141 / 878 » A Tamper-Resistant Programming Language System |
DAC
1998
ACM
16 years 2 months ago
1998
ACM
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...
110
click to vote
ASPLOS
2011
ACM
14 years 5 months ago
2011
ACM
Transiently powered computing devices such as RFID tags, kinetic energy harvesters, and smart cards typically rely on programs that complete a task under tight time constraints be...
126
click to vote
PLDI
2005
ACM
15 years 7 months ago
2005
ACM
Ad-hoc networks of mobile devices such as smart phones and PDAs represent a new and exciting distributed system architecture. Building distributed applications on such an architec...
176
Voted
ECOOP
1999
Springer
15 years 6 months ago
1999
Springer
There is considerable interest in programs that can migrate from one host to another and execute. Mobile programs are appealing because they support efficient utilization of networ...
120
click to vote
OOPSLA
2010
Springer
15 years 1 days ago
2010
Springer
Tribal Ownership unifies class nesting and object ownership. Tribal Ownership is based on Tribe, a language with nested classes and object families. In Tribal Ownership, a progra...