Sciweavers

2696 search results - page 294 / 540
» Semantic Abstraction and Anaphora
Sort
View
ICDCIT
2005
Springer
16 years 2 days ago
Validation of Policy Integration Using Alloy
Abstract. Organizations typically have multiple security policies operating together in the same system. The integration of multiple policies might be needed to achieve the desired...
Manachai Toahchoodee, Indrakshi Ray
MATA
2005
Springer
154views Communications» more  MATA 2005»
16 years 1 days ago
A Co-designed Hardware/Software Architecture for Augmented Materials
Abstract. Recent advances in materials, sensing, power harvesting, contextawareness and miniaturisation have opened-up the possibility of constructing materials that directly inclu...
Simon Dobson, Kieran Delaney, Kafil Mahmood Razeeb...
OTM
2005
Springer
16 years 1 days ago
Architecting Ontology for Scalability and Versatility
Abstract. This paper discusses methodological strategies for architecting ontologies. The development context is an EC IST project, aimed at the use of ontology to help detect and ...
Gang Zhao, Robert Meersman
RULEML
2005
Springer
16 years 1 days ago
Uncertainty and RuleML Rulebases: A Preliminary Report
Abstract. Uncertainty, like imprecision and vagueness, has gained considerable attention the last decade. To this extend we present a preliminary report on extending the Rule Marku...
Giorgos Stoilos, Giorgos B. Stamou, Vassilis Tzouv...
SSS
2005
Springer
16 years 1 days ago
On the Possibility and the Impossibility of Message-Driven Self-stabilizing Failure Detection
Abstract. This paper considers message-driven self-stabilizing implementations of unreliable failure detectors. We show that it is impossible to give a deterministic implementation...
Martin Hutle, Josef Widder