103 search results - page 3 / 21 » Property-Based Methods for Collaborative Model Development |
AIME
1997
Springer
14 years 21 days ago
1997
Springer
To support paediatric cardiologists in prognostic assessment and treatment planning, a decision-theoretic network for congenital heart disease is being constructed. The network is...
WETICE
2005
IEEE
14 years 2 months ago
2005
IEEE
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
SIGSOFT
2011
ACM
13 years 3 months ago
2011
ACM
Developing complex distributed systems is a non-trivial task. It is even more difficult when the systems need to dynamically reconfigure the distributed functionalities or tasks...
OOIS
2001
Springer
14 years 29 days ago
2001
Springer
: This paper presents Reconciliation+, a tool-supported method which identifies overlaps between models of different object interactions expressed as UML sequence and/or collaborat...
BIBM
2009
IEEE
13 years 12 months ago
2009
IEEE
Recently, many computational methods for predicting protein-protein interaction (PPI) have been developed by utilizing domain-domain interaction or associated information. However...