5604 search results - page 356 / 1121 » Becoming Increasingly Reliable |
227
click to vote
CONCUR
1991
Springer
15 years 10 months ago
1991
Springer
Abstract. A syntax-directed formal system for the development of totally correct programs with respect to an (unfair) shared-state parallel programming language is proposed. The pr...
174
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
As computerized agents are becoming more and more common, e-commerce becomes a major candidate for incorporation of automated agents. Thus, it is vital to understand how people de...
189
Voted
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Machine learning has become a valuable tool for detecting and preventing malicious activity. However, as more applications employ machine learning techniques in adversarial decisi...
186
Voted
CSCWD
2008
Springer
15 years 8 months ago
2008
Springer
With an increasing amount of semi-structured data XML has become important. XML documents may contain private information that cannot be shared by all user communities. Therefore,...
172
click to vote
EVOW
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper describes a memory enhanced evolutionary algorithm (EA) approach to the dynamic job shop scheduling problem. Memory enhanced EAs have been widely investigated ...