1005 search results - page 160 / 201 » Operational Semantics and Program Equivalence |
102
click to vote
WWW
2008
ACM
16 years 3 months ago
2008
ACM
Web service processes currently lack monitoring and dynamic (runtime) adaptation mechanisms. In highly dynamic processes, services frequently need to be exchanged due to a variety...
140
click to vote
JELIA
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Often, decision making involves autonomous agents that are structured in a complex hierarchy, representing e.g. authority. Typically the agents share the same body of kno...
135
click to vote
UTP
2010
15 years 10 days ago
2010
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...
127
click to vote
ESOP
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We show how to formalise a constraint-based data flow analysis in the specification language of the Coq proof assistant. This involves defining a dependent type of lat...
143
click to vote
FMCAD
2008
Springer
15 years 4 months ago
2008
Springer
We present a method for verifying information flow properties of software programs using inductive assertions and theorem proving. Given a program annotated with information flow a...