1350 search results - page 30 / 270 » Reasoning about Staged Computation |
SP
2009
IEEE
15 years 4 months 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 ...
BIRTHDAY
2004
Springer
15 years 3 months ago
2004
Springer
Inheritance and polymorphism are key mechanisms of the object-oriented approach that enable designers to develop systems in an incremental manner. In this paper, we develop techni...
ACSC
2006
IEEE
15 years 1 months ago
2006
IEEE
We introduce a logic for reasoning about and constructing refinements for
102
click to vote
FUIN
2010
14 years 7 months ago
2010
We provide an equational theory for Restricted Broadcast Process Theory to reason about ad hoc networks. We exploit an extended algebra called Computed Network Theory to axiomatize...
ECBS
1996
IEEE
15 years 1 months ago
1996
IEEE
It is widely recognized that real-time,fault-tolerant and distributed computing technologies play a key role in the deployment of many current andfuture (civilian or Defense) crit...