3239 search results - page 352 / 648 » A Logical Process Calculus |
140
click to vote
TRUSTBUS
2007
Springer
15 years 10 months ago
2007
Springer
Usage control governs the handling of sensitive data after it has been given away. The enforcement of usage control requirements is a challenge because the service requester in gen...
119
click to vote
ICMCS
2005
IEEE
15 years 10 months ago
2005
IEEE
Temporal video segmentation is one of the fundamental and essential tasks in video processing, understanding and management. In this paper, we present an automatic method for segm...
136
click to vote
EWSA
2004
Springer
15 years 9 months ago
2004
Springer
We present an approach to component inheritance and reuse which closes the gap between architectural design and process-oriented approaches. To apply inheritance checks in design a...
142
click to vote
PKDD
2004
Springer
15 years 9 months ago
2004
Springer
This paper proposes an efficient method to learn from multi source data with an Inductive Logic Programming method. The method is based on two steps. The first one consists in lea...
108
click to vote
SEMWEB
2004
Springer
15 years 9 months ago
2004
Springer
Semantic Web resources — that is, knowledge representation formalisms existing in a distributed hypermedia system — require different addressing and processing models and capac...