2763 search results - page 99 / 553 » The Dangerous 'All' in Specifications |
ACE
2004
13 years 10 months ago
2004
As part of a study of the teaching of Information and Communications Technology in Australian universities, employers were surveyed in 2001 to find out how satisfied they were wit...
ACL
1996
13 years 10 months ago
1996
The development of natural language processing (NLP) systems that perform machine translation (MT) and information retrieval (IR) has highlighted the need for the automatic recogn...
CCS
2010
ACM
13 years 9 months ago
2010
ACM
IPsec allows a huge amount of flexibility in the ways in which its component cryptographic mechanisms can be combined to build a secure communications service. This may be good fo...
CAL
2008
13 years 9 months ago
2008
This article proposes a novel parallel, hardware-oriented deadlock detection algorithm for multiprocessor system-on-chips. The proposed algorithm takes full advantage of hardware ...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. We are concerned with demonstrating productivity of specifications of infinite streams of data, based on orthogonal rewrite rules. In general, this property is undecidabl...