860 search results - page 120 / 172 » A Process Algebra Based Verification of a Production System |
MVA
2007
13 years 10 months ago
2007
We took the face, especially eye or eye gaze, into consideration for discussing the non-verbal interface media. We first proposed a passive eye-camera system based on the facial i...
JAR
2000
13 years 8 months ago
2000
Cryptographic algorithms play a key role in computer security and the formal analysis of their robustness is of utmost importance. Yet, logic and automated reasoning tools are seld...
ICSM
2002
IEEE
14 years 1 months ago
2002
IEEE
Testing for software security is a lengthy, complex and costly process. Currently, security testing is done using penetration analysis and formal verification of security kernels....
SSR
2001
13 years 10 months ago
2001
A quantitative study has shown that frame technology [1] supported by Fusion toolset can lead to reduction in time-tomarket (70%) and project costs (84%). Frame technology has bee...
HYBRID
1999
Springer
14 years 1 months ago
1999
Springer
Continuous system dynamics can be described by, possibly large, systems of di erential equations. These can be either ordinary di erential equations (ODEs) or contain algebraic con...