1669 search results - page 39 / 334 » Modeling ODP Computational Specifications Using UML |
108
Voted
IFIP
2004
Springer
15 years 7 months ago
2004
Springer
Abstract The computational proof model of Bellare and Rogaway for cryptographic protocol analysis is complemented by providing a formal specification of the actions of the adversa...
118
Voted
ISORC
1999
IEEE
15 years 6 months ago
1999
IEEE
This paper deals with the automatic dependability analysis of systems designed using UML. An automatic transformations is defined for the generation of models to capture systems d...
130
click to vote
BIOINFORMATICS
2012
13 years 4 months ago
2012
Summary: The MolClass toolkit and data portal generates computational models from user-defined small molecule datasets based on structural features identified in hit and non-hit m...
131
Voted
ECOOPW
1998
Springer
15 years 6 months ago
1998
Springer
This paper explains the structure of a project repository, which enables you to trace business processes and business rules to the architecture and design of the software system. T...
123
click to vote
ECWEB
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Recently, a trend towards business processes in Business-toBusiness e-Commerce (B2B) is apparent. One of the most promising approaches is UN/CEFACT’s modeling methodolo...