1188 search results - page 170 / 238 » Testing Semantics: Connecting Processes and Process Logics |
127
click to vote
CAISE
2006
Springer
15 years 7 months ago
2006
Springer
Enterprise modeling involves multiple domains of expertise: requirements engineering, business process modeling, IT development etc. Our experience has shown that hierarchical ente...
128
click to vote
ICML
1999
IEEE
15 years 8 months ago
1999
IEEE
Most research in text classification to date has used a “bag of words” representation in which each feature corresponds to a single word. This paper examines some alternative ...
171
Voted
TACAS
2012
Springer
13 years 11 months ago
2012
Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
149
click to vote
CVPR
2003
IEEE
16 years 6 months ago
2003
IEEE
This paper presents a novel method to model and recognize human faces in video sequences. Each registered person is represented by a low-dimensional appearance manifold in the amb...
130
click to vote
AINA
2009
IEEE
15 years 9 months ago
2009
IEEE
-- Most network intruders launch their attacks through stepping-stones to reduce the risks of being discovered. To uncover such intrusions, one prevalent, challenging, and critical...