963 search results - page 67 / 193 » Formal Analysis of BPMN Models Using Event-B |
147
click to vote
ICCS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Morphisms constitute a general tool for modelling complex relationships between mathematical objects in a disciplined fashion. In Formal Concept Analysis (FCA), morphisms...
126
click to vote
BMCBI
2004
15 years 1 months ago
2004
Background: Hidden Markov Models (HMMs) have proven very useful in computational biology for such applications as sequence pattern matching, gene-finding, and structure prediction...
120
click to vote
COMCOM
2007
15 years 1 months ago
2007
This paper studies the system parameters that affect the total cost of managing the multicast group on a router. A Petri net model is first proposed to describe the states and t...
117
click to vote
CI
1999
15 years 1 months ago
1999
In this paper we develop a formalization of semantic relations that facilitates efficient implementations of relations in lexical databases or knowledge representation systems usi...
107
click to vote
DAC
2008
ACM
16 years 2 months ago
2008
ACM
This paper introduces an accurate and efficient electrical analysis of logic gates modeled as Multiple Voltage Threshold Models (MVTM) loaded by the associated interconnect. MVTMs...