623 search results - page 22 / 125 » Declarative Network Verification |
FAC
2010
13 years 6 months ago
2010
Framing in the presence of data abstraction is a challenging and important problem in the verification of object-oriented programs [LLM07]. The dynamic frames approach is a promisi...
BROADNETS
2004
IEEE
14 years 13 days ago
2004
IEEE
This document presents provisioning strategies for emerging hybrid optical networks. The idea is to make use of policy-based management that guides the behavior of a network throu...
CCS
2007
ACM
14 years 21 days ago
2007
ACM
Defending against denial-of-service (DoS) in a mobile ad hoc network (MANET) is challenging because the network topology is dynamic and nodes are selfish. In this paper, we propos...
ESTIMEDIA
2007
Springer
14 years 2 months ago
2007
Springer
SoCs for multimedia applications typically use only one port to off-chip DRAM for cost reasons. The sharing of interconnect and the off-chip DRAM port by several IP blocks makes t...
ETFA
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper presents a new approach to modelling and verification of function block applications of the IEC 61499 standard. The approach uses the language of logic programming Prol...