Sciweavers

1804 search results - page 147 / 361
» On set systems with a threshold property
Sort
View
COMPSAC
2001
IEEE
15 years 10 months ago
Exception Handling in Component-Based System Development
Designers of component-based software face two problems related to dealing with abnormal events: developing exception handling at the level of the integrated system and accommodat...
Alexander B. Romanovsky
JDCTA
2010
150views more  JDCTA 2010»
15 years 1 months ago
A Knowledge Recommend System Based on User Model
The content and searching method of knowledge base are lack of the consideration of user requirements, it is difficult for the user to select the knowledge satisfy with the user r...
Jiagen Sheng, Sifeng Liu
VMCAI
2009
Springer
16 years 1 months ago
Extending Symmetry Reduction by Exploiting System Architecture
Abstract. Symmetry reduction is a technique to alleviate state explosion in model checking by replacing a model of replicated processes with a bisimilar quotient model. The size of...
Richard J. Trefler, Thomas Wahl
DASFAA
2007
IEEE
297views Database» more  DASFAA 2007»
16 years 29 days ago
OLYBIA: Ontology-Based Automatic Image Annotation System Using Semantic Inference Rules
One of the big issues facing current content-based image retrieval is how to automatically extract the high-level concepts from images. In this paper, we present an efficient syste...
Kyung-Wook Park, Jin-Woo Jeong, Dong-Ho Lee
NORDSEC
2009
Springer
15 years 11 months ago
Security Usability of Petname Systems
Abstract. To have certainty about identities is crucial for secure communication in digital environments. The number of digital identities that people and organizations need to man...
Md. Sadek Ferdous, Audun Jøsang, Kuldeep Si...