7576 search results - page 225 / 1516 » UNIX as an Application Program |
147
click to vote
AI
1998
Springer
15 years 5 months ago
1998
Springer
We argue that the situation calculus is a natural formalism for representing and reasoning about control and strategic information. As a case study, in this paper we provide a sit...
161
click to vote
IJPRAI
2010
15 years 2 months ago
2010
This paper investigates what kinds of information are necessary and sufficient to design and evaluate image processing software programs and proposes a representation of these inf...
142
click to vote
ASPLOS
2008
ACM
15 years 7 months ago
2008
ACM
Industry vendors hesitate to disseminate proprietary applications to academia and third party vendors. By consequence, the benchmarking process is typically driven by standardized...
173
click to vote
ACMSE
2005
ACM
15 years 7 months ago
2005
ACM
The popularity of mobile devices has propelled the development of many useful location-aware applications. However, the heterogeneity of mobile devices necessitates that the softw...
148
click to vote
PLDI
2009
ACM
16 years 12 days ago
2009
ACM
Taint analysis, a form of information-flow analysis, establishes whether values from untrusted methods and parameters may flow into security-sensitive operations. Taint analysis...