9067 search results - page 1435 / 1814 » Adaptive Model Checking |
213
click to vote
ECOOP
2005
Springer
16 years 1 months ago
2005
Springer
In Java 2 and Microsoft .NET Common Language Runtime (CLR), trusted code has often been programmed to perform accessrestricted operations not explicitly requested by its untrusted ...
231
click to vote
EMSOFT
2005
Springer
16 years 1 months ago
2005
Springer
The central idea behind interface-based design is to describe components by a component interface. In contrast to a component description that describes what a component does, a c...
201
click to vote
EWSA
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. In this paper we motivate an Architecture Description Language (ADL) for mobile distributed systems based on the π-calculus. Different from other approaches, the non-fu...
183
click to vote
ASPLOS
2004
ACM
16 years 27 days ago
2004
ACM
+ XOM-based secure processor has recently been introduced as a mechanism to provide copy and tamper resistant execution. XOM provides support for encryption/decryption and integrit...
222
Voted
ISSTA
2004
ACM
16 years 27 days ago
2004
ACM
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...