naval postgraduate school monterey ca dept of computer science, 2001
This paper describes a draft of visual notation for meta-programming. The main suggestions of this work include specialized data structures (lists, tuples,...
naval postgraduate school monterey ca dept of computer science, 2004
In model-based development of reactive systems, statecharts are widely used for formal design of system behavior, and provide a sound basis for analysis and...
new mexico state univ las cruces dept of computer science, 2003
UFO is a framework for constructing dynamic analysis tools that require varying degrees of access and control over program executions. UFO combines run time...
naval postgraduate school monterey ca dept of computer science, 2007
Evaluation of high assurance secure computer systems requires that they be designed, developed, verified and tested using rigorous processes and formal...
naval postgraduate school monterey ca dept of computer science, 2006
This paper presents some concepts, principles, and techniques for automated testing of real-time reactive software systems based on attributed event grammar...
naval postgraduate school monterey ca dept of computer science, 2005
This paper suggests an approach to automatic scenario generation from environment models for testing of real-time reactive systems. The behavior of the system...
naval postgraduate school monterey ca dept of computer science, 2008
Covert channels can result in unauthorized information flows when exploited by malicious software. To address this problem, we present a precise, formal...
Our research group has been broadly studying the use of deliberate deception by software to foil attacks on information systems. This can provide a second line...
naval postgraduate school monterey ca dept of computer science, 2007
In the authors' first report on the Sun Java Real-Time System (RTS), they concluded that it is preferable to use real-time Java threads that use heap memory...
space and naval warfare systems center san diego ca, 2002
The distributed command and control environment includes limited computer resources and numerous mission critical applications competing for these scarce...
Publication gouvernementale
Filtrer vos résultats
Opération réussie
L’élément a été sauvegardé.
Opération réussie
Cet élément a été retiré.
Erreur
Vous avez dépassé le nombre maximal de 100 résultats sauvegardés.
Erreur
Impossible de sauvegarder l’élément. Veuillez réessayer. Si le problème persiste, il pourrait y avoir un problème avec l’élément.
Erreur
Impossible de supprimer l’article demandé. Veuillez réessayer plus tard.