7366 search results - page 580 / 1474 » Development of the Information Systems Implementation Resear... |
196
click to vote
ASPLOS
2006
ACM
16 years 28 days ago
2006
ACM
Worms, viruses, and other malware can be ticking bombs counting down to a specific time, when they might, for example, delete files or download new instructions from a public we...
145
click to vote
TACS
1997
Springer
15 years 11 months ago
1997
Springer
We present a type-based technique for the veri cation of deadlock-freedom in asynchronous concurrent systems. Our general approach is to start with a simple interaction category, i...
154
click to vote
ELPUB
1999
ACM
15 years 11 months ago
1999
ACM
: The SuperJournal research project evaluated the usage within UK academia of a set of electronic journals made available through a bespoke electronic journal application via the W...
159
click to vote
SIGIR
2004
ACM
16 years 11 days ago
2004
ACM
Although text categorization is a burgeoning area of IR research, readily available test collections in this field are surprisingly scarce. We describe a methodology and system (...
179
click to vote
SCAI
2001
15 years 8 months ago
2001
In this paper we argue that RoboCup is a useful tool for the teaching of AI in undergraduate education. We provide case studies, from two Swedish universities, of how RoboCup based...