10159 search results - page 465 / 2032 » System Design Validation Using Formal Models |
147
Voted
BMCBI
2006
15 years 4 months ago
2006
Background: Gene regulation and metabolic reactions are two primary activities of life. Although many works have been dedicated to study each system, the coupling between them is ...
142
click to vote
ICECCS
2006
IEEE
15 years 11 months ago
2006
IEEE
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...
127
click to vote
AEI
2007
15 years 5 months ago
2007
Functional modeling is in use for the interpretation of the results of model based simulation of engineered systems for design analysis, enabling the automatic generation of a tex...
113
click to vote
KCAP
2009
ACM
15 years 11 months ago
2009
ACM
Readers interested in the context of an event covered in the news such as the dismissal of a lawsuit can benefit from easily finding out about the overall news situation, the lega...
138
click to vote
EDOC
2000
IEEE
15 years 9 months ago
2000
IEEE
Practical experience indicates that the definition of realworld workflow applications is a complex and error-prone process. Existing workflow management systems provide the means,...