8644 search results - page 199 / 1729 » On the Composition of Secure Systems |
163
click to vote
ICMCS
2005
IEEE
16 years 7 days ago
2005
IEEE
The topic of this communication is shape-similarity search for 3D-mesh models. We present and evaluate a composite 3D-shape feature vector (DESIRE), which is formed using depth bu...
190
click to vote
LPNMR
2005
Springer
16 years 4 days ago
2005
Springer
We introduce a declarative approach for a coherent composition of autonomous databases. For this we use ID-logic, a formalism that extends classical logic with inductive definitio...
183
click to vote
RTSS
2003
IEEE
15 years 12 months ago
2003
IEEE
We address the problem of providing compositional hard real-time guarantees in a hierarchy of schedulers. We first propose a resource model to characterize a periodic resource al...
174
click to vote
ATAL
2003
Springer
15 years 10 months ago
2003
Springer
We address the problem of constructing multiagent systems by coordinating heterogeneous, autonomous agents, whose internal designs may not be fully known. A major application area...
148
click to vote
DGO
2007
15 years 8 months ago
2007
Poster. We highlight the latest developments in the Argos project. First, we describe our approach to automatic workflow composition. Second, we discuss the validation of the fre...