2282 search results - page 221 / 457 » Active property checking |
161
click to vote
IVC
2000
15 years 6 months ago
2000
A successful face recognition system calculates similarity of face images based on the activation of multiscale and multiorientation Gabor kernels, but without utilizing any stati...
176
click to vote
DSN
2008
IEEE
16 years 21 days ago
2008
IEEE
Many threats that plague today’s networks (e.g., phishing, botnets, denial of service attacks) are enabled by a complex ecosystem of attack programs commonly called malware. To ...
179
click to vote
WEBI
2007
Springer
16 years 10 days ago
2007
Springer
Growth in the mobile services industry has remarkably increased in the number of mobile services provided, and present methods of service provision have proven insufficient to gui...
185
click to vote
ECRTS
2006
IEEE
16 years 9 days ago
2006
IEEE
At early stages in the design of real-time embedded applications, the timing attributes of the computational activities are often incompletely specified or subject to changes. Lat...
163
click to vote
EDOC
2006
IEEE
16 years 9 days ago
2006
IEEE
The correctness of business process models is of paramount importance for the application on an enterprise level. A severe problem is that several languages for business process m...