1678 search results - page 196 / 336 » An ASM Specification of C |
138
click to vote
CASES
2007
ACM
15 years 10 months ago
2007
ACM
The development of robust and efficient synthesis tools is important if asynchronous design is to gain more widespread acceptance. Syntax-directed translation is a powerful synthe...
180
click to vote
CCS
2007
ACM
15 years 10 months ago
2007
ACM
We describe the formalization of a correctness proof for a conflict detection algorithm for firewalls in the Coq Proof Assistant. First, we give formal definitions in Coq of a fir...
184
click to vote
CODES
2007
IEEE
15 years 10 months ago
2007
IEEE
The synchronous computational model with its simple computation and communication mechanism makes it easy to describe, simulate and formally verify synchronous embedded systems at...
160
click to vote
CONEXT
2007
ACM
15 years 10 months ago
2007
ACM
Community wireless mesh networks (WMNs) are increasingly being deployed for providing cheap, low maintenance Internet access. For the successful adoption of WMNs as a last-mile te...
159
click to vote
DEBS
2007
ACM
15 years 10 months ago
2007
ACM
Publish/subscribe (pub/sub) middleware platforms for eventbased distributed systems often provide many configurable policies that affect end-to-end quality of service (QoS). Altho...