2838 search results - page 216 / 568 » Verifying Controlled Components |
102
click to vote
ASPLOS
2004
ACM
15 years 6 months ago
2004
ACM
We introduce Shear, a user-level software tool that characterizes RAID storage arrays. Shear employs a set of controlled algorithms combined with statistical techniques to automat...
102
Voted
CSFW
2007
IEEE
15 years 4 months ago
2007
IEEE
We consider the problem of statically verifying the conformance of the code of a system to an explicit authorization policy. In a distributed setting, some part of the system may ...
117
Voted
BPM
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. Web services composition is an emerging paradigm for enabling application integration within and across organizational boundaries. Current Web services composition propos...
156
click to vote
ICWN
2008
15 years 2 months ago
2008
In wireless LAN technology, access point selection at each station is a critical problem in order to obtain satisfactory throughputs. The current protocol for access point selecti...
104
Voted
FUIN
2006
15 years 22 days ago
2006
Abstract. This paper describes an attempt to combine theorem proving and model-checking to formally verify real-time systems in a discrete time setting. The Timed Automata Modeling...