Sciweavers

5414 search results - page 331 / 1083
» Exploratory Model Building
Sort
View
KBSE
2005
IEEE
16 years 10 days ago
A threat-driven approach to modeling and verifying secure software
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...
Dianxiang Xu, Kendall E. Nygard
GCC
2005
Springer
16 years 8 days ago
A Conceptual Modeling Approach to Virtual Organizations in the Grid
One of the key problems with virtual organizations in the context of the (Semantic) Grid is we don’t know how to describe the components used in virtual organizations because the...
William Song, Xiaoming Li
SIGIR
2004
ACM
16 years 5 days ago
Probabilistic model for contextual retrieval
Contextual retrieval is a critical technique for facilitating many important applications such as mobile search, personalized search, PC troubleshooting, etc. Despite of its impor...
Ji-Rong Wen, Ni Lao, Wei-Ying Ma
UML
2004
Springer
16 years 3 days ago
Behavioral Domain Analysis - The Application-Based Domain Modeling Approach
Being part of domain engineering, domain analysis enables identifying domains and capturing their ontologies in order to assist and guide system developers to design domain-specifi...
Iris Reinhartz-Berger, Arnon Sturm
CW
2003
IEEE
16 years 1 days ago
Development of a recommendation system with multiple subjective evaluation process models
Current BtoC recommendation services utilize consumers’ purchased log as criteria for selecting information, yet it includes little information of the reason why he bought the i...
Emi Yano, Emi Sueyoshi, Isao Shinohara, Toshikazu ...