14331 search results - page 67 / 2867 » On the modeling and analysis of obligations |
180
Voted
CHARME
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Model checking is a formal technique for automatically verifying that a finite-state model satisfies a temporal property. In model checking, generally Binary Decision D...
109
click to vote
WSC
2007
15 years 4 months ago
2007
Models of real world systems are being increasingly generated from data that describes the behaviour of systems. Data mining techniques, such as Artificial Neural Networks (ANN),...
107
click to vote
GG
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Triple graph transformation has become an important approach for model transformations. Triple graphs consist of a source, a target and a connection graph. The correspond...
119
click to vote
WSC
1997
15 years 3 months ago
1997
A framework for performance analysis of parallel discrete event simulators is presented. The centerpiece of this framework is a platform-independent Workload Specification Langua...
SIGCOMM
1998
ACM
15 years 6 months ago
1998
ACM
Recently, a parametric State Reward Markov Model SRMM p has been developed for the reliability and availability analysis of self-healing SONET mesh networks 2 . In this paper, w...