1415 search results - page 77 / 283 » Verified systems by composition from verified components |
184
click to vote
ICECCS
2010
IEEE
15 years 6 months ago
2010
IEEE
—This paper presents a novel approach to the design of self-adaptive service-oriented applications based on a new model called service tiles. The approach allows designers to dev...
135
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
We present a new role system for specifying changing referencing relationships of heap objects. The role of an object depends, in large part, on its aliasing relationships with ot...
239
click to vote
POPL
2002
ACM
16 years 6 months ago
2002
ACM
We present a new role system in which the type (or role) of each object depends on its referencing relationships with other objects, with the role changing as these relationships ...
171
click to vote
IEEEVAST
2010
15 years 1 months ago
2010
Diagnosing faults in an operational computer network is a frustrating, time-consuming exercise. Despite advances, automatic diagnostic tools are far from perfect: they occasionall...
171
click to vote
JAISE
2010
15 years 1 months ago
2010
Abstract. This paper presents an agent-based, high-level security system for user verification. The system verifies a user's identity by processing data from several low-lever...