3954 search results - page 364 / 791 » Image-based Model Completion |
159
click to vote
SEMWEB
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. Business Intelligence (BI) requires the acquisition and aggregation of key pieces of knowledge from multiple sources in order to provide valuable information to customers...
136
click to vote
SEMWEB
2007
Springer
16 years 8 days ago
2007
Springer
Potluck is a web user interface (Figure 1) that lets casual users— those without programming skills and data modeling expertise—merge and repurpose heterogeneous Semantic Web d...
152
click to vote
CSFW
2005
IEEE
15 years 11 months ago
2005
IEEE
We study an automatic technique for the verification of cryptographic protocols based on a Horn clause model of the protocol. This technique yields proofs valid for an unbounded ...
139
click to vote
WETICE
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper describes the implementation of a thin user-level layer to be installed on Grid resources. The layer fits in the Minimum intrusion Grid design by imposing as few requi...
186
click to vote
ADAEUROPE
2005
Springer
15 years 11 months ago
2005
Springer
Distributed Real-Time (DRE) systems require the verification of their properties to ensure both reliability and conformance to initial requirements. Architecture description langu...