375 search results - page 47 / 75 » Making Abstract Machines Less Abstract |
COMPUTER
2008
14 years 10 months ago
2008
higher, more appropriate, level of abstraction. It still entails writing programs, usually by using symbols, keywords, and operational instructions to tell the computer what we wan...
127
click to vote
ALT
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We analyze the expected cost of a greedy active learning algorithm. Our analysis extends previous work to a more general setting in which different queries have differe...
PLDI
2009
ACM
15 years 5 months ago
2009
ACM
Decentralized information flow control (DIFC) is a promising model for writing programs with powerful, end-to-end security guarantees. Current DIFC systems that run on commodity ...
AINA
2004
IEEE
15 years 2 months ago
2004
IEEE
Abstract-- As intrusion detection essentially can be formulated as a binary classification problem, it thus can be solved by an effective classification technique-Support Vector Ma...
IPPS
1998
IEEE
15 years 2 months ago
1998
IEEE
Abstract. Several computing environments including wide area networks and nondedicated networks of workstations are characterized by frequent unavailability of the participating ma...