2435 search results - page 56 / 487 » GPSS - 40 years of development |
PODC
2003
ACM
14 years 3 months ago
2003
ACM
The most significant strategic development in information technology over the past year has been ‘trusted computing’. This is popularly associated with Microsoft’s ‘Pallad...
CAV
2008
Springer
14 years 2 days ago
2008
Springer
This is the first system description of the Barcelogic SMT solver, which implements all techniques that our group has been developing over the last four years as well as state-of-t...
ACE
2003
13 years 11 months ago
2003
The availability of technology has seen the development of online asynchronous discussion boards for use in teaching and learning. This paper explores the use of this medium withi...
TREC
2003
13 years 11 months ago
2003
This paper describes a new version of the DIOGENE Question Answering (QA) system developed at ITC-Irst. The recent updates here presented are targeted to the participation to TREC...
SIGUCCS
2000
ACM
14 years 2 months ago
2000
ACM
Wabash College has initiated an innovative strategy to solve technology staffing problems experienced by many small undergraduate liberal arts colleges. This strategy targets stud...