1525 search results - page 198 / 305 » Formal Models for Communication-Based Design |
93
Voted
MMSEC
2006
ACM
15 years 6 months ago
2006
ACM
Two different approaches for constructing a steganographic channel in an IEEE 802.11 (WLAN) network are introduced in this paper. First test results on the reliability, undetectab...
85
Voted
MEMOCODE
2005
IEEE
15 years 6 months ago
2005
IEEE
There are few published examples of the proof of correctness of a cache-coherence protocol expressed in an HDL. A designer generally shows the correctness of a protocol ny impleme...
128
Voted
SWWS
2008
15 years 2 months ago
2008
Abstract The growing demand for large and complex ontologies present new challenges related to their design, maintenance and evolution. In this paper, we propose an approach to man...
104
click to vote
FORTE
2004
15 years 2 months ago
2004
The main goal of this paper is to extend sPBC with the iteration operator, providing an operational semantics for the language, as well as a denotational semantics, which is based ...
107
Voted
ENTCS
2010
15 years 26 days ago
2010
An important issue of the service oriented approach is the possibility to aggregate, through programmable coordination patterns, the activities involved by service interactions. T...