3742 search results - page 707 / 749 » On the Use of Formal Techniques for Validation |
151
click to vote
SIBGRAPI
2006
IEEE
16 years 4 days ago
2006
IEEE
Recent statistics show that breast cancer is a major cause of death among women in all of the world. Hence, early diagnostic with Computer Aided Diagnosis (CAD) systems is a very ...
211
click to vote
JIT
2004
Springer
15 years 11 months ago
2004
Springer
Thing-oriented programming (TP) is an emerging programming model which overcomes some of the limitations of current practice in software development in general and of object-orient...
143
click to vote
SIGCOMM
2003
ACM
15 years 11 months ago
2003
ACM
Launching a denial of service (DoS) attack is trivial, but detection and response is a painfully slow and often a manual process. Automatic classification of attacks as single- o...
186
click to vote
CIKM
2009
Springer
15 years 10 months ago
2009
Springer
This paper addresses the concept of Blogger-Centric Contextual Advertising, which refers to the assignment of personal ads to any blog page, chosen in according to bloggers' ...
156
click to vote
ASPLOS
2008
ACM
15 years 8 months ago
2008
ACM
Power delivery, electricity consumption, and heat management are becoming key challenges in data center environments. Several past solutions have individually evaluated different ...