2203 search results - page 303 / 441 » Temporal Abstract Interpretation |
185
click to vote
ICCS
2009
Springer
16 years 28 days ago
2009
Springer
Role Based Access Control (RBAC) is a methodology for providing users in an IT system specific permissions like write or read to t abstracts from specific users and binds permiss...
140
click to vote
SYNASC
2005
IEEE
15 years 12 months ago
2005
IEEE
Abstract. This paper is a first step towards a systematic evaluation of the possibilities to use membrane computing as a modeling framework for economics. Membrane computing is a ...
177
click to vote
CSL
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Girard’s Geometry of Interaction (GoI) develops a mathematical framework for modelling the dynamics of cut-elimination. We introduce a typed version of GoI, called Mult...
162
click to vote
SIGIR
2004
ACM
15 years 11 months ago
2004
ACM
We investigate how users interact with the results page of a WWW search engine using eye-tracking. The goal is to gain into how users browse the presented abstracts and how they s...
137
click to vote
DEXA
2004
Springer
15 years 11 months ago
2004
Springer
This work presents a study of the nature of expertise in geology, which demands visual recognition methods to describe and interpret petroleum reservoir rocks. In an experiment usi...