112 search results - page 14 / 23 » Towards a Petri Net Semantics for Membrane Systems |
WWW
2004
ACM
14 years 8 months ago
2004
ACM
This paper discusses the possibilities of the Semantic Web technologies in both annotating services and delivering relevant services to end-users. We propose an ontologybased mech...
CONCUR
2001
Springer
14 years 3 days ago
2001
Springer
Bounded model checking has been recently introduced as an efficient verification method for reactive systems. In this work we apply bounded model checking to asynchronous systems....
JWSR
2007
13 years 7 months ago
2007
: A major challenge for Service–oriented Computing is how to discover and compose (Web) services to build complex applications. We present a matchmaking system that exploits both...
WSC
2000
13 years 9 months ago
2000
Simulation is used in the design process of dynamic systems. The results of simulation are employed for validating a model, and they are helpful for the improvement of the design ...
TII
2008
13 years 7 months ago
2008
Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...