3362 search results - page 78 / 673 » A definition of subjective possibility |
160
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
In functional programming, monadic characterizations of computational effects are normally understood denotationally: they describe how an effectful program can be systematically ...
214
click to vote
CCS
2004
ACM
15 years 11 months ago
2004
ACM
Security must be a first class citizen in the design of large scale, interacting, software applications, at early and all stages of the lifecycle, for accurate and precise policy ...
157
click to vote
SIGGRAPH
1993
ACM
15 years 10 months ago
1993
ACM
Several common systems satisfy some but not all of the VR definition above. Flight simulators provide vehicle tracking, not head tracking, and do not generally operate in binocular...
186
click to vote
DATESO
2010
15 years 4 months ago
2010
Abstract. Real-time database management systems (RTDBMS) are recently subject of an intensive research. Model checking algorithms and verification tools are of great concern as wel...
147
click to vote
ENGL
2007
15 years 6 months ago
2007
—The success of effective communication of traffic sign messages to road users may not only relate to the user characteristics but also the signs themselves. The purpose of this ...