Sciweavers

2687 search results - page 314 / 538
» Formal Analysis of PKCS
Sort
View
QEST
2007
IEEE
16 years 27 days ago
Probabilistic Model-Checking Support for FMEA
Failure Mode and Effect Analysis (FMEA) is a method for assessing cause-consequence relations between component faults and hazards that may occur during the lifetime of a system. ...
Lars Grunske, Robert Colvin, Kirsten Winter
CCS
2007
ACM
16 years 24 days ago
Analyzing the vulnerability of superpeer networks against attack
In this paper, we develop an analytical framework to measure the vulnerability of superpeer networks against attack. Two different kinds of attacks namely deterministic and degre...
Bivas Mitra, Fernando Peruani, Sujoy Ghose, Niloy ...
SAMT
2007
Springer
96views Multimedia» more  SAMT 2007»
16 years 22 days ago
LIVE: Semantic-based Multi-Stream Broadcasting of Media Events
—Broadcasting of media events is a real-time action demanding reliable just in time decisions based on the current content of incoming video streams and the availability of backg...
Tobias Bürger, Rupert Westenthaler, Christian...
IEEEICCI
2006
IEEE
16 years 19 days ago
SenseNet: A Knowledge Representation Model for Computational Semantics
Knowledge representation is essential for semantics modeling and intelligent information processing. For decades researchers have proposed many knowledge representation techniques...
Ping Chen, Wei Ding 0003, Chengmin Ding
ADBIS
2006
Springer
131views Database» more  ADBIS 2006»
16 years 18 days ago
X-Warehousing: An XML-Based Approach for Warehousing Complex Data
XML is suitable for structuring complex data coming from different sources and supported by heterogeneous formats. It allows a flexible formalism capable to represent and store d...
Omar Boussaid, Riadh Ben Messaoud, Rémy Cho...