2278 search results - page 219 / 456 » Specification Techniques for Automatic Performance Analysis ... |
174
click to vote
KDD
2009
ACM
16 years 7 months ago
2009
ACM
Email is one of the most prevalent communication tools today, and solving the email overload problem is pressingly urgent. A good way to alleviate email overload is to automatical...
174
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
Upper bounds on worst-case execution times, which are commonly called WCET, are a prerequisite for validating the temporal correctness of tasks in a real-time system. Due to the e...
198
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Microarray experimentation requires the application of complex analysis methods as well as the use of non-trivial computer technologies to manage the resultant large d...
204
click to vote
DASFAA
2011
IEEE
14 years 10 months ago
2011
IEEE
Bayesian network is a widely used tool for data analysis, modeling and decision support in various domains. There is a growing need for techniques and tools which can automatically...
198
click to vote
ECOOPW
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Software security has become more important than ever. Unfortunately, still now, the security of a software system is almost always retrofitted to an afterthought. When s...