535 search results - page 30 / 107 » Formalization of Legislative Documents Based on a Functional... |
ACSAC
2003
IEEE
14 years 1 months ago
2003
IEEE
1 DOD Joint Vision 2020 (JV2020) is the integrated multi-service planning document for conduct among coalition forces of future warfare. It requires the confluence of a number of k...
WWW
2007
ACM
14 years 9 months ago
2007
ACM
Often scientists seek to search for articles on the Web related to a particular chemical. When a scientist searches for a chemical formula using a search engine today, she gets ar...
KBSE
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...
ISSRE
2000
IEEE
14 years 26 days ago
2000
IEEE
The Unified Modeling Language, UML, is the objectoriented notation adopted as the standard for objectoriented Analysis and Design by the Object Management Group. This paper report...
POST
2012
12 years 4 months ago
2012
Provenance is an increasing concern due to the revolution in sharing and processing scientific data on the Web and in other computer systems. It is proposed that many computer sys...