837 search results - page 121 / 168 » Proof Development with OMEGA |
198
Voted
POPL
2008
ACM
16 years 1 months ago
2008
ACM
Contracts are behavioural descriptions of Web services. We devise a theory of contracts that formalises the compatibility of a client to a service, and the safe replacement of a s...
87
Voted
MOBIHOC
2008
ACM
16 years 8 days ago
2008
ACM
Recently, cooperative communications, in the form of keeping each node with a single antenna and having a node exploit a relay node's antenna, is shown to be a promising appr...
113
Voted
ESOP
2010
Springer
15 years 10 months ago
2010
Springer
The specification of the Java Memory Model (JMM) is phrased in terms of acceptors of execution sequences rather than the standard generative view of operational semantics. This cre...
97
Voted
VMCAI
2010
Springer
15 years 10 months ago
2010
Springer
While temporal verification of programs is a topic with a long history, its traditional basis--semantics based on word languages--is illsuited for modular reasoning about procedura...
ICCAD
2002
IEEE
15 years 9 months ago
2002
IEEE
Abstract—A robust, efficient, and accurate inductance extraction and simulation tool, INDUCTWISE, is developed and described in this paper. This work advances the state-of-the-ar...