2705 search results - page 310 / 541 » Formal Ontology for Subject |
96
Voted
IUI
2006
ACM
15 years 6 months ago
2006
ACM
In this paper we describe research on using eye-tracking data for on-line assessment of user meta-cognitive behavior during the interaction with an intelligent learning environmen...
86
Voted
SAC
2006
ACM
15 years 6 months ago
2006
ACM
The dialogue that follows was written to express some of our ideas and remaining questions about IT systems, moral agency, and responsibility. We seem to have made some progress o...
117
click to vote
SACMAT
2006
ACM
15 years 6 months ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
88
Voted
SACMAT
2006
ACM
15 years 6 months ago
2006
ACM
The growing importance of access control has led to the definition of numerous languages for specifying policies. Since these languages are based on different foundations, langua...
116
Voted
ICAIL
2005
ACM
15 years 6 months ago
2005
ACM
Computational law is an approach to automated legal reasoning focusing on semantically rich laws, regulations, contract terms, and business rules in the context of electronicallym...