2502 search results - page 168 / 501 » Using probabilistic model checking in systems biology |
151
click to vote
APSEC
2005
IEEE
16 years 2 days ago
2005
IEEE
In component-based software development, it is important to ensure interoperability between components based on their unambiguous semantic descriptions, in order to obtain a viabl...
192
click to vote
AGTIVE
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. Business process models describe workflows by a set of actions together with their ordering. When implementing business processes within a service-oriented architecture,...
141
click to vote
IJON
2007
15 years 6 months ago
2007
This paper presents a computational theory of developmental mental architectures for artificial and natural systems, motivated by neuroscience. The work is an attempt to approxim...
178
click to vote
SOFSEM
2007
Springer
16 years 17 days ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
201
click to vote
FAC
2008
15 years 6 months ago
2008
This paper describes the Mondex case study with UML class diagrams and restricting OCL constraints. The constraints have been formulated either as OCL class invariants or as OCL pr...