256 search results - page 36 / 52 » Noetherian Spaces in Verification |
98
Voted
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
This paper investigates software agents testing, and in particular how to automate test generation. We propose a novel approach, which takes advantage of agent interaction ontolog...
109
click to vote
ASAP
2007
IEEE
15 years 3 months ago
2007
IEEE
This paper presents the enhancement of an ASIP’s floating point performance by coupling of a co-processor and adding of special instructions. Processor hardware modifications an...
100
click to vote
LREC
2008
15 years 3 months ago
2008
This paper presents the results of the NEOLOGOS project: a children database and an optimized adult database for the French language. A new approach was adopted for the collection...
100
click to vote
JUCS
2006
15 years 1 months ago
2006
Abstract: We present two probabilistic leader election algorithms for anonymous unidirectional rings with FIFO channels, based on an algorithm from Itai and Rodeh [Itai and Rodeh 1...
111
click to vote
CACM
2004
15 years 1 months ago
2004
Darknets are often proposed to monitor for anomalous, externally sourced traffic, and require large, contiguous blocks of unused IP addresses - not always feasible for enterprise ...