4636 search results - page 394 / 928 » Modelling and Validation with VipTool |
127
click to vote
PTS
2007
15 years 6 months ago
2007
In a component oriented approach, components are designed, developed and validated in order to be widely used. However one cannot always foresee which specific uses will be made o...
122
Voted
WWW
2006
ACM
16 years 5 months ago
2006
ACM
In this paper we introduce our multi metamodel process ontology (m3po), which is based on various existing reference models and languages from the workflow and choreography domain...
144
click to vote
RECOMB
2006
Springer
16 years 5 months ago
2006
Springer
Abstract. A probabilistic graphical model is developed in order to detect the dependent evolution between different sites in biological sequences. Given a multiple sequence alignme...
133
click to vote
ICFEM
2009
Springer
15 years 11 months ago
2009
Springer
It is believed that reusability in formal development should reduce the time and cost of formal modelling within a production environment. Along with the ability to reuse formal mo...
141
click to vote
BDIM
2008
IEEE
15 years 11 months ago
2008
IEEE
—This paper defines an approach to maintain the work of business process analysts aligned with the work of UI designers. With this approach, models are derived from each other an...