713 search results - page 45 / 143 » Reasoning with Projected Contours |
LEGE
2003
13 years 11 months ago
2003
The purpose of this paper is to describe the work in progress related to the customisation, the trial and the evaluation of an innovative e-learning platform for manager upgrade i...
AIS
2006
Springer
13 years 10 months ago
2006
Springer
The goal of this paper is to offer, in straight forward terms, some practical insight into distributed data surveillance. I will use the software project Carnivore as a case study....
INFSOF
2008
13 years 10 months ago
2008
Background: Software Process Improvement (SPI) is intended to improve software engineering, but can only be effective if used. To improve SPI's uptake, we should understand w...
CADE
2012
Springer
12 years 11 days ago
2012
Springer
Abstract. This paper describes a novel decision procedure for quantifierfree linear integer arithmetic. Standard techniques usually relax the initial problem to the rational domai...
CC
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. It is difficult to develop style-preserving source-to-source transformation engines for C and C++. The main reason is not the complexity of those languages, but the use o...