648 search results - page 77 / 130 » Collaborative Modeling - A Design Science Approach |
GI
2007
Springer
14 years 2 months ago
2007
Springer
: Test-case generation with model-checkers is a promising field of research in software testing. Model-checker based approaches offer many advantages: They are fully automated, the...
KCAP
2009
ACM
14 years 5 months ago
2009
ACM
Curating information from the literature for storage in databases is a crucial task in biological research, and many groups assign a particular person or team to that process. We ...
HICSS
2005
IEEE
14 years 4 months ago
2005
IEEE
This paper shows how XML can be used for static and dynamic analysis of architectures. Our analysis is based on the distinction between symbolic and semantic models of architectur...
WEBI
2009
Springer
14 years 5 months ago
2009
Springer
Due to the increasing demands for network security, distributed intrusion detection has become a hot research topic in computer science. However, the design and maintenance of the...
HICSS
2007
IEEE
14 years 5 months ago
2007
IEEE
This paper presents a quantitative threat modeling method, the Threat Modeling method based on Attack Path Analysis (T-MAP), which quantifies security threats by calculating the t...