4386 search results - page 727 / 878 » A Tamper-Resistant Programming Language System |
120
Voted
CSMR
2008
IEEE
15 years 9 months ago
2008
IEEE
Object-oriented languages such as Java, Smalltalk, and C++ structure their programs using packages, allowing classes to be organized into named abstractions. Maintainers of large ...
253
click to vote
VL
2005
IEEE
15 years 8 months ago
2005
IEEE
Despite years of availability of testing tools, professional software developers still seem to need better support to determine the effectiveness of their tests. Without improveme...
119
click to vote
UML
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Current software systems increasingly consist of distributed interacting components. The use of web services and similar middleware technologies strongly fosters such arc...
127
click to vote
WOSP
2004
ACM
15 years 8 months ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...
121
click to vote
CC
2004
Springer
15 years 8 months ago
2004
Springer
Although optimization technology has been successful over the past 40 years, recent trends are emerging that demand we reconsider the paradigm that we are using for code optimizati...