1625 search results - page 160 / 325 » Intentionality |
JCS
2007
13 years 10 months ago
2007
We present a general unwinding framework for the definition of information flow security properties of concurrent programs, described in a simple imperative language enriched wi...
CG
2005
Springer
13 years 10 months ago
2005
Springer
This paper describes on-going work in the analysis of motion dynamics in pen-based interaction. The overall goal is the creation of a model of user motion in pen gestures where co...
JNCA
2007
13 years 10 months ago
2007
An approach for detecting feature interactions in IETF’s Call Processing Language (CPL) scripts is presented. The approach is logic based in the sense that it uses a logic repre...
AI
2004
Springer
13 years 10 months ago
2004
Springer
sis of strategies, recognizable abstract patterns of planned behavior, highlights the difference between the assumptions that people make about their own planning processes and th...
KBS
2007
13 years 10 months ago
2007
The main intent of this paper is to address the issue of middleware in network centric operations. To this end, we characterize a set of Information Technology capabilities that s...