811 search results - page 108 / 163 » Integrating Formal Description Techniques |
108
click to vote
JSS
2010
14 years 6 months ago
2010
Managing the architectural description (AD) of a complex software system and maintaining consistency among the different models is a demanding task. To understand the underlying p...
ACSAC
2002
IEEE
15 years 4 months ago
2002
IEEE
Security analysis should take advantage of a reliable knowledge base that contains semantically-rich information about a protected network. This knowledge is provided by network m...
ICIP
2003
IEEE
16 years 1 months ago
2003
IEEE
Digital visual libraries have currently available huge amounts of content in unstructured, nonindexed form. Since these collections keep growing fast, retrieving specific images i...
CCE
2005
14 years 11 months ago
2005
Microarray experiments are emerging as one of the main driving forces in modern biology. By allowing the simultaneous monitoring of the expression of the entire genome for a given...
107
click to vote
WISE
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We present a goal-based approach for visualizing and browsing the search space of available Web services. A goal describes an obthat a client wants to solve by using Web ...