2004 search results - page 213 / 401 » Comparison of Model Checking Tools for Information Systems |
245
click to vote
FGR
2011
IEEE
14 years 10 months ago
2011
IEEE
— In this paper we propose a method that exploits 3D motion-based features between frames of 3D facial geometry sequences for dynamic facial expression recognition. An expressive...
155
click to vote
IM
2003
15 years 7 months ago
2003
: The network management area has some proposals to use XML to encode information models and managed object instances. In this paper we present a solution to dynamically create SNM...
198
click to vote
SAC
2002
ACM
15 years 6 months ago
2002
ACM
Avoidance and discovery of security vulnerabilities in information systems requires awareness of typical risks and a good understanding of vulnerabilities and their exploitations....
170
click to vote
SIMULATION
1998
15 years 6 months ago
1998
Setting up a simulation model is more than writing down state equations and running them on a computer. A lot of conceptual information about the physics and engineering aspects o...
170
click to vote
IFM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...