752 search results - page 52 / 151 » Finite-State Modeling, Analysis and Testing of System Vulner... |
102
click to vote
ICIP
2005
IEEE
16 years 3 months ago
2005
IEEE
A perceptual human-machine interface based on visual appearence of hand movements is presented. Gestures are defined as the temporal evolution of 3D poses the of user's hand....
112
click to vote
TOOLS
2008
IEEE
15 years 8 months ago
2008
IEEE
In model-based testing, one of the biggest decisions taken before modelling is the modelling language and the model analysis tool to be used to model the system under investigation...
119
click to vote
KBSE
2008
IEEE
15 years 8 months ago
2008
IEEE
We present a novel approach for black-box testing of database management systems (DBMS) using the Alloy tool-set. Given a database schema and an SQL query as inputs, our approach ...
110
click to vote
ATVA
2008
Springer
15 years 4 months ago
2008
Springer
1 : Logic in Specification and Verification (abstract) Natarajan Shankar (SRI) Session Chair : Sungdeok Cha 12 : 00 13 : 00 Lunch 13 : 00 15 : 00 2 : Boolean Modeling of Cell Biolo...
143
click to vote
IANDC
2006
15 years 2 months ago
2006
Probabilistic verification of continuous-time stochastic processes has received increasing attention in the model-checking community in the past five years, with a clear focus on ...