12774 search results - page 2433 / 2555 » A Framework for Proof Systems |
179
click to vote
OTM
2005
Springer
15 years 12 months ago
2005
Springer
In this paper we will concentrate on the conceptual modeling and semantics of service delegation and alignment in information systems. In delegation, one typically has the situatio...
168
click to vote
RAID
2005
Springer
15 years 12 months ago
2005
Springer
Intrusion detection systems are fundamentally passive and fail–open. Because their primary task is classification, they do nothing to prevent an attack from succeeding. An intru...
181
click to vote
SAS
2005
Springer
15 years 12 months ago
2005
Springer
Programmers increasingly implement plugin architectures in type-safe object-oriented languages such as Java. A virtual machine can dynamically load class files containing plugins,...
182
click to vote
ACMICEC
2004
ACM
15 years 12 months ago
2004
ACM
This paper presents a loosely coupled service-composition paradigm. This paradigm employs a distributed data flow that differs markedly from centralized information flow adopted b...
218
click to vote
MM
2004
ACM
15 years 12 months ago
2004
ACM
We consider the problem of learning a mapping function from low-level feature space to high-level semantic space. Under the assumption that the data lie on a submanifold embedded ...