2588 search results - page 367 / 518 » Engineering Systems Which Generate Emergent Functionalities |
161
click to vote
ENTCS
2006
15 years 4 months ago
2006
We describe an automatic complexity analysis mechanism for programs extracted from proofs carried out with the proof assistant Coq. By extraction, we mean the automatic generation...
167
click to vote
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
Java bug finders perform static analysis to find implementation mistakes that can lead to exploits and failures; Java compilers perform static analysis for optimization. If Java...
129
click to vote
SAINT
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper proposes a person-centered approach for personal task management in which people can decide management of their tasks according to their environments including their su...
172
click to vote
ACISICIS
2008
IEEE
15 years 10 months ago
2008
IEEE
In recent years, many Mobile Payment (MP) schemes have been proposed and used in practise. However, a prerequisite for extended acceptance and adoption of MP technologies is to de...
125
click to vote
APGV
2004
ACM
15 years 9 months ago
2004
ACM
We introduce the concept of vision-realistic rendering – the computer generation of synthetic images that incorporate the characteristics of a particular individual’s entire o...