4516 search results - page 81 / 904 » Automated System Design for Availability |
SP
2008
IEEE
15 years 4 months ago
2008
IEEE
We study formal security properties of a state-of-the-art protocol for secure file sharing on untrusted storage, in the automatic protocol verifier ProVerif. As far as we know, ...
ATAL
2005
Springer
14 years 11 months ago
2005
Springer
The paper provides an overview of the agent-based solutions developed by the Rockwell Automation company for the purposes of industrial control. Using agent-based manufacturing co...
CRV
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper presents a spatial-semantic modeling system featuring automated learning of object-place relations from an online annotated database, and the application of these relat...
BELL
2000
14 years 9 months ago
2000
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
BMCBI
2006
14 years 10 months ago
2006
Background: MannDB was created to meet a need for rapid, comprehensive automated protein sequence analyses to support selection of proteins suitable as targets for driving the dev...