2730 search results - page 187 / 546 » An Abstract Model for Process Mediation |
164
click to vote
QEST
2008
IEEE
16 years 23 days ago
2008
IEEE
CaVi provides a uniform interface to state-of-the-art simulation methods and formal verification methods for wireless sensor network. Simulation is suitable to examine the behavi...
166
click to vote
KBSE
2003
IEEE
15 years 11 months ago
2003
IEEE
Mathematical modeling and simulation of complex physical systems are emerging as key technologies in engineering. Modern approaches to physical system simulation allow users to sp...
167
click to vote
ACIIDS
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract. A genetic algorithm is used to learn a non-deterministic Petri netbased model of non-linear gene interactions, or statistical epistasis. Petri nets are computational mode...
132
click to vote
TIP
2008
15 years 6 months ago
2008
Abstract--Active models have been widely used in image processing applications. A crucial stage that affects the ultimate active model performance is initialization. This paper pro...
188
click to vote
ICFEM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This paper shows how Ptolemy II discrete-event (DE) models can be formally analyzed using Real-Time Maude. We formalize in Real-Time Maude the semantics of a subset of hi...