2501 search results - page 247 / 501 » Obligations and Their Interaction with Programs |
168
click to vote
SP
2009
IEEE
16 years 25 days ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
149
click to vote
SEMWEB
2007
Springer
16 years 6 days ago
2007
Springer
The Hierarchical Task Network (HTN) planning method is conceived of as a useful method for Web service composition as well as classical task planning. However, there are no complet...
159
Voted
ECLIPSE
2006
ACM
16 years 2 days ago
2006
ACM
Recent research has shown that developers spend significant amounts of time navigating around code. Much of this time is spent on redundant navigations to code that the developer ...
144
click to vote
LCTRTS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We present a compositional approach to the implementation of hard real-time software running on a distributed platform. We explain how several code suppliers, coordinated...
169
Voted
TACAS
2005
Springer
15 years 11 months ago
2005
Springer
The interaction among concurrently executing threads of a program results in insidious programming errors that are difficult to reproduce and fix. Unfortunately, the problem of ve...