1796 search results - page 181 / 360 » An Approach to Compositional Model Checking |
130
Voted
FDL
2004
IEEE
15 years 4 months ago
2004
IEEE
This paper proposes a formal verification methodology which is smoothly integrated with component-based system-level design, using a divide and conquer approach. The methodology a...
100
Voted
CMSB
2007
Springer
15 years 6 months ago
2007
Springer
We explore some presynaptic mechanisms of the calyx of Held synapse through a stochastic model. The model, drawn from a kinetic approach developed in literature, exploits process c...
SIES
2007
IEEE
15 years 6 months ago
2007
IEEE
The properties of a domain oriented modelling approach or language are determined by the dominant semantics of the domain. A significant subclass that needs particular attention,...
123
Voted
IJIPT
2006
15 years 15 days ago
2006
Service-oriented development offers a novel architectural approach that addresses crucial characteristics of modern business process development such as dynamic evolution, intra- ...
104
click to vote
SAC
2008
ACM
14 years 12 months ago
2008
ACM
Networked value constellations are collections of enterprises that jointly satify complex consumer needs. Increasingly, such needs are satisfied by e-services, i.e. commercial ser...