807 search results - page 31 / 162 » Modeling Hybrid Domains Using Process Description Language |
100
click to vote
WWW
2006
ACM
16 years 3 months ago
2006
ACM
In this paper we introduce our multi metamodel process ontology (m3po), which is based on various existing reference models and languages from the workflow and choreography domain...
123
click to vote
CAV
2005
Springer
15 years 8 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
CAISE
2005
Springer
15 years 8 months ago
2005
Springer
Today ontology languages present a syntax which looks not “natural” and are lacking of built-in primitives (i.e., modeling notions) domain experts are familiar with. In this pa...
103
click to vote
KIVS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The simulation of large-scale inter-domain networks is useful for various aspects of network planning and management. It is also a challenge due to its scalability proble...
117
Voted
DATE
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...