Sciweavers

24444 search results - page 4270 / 4889
» A Data Model for Data Integration
Sort
View
CORR
2006
Springer
108views Education» more  CORR 2006»
15 years 7 months ago
Static Analysis using Parameterised Boolean Equation Systems
The well-known problem of state space explosion in model checking is even more critical when applying this technique to programming languages, mainly due to the presence of complex...
María-del-Mar Gallardo, Christophe Joubert,...
IJAR
2008
167views more  IJAR 2008»
15 years 7 months ago
Approximate algorithms for credal networks with binary variables
This paper presents a family of algorithms for approximate inference in credal networks (that is, models based on directed acyclic graphs and set-valued probabilities) that contai...
Jaime Shinsuke Ide, Fabio Gagliardi Cozman
IPM
2008
134views more  IPM 2008»
15 years 7 months ago
RSS: A framework enabling ranked search on the semantic web
The semantic web not only contains resources but also includes the heterogeneous relationships among them, which is sharply distinguished from the current web. As the growth of th...
Xiaomin Ning, Hai Jin, Hao Wu
ISI
2008
Springer
15 years 7 months ago
Intrusion activity projection for cyber situational awareness
Previous works in the area of network security have emphasized the creation of Intrusion Detection Systems (IDSs) to flag malicious network traffic and computer usage. Raw IDS data...
S. J. Yang, S. Byers, J. Holsopple, B. Argauer, D....
IJISEC
2006
113views more  IJISEC 2006»
15 years 7 months ago
Escrow-free encryption supporting cryptographic workflow
Since Boneh and Franklin published their seminal paper on identity based encryption (IBE) using the Weil pairing , there has been a great deal of interest in cryptographic primitiv...
Sattam S. Al-Riyami, John Malone-Lee, Nigel P. Sma...
« Prev « First page 4270 / 4889 Last » Next »