4386 search results - page 771 / 878 » A Tamper-Resistant Programming Language System |
107
click to vote
ISORC
2006
IEEE
15 years 7 months ago
2006
IEEE
Convenience, reliability, and effectiveness of automatic memory management have long been established in modern systems and programming languages such as Java. The timeliness req...
108
click to vote
ICPADS
2005
IEEE
15 years 7 months ago
2005
IEEE
: We propose software reliability assessment methods for concurrent distributed system development by using the Analytic Hierarchy Process. Also, we make a comparison between the i...
107
click to vote
CSFW
2003
IEEE
15 years 6 months ago
2003
IEEE
To be practical, systems for ensuring secure information flow must be as permissive as possible. To this end, the author recently proposed a type system for multi-threaded progra...
ICSE
2010
IEEE-ACM
15 years 3 months ago
2010
IEEE-ACM
Computational reflection is a well-established technique that gives a program the ability to dynamically observe and possibly modify its behaviour. To date, however, reflection is...
ICWS
2010
IEEE
15 years 3 months ago
2010
IEEE
This paper addresses one of the major problems of SOA software development: the lack of support for testing complex service-oriented systems. The research community has developed v...