Sciweavers

2131 search results - page 174 / 427
» Multi-Agent System Development: Design, Runtime, and Analysi...
Sort
View
119
Voted
SIGDOC
1998
ACM
15 years 9 months ago
Documentation Integrity for Safety-Critical Applications: The COHERE Project
A key aspect of the COHERE project involves building an authoring system for documentation for safety-critical systems. Following a set of documentation integrity maxims, the proj...
David G. Novick, Joel Juillet
HICSS
2006
IEEE
131views Biometrics» more  HICSS 2006»
15 years 11 months ago
Design and Characterization of a Hardware Encryption Management Unit for Secure Computing Platforms
— Software protection is increasingly necessary for uses in commercial systems, digital content distributors, and military systems. The Secure Software (SecSoft) architecture is ...
Anthony J. Mahar, Peter M. Athanas, Stephen D. Cra...
GI
2003
Springer
15 years 10 months ago
An Integrated Approach to Survivability Analysis of Large Complex Critical Infrastructures
: The integrated approach for analysis of Large Complex Critical Infrastructures (LCCIs) to afford survivability aimed at preparing a Roadmap for Research and Development for criti...
Sandro Bologna, Thomas Beer
COMCOM
2008
72views more  COMCOM 2008»
15 years 5 months ago
Stochastic analysis of the interplay between object maintenance and churn
Due to the prevalence of peer dynamics (i.e., churn), object maintenance becomes a fundamental issue in peer-to-peer storage systems. Although quite a few prototypes have been des...
Di Wu, Ye Tian, Kam-Wing Ng, Anwitaman Datta
ICSE
2011
IEEE-ACM
14 years 9 months ago
Always-available static and dynamic feedback
Developers who write code in a statically typed language are denied the ability to obtain dynamic feedback by executing their code during periods when it fails the static type che...
Michael Bayne, Richard Cook, Michael D. Ernst