4386 search results - page 328 / 878 » A Tamper-Resistant Programming Language System |
120
click to vote
HICSS
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper describes an architecture for building distributed information systems from existing information resources, based on software agent and distributed object technologies....
120
click to vote
SEKE
2001
Springer
15 years 8 months ago
2001
Springer
ct 7 Applying finite-state verification techniques to software systems looks attractive because they are capable of detecting very subtle 8 defects in the logic design of these s...
98
Voted
JOT
2007
15 years 3 months ago
2007
The paper describes how the idea of persistent objects is integrated into the Timor programming language. The strategy adopted allows types to be instantiated at two levels: as &q...
133
click to vote
ENTCS
2006
15 years 3 months ago
2006
The use of object-oriented techniques and concepts, like encapsulation and inheritance, greatly improves language specifications towards better modularity, reusability and extensi...
162
Voted
EGH
2010
Springer
15 years 1 months ago
2010
Springer
While a number of different shading languages have been developed, their efficient integration into an existing renderer is notoriously difficult, often boiling down to implementi...