1301 search results - page 92 / 261 » Specifications via Realizability |
163
Voted
OMER
2001
15 years 5 months ago
2001
Abstract: To synchronize concurrent regions of a state machine, the Unified Modeling Language (UML) provides the concept of so-called "synch states". Synch states insure ...
142
Voted
ENTCS
2008
15 years 3 months ago
2008
We report in this paper on the formal verification of a simple compiler for the C-like programming language C0. The compiler correctness proof meets the special requirements of pe...
118
Voted
TCSV
2008
15 years 3 months ago
2008
Abstract--This paper proposes a parallel hardware architecture for image feature detection based on the SIFT (Scale Invariant Feature Transform) algorithm and applied to the SLAM (...
146
Voted
MASS
2010
15 years 1 months ago
2010
In this paper we describe SpartanRPC, a secure middleware technology for wireless sensor network (WSN) applications supporting cooperation between distinct protection domains. The ...
142
click to vote
GLOBECOM
2009
IEEE
15 years 1 months ago
2009
IEEE
Uncertain capacity in newly emerged Cognitive Radio Networks(CRN) renders specific performance analysis for the secondary users (SUs), particularly in the aspects of Qualityof-Serv...