304 search results - page 24 / 61 » Verification of Timed Systems Using POSETs |
EUROMICRO
2000
IEEE
13 years 11 months ago
2000
IEEE
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
TSE
2008
13 years 7 months ago
2008
Timed Automata have proven to be useful for specification and verification of real-time systems. System design using Timed Automata relies on explicit manipulation of clock variabl...
MCS
2007
Springer
14 years 1 months ago
2007
Springer
The serial fusion of multiple biometric traits for personal identity verification has been poorly investigated so far. However, this approach exhibits some potential advantages, fo...
FMCO
2008
Springer
13 years 9 months ago
2008
Springer
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
FDL
2004
IEEE
13 years 11 months ago
2004
IEEE
This paper proposes a formal verification methodology which is smoothly integrated with component-based system-level design, using a divide and conquer approach. The methodology a...