759 search results - page 89 / 152 » Identifying Modeling Errors in Signatures by Model Checking |
PERCOM
2010
ACM
13 years 7 months ago
2010
ACM
In autonomic networks, the self-configuration of network entities is one of the most desirable properties. In this paper, we show how formal verification techniques can verify the ...
CAISE
2003
Springer
14 years 2 months ago
2003
Springer
This paper describes a validation approach of a socio-technical design support system using data mining techniques. Bayesian Belief Networks (BBN) are used to assess human error an...
C3S2E
2008
ACM
13 years 11 months ago
2008
ACM
Creating and editing source code are tedious and error-prone processes. One important source of errors in editing programs is the failure to correctly adapt a block of copied code...
ADAEUROPE
2005
Springer
14 years 2 months ago
2005
Springer
This paper describes the methodology used to add nonintrusive system-level fault tolerance to an electronic throttle controller. The original model of the throttle controller is a...
JSW
2007
13 years 9 months ago
2007
— BPEL (Business Process Execution Language) as a de-facto standard for web service orchestration has drawn particularly attention from researchers and industries. BPEL is a semi...