Sciweavers

292 search results - page 32 / 59
» Objects Shared by Byzantine Processes
Sort
View
CORR
2008
Springer
99views Education» more  CORR 2008»
13 years 8 months ago
An Ontology-based Knowledge Management System for Industry Clusters
Knowledge-based economy forces companies in every country to group together as a cluster in order to maintain their competitiveness in the world market. The cluster development re...
Pradorn Sureephong, Nopasit Chakpitak, Yacine Ouzr...
EDBT
2002
ACM
138views Database» more  EDBT 2002»
14 years 8 months ago
DAML+OIL: A Reason-able Web Ontology Language
Ontologies are set to play a key role in the "Semantic Web", extending syntactic interoperability to semantic interoperability by providing a source of shared and precise...
Ian Horrocks
FM
2009
Springer
92views Formal Methods» more  FM 2009»
14 years 3 months ago
Field-Sensitive Value Analysis by Field-Insensitive Analysis
Shared and mutable data-structures pose major problems in static analysis and most analyzers are unable to keep track of the values of numeric variables stored in the heap. In this...
Elvira Albert, Puri Arenas, Samir Genaim, Germ&aac...
CANDC
2009
ACM
14 years 3 months ago
Glowdoodle: a medium for expressive inquiry
Expressive inquiry is a process of exploration and discovery within an artistic medium that supports both intuitive play and iterative experimentation. Glowdoodle is a system that...
Eric Rosenbaum
ISSAC
2007
Springer
162views Mathematics» more  ISSAC 2007»
14 years 2 months ago
Multiprocessed parallelism support in ALDOR on SMPs and multicores
We report on a high-level categorical parallel framework, written in the Aldor language, to support high-performance computer algebra on symmetric multi-processors and multicore p...
Marc Moreno Maza, Ben Stephenson, Stephen M. Watt,...