1492 search results - page 256 / 299 » Automatic Software Model Checking Using CLP |
93
Voted
ISSTA
2004
ACM
15 years 3 months ago
2004
ACM
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...
85
Voted
ECCV
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. In spite of over two decades of intense research, illumination and pose invariance remain prohibitively challenging aspects of face recognition for most practical applica...
OTM
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. This article presents a proposal for managing privacy in pervasive environments. These environments are capable of sensing personal information anywhere and at anytime. T...
CORR
2007
Springer
14 years 9 months ago
2007
Springer
— In order to optimize the costs and time of design of the new products while improving their quality, concurrent engineering is based on the digital model of these products, the...
107
click to vote
SP
2010
IEEE
15 years 1 months ago
2010
IEEE
—To handle the growing flood of malware, security vendors and analysts rely on tools that automatically identify and analyze malicious code. Current systems for automated malwar...