931 search results - page 112 / 187 » Operating System Support for Process Confinement |
DLOG
1997
15 years 1 months ago
1997
This paper proposes a novel interactive tool designed to support the graphical inspection of large semantic models. The idea is to view the iterative inspection process as a serie...
PSYCHNOLOGY
2006
14 years 11 months ago
2006
The transformation from film-based to filmless operations has become more and more challenging as medical imaging studies expand in size and complexity. To adapt to these changes ...
108
click to vote
FM
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
115
click to vote
KI
2012
Springer
13 years 7 months ago
2012
Springer
The organisational specification of a multi-agent system supports agents’ effectiveness in attaining their purpose, or prevent certain undesired behaviour from occurring. This r...
IPM
2008
14 years 12 months ago
2008
Interactive Cross-Language Information Retrieval (CLIR), a process in which searcher and system collaborate to find documents that satisfy an information need regardless of the la...