1956 search results - page 160 / 392 » A Critical View of Context |
167
click to vote
SP
2010
IEEE
15 years 10 months ago
2010
IEEE
—Dynamic taint analysis and forward symbolic execution are quickly becoming staple techniques in security analyses. Example applications of dynamic taint analysis and forward sym...
157
click to vote
CHI
2010
ACM
15 years 9 months ago
2010
ACM
Nonprofit organizations often need to excel in coordinating with other organizations and must do so in a variety of contexts and levels from the informal to the formal. Their abil...
153
click to vote
AAAI
2007
15 years 8 months ago
2007
This paper presents a formalism to describe practical reasoning in terms of an Action-based Alternating Transition System (AATS). The starting point is a previously specified acc...
163
click to vote
SCP
2008
15 years 6 months ago
2008
Abstract. The Real-time Specification for Java (RTSJ) introduced a range of language features for explicit memory management. While the RTSJ gives programmers fine control over mem...
161
click to vote
IJAR
2007
2007
On representation and aggregation of social evaluations in computational trust and reputation models
15 years 6 months ago
Interest for computational trust and reputation models is on the rise. One of the most important aspects of these models is how they deal with information received from other indi...