Sciweavers

27 search results - page 5 / 6
» Towards Fault-Tolerant Formal Concept Analysis
Sort
View
ISI
2004
Springer
13 years 11 months ago
Interactive Query Languages for Intelligence Tasks
Counterterrorism and intelligence tasks rely on the efficient collection, analysis and dissemination of information. While information systems play a key role in such tasks, databa...
Antonio Badia
JUCS
2006
141views more  JUCS 2006»
13 years 5 months ago
Constraint Based Methods for Biological Sequence Analysis
: The need for processing biological information is rapidly growing, owing to the masses of new information in digital form being produced at this time. Old methodologies for proce...
Maryam Bavarian, Verónica Dahl
EMSOFT
2008
Springer
13 years 7 months ago
Disassembling real-time fault-tolerant programs
We focus on decomposition of hard-masking real-time faulttolerant programs (where safety, timing constraints, and liveness are preserved in the presence of faults) that are design...
Borzoo Bonakdarpour, Sandeep S. Kulkarni, Anish Ar...
UML
1999
Springer
13 years 9 months ago
Core Meta-Modelling Semantics of UML: The pUML Approach
Abstract. The current UML semantics documentation has made a signi cant step towards providing a precise description of the UML. However, at present the semantic model it proposes ...
Andy Evans, Stuart Kent
ICCS
2007
Springer
13 years 11 months ago
Quo Vadis, CS? - On the (non)-Impact of Conceptual Structures on the Semantic Web
Abstract. Conceptual Structures is a field of research which shares abstract concepts and interests with recent work on knowledge representation for the Semantic Web. However, whi...
Sebastian Rudolph, Markus Krötzsch, Pascal Hi...