3573 search results - page 457 / 715 » Reasoning about Codata |
174
click to vote
RTA
2009
Springer
16 years 1 months ago
2009
Springer
Reasoning about the knowledge of an attacker is a necessary step in many formal analyses of security protocols. In the framework of the applied pi calculus, as in similar languages...
158
click to vote
SBMF
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Event-B is a formal method used for specifying and reasoning about systems. Rodin is a toolset for developing system models in Event-B. Our experiment which is outlined i...
166
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
Enriching business process models with semantic annotations taken from an ontology has become a crucial necessity both in service provisioning, integration and composition, and in ...
264
click to vote
HASKELL
2009
ACM
16 years 1 months ago
2009
ACM
Functional reactive programming (FRP) has simple and powerful semantics, but has resisted efficient implementation. In particular, most past implementations have used demand-driv...
149
click to vote
ISSTA
2009
ACM
16 years 1 months ago
2009
ACM
Atomicity is a key correctness specification for multithreaded programs. Prior dynamic atomicity analyses include precise tools, which report an error if and only if the observed...