746 search results - page 63 / 150 » Formal Analysis of UML-Based Designs |
168
click to vote
DMDW
2003
15 years 5 months ago
2003
Geographic Information Systems (GIS) showed their insufficiencies in front of complex requests for decision-makers. Resulting of the association of the databases and the decision-m...
125
click to vote
EUROCRYPT
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. We present a formalism for the analysis of key-exchange protocols that combines previous definitional approaches and results in a definition of security that enjoys som...
132
click to vote
INFSOF
2006
15 years 4 months ago
2006
Discrete EVent Systems Specification (DEVS) formalism supports specification of discrete event models in a hierarchical modular manner. This paper proposes a DEVS modeling languag...
140
click to vote
JUCS
2008
15 years 4 months ago
2008
: Prediction of the quality attributes of software architectures requires technologies that enable the application of analytic theories to component models. However, available anal...
113
click to vote
PRIB
2009
Springer
15 years 10 months ago
2009
Springer
Discovery of molecular markers for efficient identification of living organisms remains a challenge of high interest. The diversity of species can now be observed in details with ...