623 search results - page 56 / 125 » Declarative Network Verification |
NETWORKING
2010
13 years 10 months ago
2010
Abstract--Malicious and misconfigured nodes can inject incorrect state into a distributed system, which can then be propagated system-wide as a result of normal network operation. ...
HIPC
2007
Springer
14 years 20 days ago
2007
Springer
First Come First Served (FCFS) is a policy that is accepted for implementing fairness in a number of application domains such as scheduling in Operating Systems, scheduling web req...
IJNSEC
2006
13 years 8 months ago
2006
An insider-robust approach to file integrity verification is developed using interacting strata of mobile agents. Previous approaches relied upon monolithic architectures, or more...
ICDCSW
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper presents Contory, a middleware specifically deployed to support provisioning of context information on mobile devices such as smart phones. Contory integrates multiple...
IIE
2007
13 years 8 months ago
2007
The “digital society” provides not only with new technology, but also with new concepts. Information plays a central role and becomes a valuable good, but knowledge cannot be r...