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
This is our third report on real-time Java. Our previous work to develop and evaluate the Shadow Design Pattern was couched in the context of real-time garbage...
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...
naval postgraduate school monterey ca dept of computer science, 2006
Global ballistic missile defense (BMD) is a new type of warfare that is characterized by its fast tempo and little force movement. Time budgets for executing...
naval postgraduate school monterey ca dept of computer science, 2005
This report describes the application of formal specifications and run-time monitoring within the U.S. Ballistic Missile Defense Advanced Battle Manager (ABM)...
naval postgraduate school monterey ca dept of computer science, 2006
In this report, we formalize the self-stabilization problem as it pertains to the C2BMC, in addition to highlighting some of key features of the C2BMC that...
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.