4211 search results - page 137 / 843 » A formal approach to MASQ |
275
Voted
FSKD
2011
Springer
14 years 15 days ago
2011
Springer
—With the wide utilization of Petri nets, many researchers suggest that Petri nets should be reused and shared. Emerging the Semantic Web technologies, such as ontologies, can pl...
66
Voted
ECAI
2004
Springer
15 years 6 months ago
2004
Springer
This paper presents the engineering and development process of a software tool (APPROACH) that is designed for decentralised rotation planning for container barges in the port of R...
115
Voted
KBSE
2003
IEEE
15 years 6 months ago
2003
IEEE
We present an approach to managing formal models using Model Driven Architecture (MDA) technologies that delivers analysis techniques through integration with the design tools and...
112
Voted
KBS
2007
15 years 21 days ago
2007
The paper introduces and formalizes a distributed approach for the model-based monitoring of the execution of a plan, where concurrent actions are carried on by a team of mobile r...
93
Voted
IFIP8
2007
15 years 2 months ago
2007
Business Process Verification (BPV) is increasingly important in emerging BPM Systems. Although many approaches related to BPV exist, the gap between formal models defined in previ...