39 search results - page 3 / 8 » An Approach for Synthesis Petri Nets for Modeling and Verify... |
TSMC
2010
13 years 14 days ago
2010
Computer system reliability is conventionally modeled and analyzed using techniques such as fault tree analysis (FTA) and reliability block diagrams (RBD), which provide static rep...
SAC
2008
ACM
13 years 5 months ago
2008
ACM
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...
ICSOC
2007
Springer
13 years 12 months ago
2007
Springer
Model checking Web service behaviour has remained limited to checking safety and liveness properties. However when viewed as a multi agent system, the system composition can be ana...
AICT
2005
IEEE
13 years 11 months ago
2005
IEEE
Programming on the Web enlights some classical problems encountered on large distributed applications with a particular emphasis on dynamic changes. In that context, we are intere...
IEEESCC
2005
IEEE
13 years 11 months ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...