623 search results - page 19 / 125 » Declarative Network Verification |
BMCBI
2007
13 years 7 months ago
2007
Background: Biomolecular networks dynamically respond to stimuli and implement cellular function. Understanding these dynamic changes is the key challenge for cell biologists. As ...
CHARME
2001
Springer
13 years 11 months ago
2001
Springer
The framework of this paper is the formal specification and proof of applications distributed on symmetric interconnection networks, e.g. the torus or the hypercube. The algorithms...
INFOCOM
1995
IEEE
13 years 11 months ago
1995
IEEE
A framework for adaptive bandwidth mana ement in ATM based networks is presented. +he central concept of this approach is an adaptive estimation of the aggregate effective bandwid...
SIGMOD
2011
ACM
12 years 10 months ago
2011
ACM
We are witnessing an exciting revival of interest in recursive Datalog queries in a variety of emerging application domains such as data integration, information extraction, netwo...
SIGSOFT
2007
ACM
14 years 8 months ago
2007
ACM
Finding flaws in security protocol implementations is hard. Finding flaws in the implementations of sensor network security protocols is even harder because they are designed to p...