503 search results - page 82 / 101 » Automatic Verification of Strongly Dynamic Software Systems |
ICSE
2007
IEEE-ACM
15 years 9 months ago
2007
IEEE-ACM
We present a software tool and a framework for security protocol change management. While we focus on trust negotiation protocols in this paper, many of the ideas are generally ap...
122
click to vote
ACHI
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—The development of human-robot interaction scenarios is a strongly situation-dependent as well as an extremely dynamic task. Humans interacting with the robot directly r...
CGO
2007
IEEE
15 years 4 months ago
2007
IEEE
Run-time compilation systems are challenged with the task of translating a program’s instruction stream while maintaining low overhead. While software managed code caches are ut...
106
click to vote
ICST
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper, we consider typical applications in which the business logic is separated from the access control logic, implemented in an independent component, called the Policy ...
SIGSOFT
2007
ACM
15 years 10 months ago
2007
ACM
Asynchronous systems components are hard to write, hard to reason about, and (not coincidentally) hard to mechanically verify. In order to achieve high performance, asynchronous c...