4386 search results - page 495 / 878 » A Tamper-Resistant Programming Language System |
145
click to vote
CODES
2005
IEEE
15 years 10 months ago
2005
IEEE
Scripting is a powerful, high-level, cross-platform, dynamic, easy way of composing software modules as black boxes. Unfortunately, the high runtime overhead has prevented scripti...
136
click to vote
ICS
1999
Tsinghua U.
15 years 9 months ago
1999
Tsinghua U.
Programming languages that provide multidimensional arrays and a flat linear model of memory must implement a mapping between these two domains to order array elements in memory....
163
click to vote
ICSE
2000
IEEE-ACM
15 years 8 months ago
2000
IEEE-ACM
This paper proposes to use SDL block diagrams, UML class diagrams, and UML behavior diagrams like collaboration diagrams, activity diagrams, and statecharts as a visual programmin...
120
click to vote
IANDC
2008
15 years 4 months ago
2008
We develop a behavioural theory of distributed programs in the presence of failures such as nodes crashing and links breaking. The framework we use is that of D, a language in whi...
144
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
Software systems must face two challenges today: growing complexity and increasing parallelism in the underlying computational models. The problem of increased complexity is often...