Sciweavers

3294 search results - page 516 / 659
» Taxonomy of Process Modeling Languages
Sort
View
116
Voted
FM
2009
Springer
106views Formal Methods» more  FM 2009»
15 years 10 months ago
Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way
Statecharts and Petri nets are two popular visual formalisms for modelling complex systems that exhibit concurrency. Both formalisms are supported by various design tools. To enabl...
Rik Eshuis
135
Voted
ICIW
2007
IEEE
15 years 10 months ago
Web Service Composition Approaches: From Industrial Standards to Formal Methods
Abstract— Composition of web services is much studied to support business-to-business and enterprise application integration in e-Commerce. Current web service composition approa...
Maurice H. ter Beek, Antonio Bucchiarone, Stefania...
ESTIMEDIA
2007
Springer
15 years 9 months ago
Data-Parallel Code Generation from Synchronous Dataflow Specification of Multimedia Applications
Embedded software design for MPSoC needs parallel programming. Popular programming languages such as C and C++ are not adequate for initial specification since they are designed f...
Seongnam Kwon, Choonseung Lee, Soonhoi Ha
125
Voted
LADS
2007
Springer
15 years 9 months ago
Specifying Interaction Space Components in a FIPA-ACL Interaction Framework
Despite the acceptance of FIPA-ACL as a standard for agent communications, there exist a gap between its specification and infrastructures to support interactions among agents. The...
Ernesto Germán, Leonid Sheremetov
ANSS
2006
IEEE
15 years 9 months ago
A Simulation and Decision Framework for Selection of Numerical Solvers in
Selecting the right numerical solver or the most appropriate numerical package for a particular simulation problem it is increasingly difficult for users without an extensive math...
Peter Bunus