Sciweavers

9145 search results - page 121 / 1829
» Description Logic Systems
Sort
View
83
Voted
EUSFLAT
2009
120views Fuzzy Logic» more  EUSFLAT 2009»
14 years 10 months ago
A Monge Algorithm for Computing the Choquet Integral on Set Systems
Ulrich Faigle, Michel Grabisch
ERSA
2007
113views Hardware» more  ERSA 2007»
15 years 2 months ago
Autonomous Computing Systems: A Proof-of-Concept
This paper describes a proof-of-concept implementation of a basic autonomous computing system. The system consists of an XUP Virtex-II Pro board running Linux and a set of softwar...
Neil Steiner, Peter M. Athanas
TCS
2002
15 years 10 days ago
Automatic verification of real-time systems with discrete probability distributions
We consider the timed automata model of [3], which allows the analysis of realtime systems expressed in terms of quantitative timing constraints. Traditional approaches to real-ti...
Marta Z. Kwiatkowska, Gethin Norman, Roberto Segal...
108
Voted
OTM
2007
Springer
15 years 6 months ago
A Role and Attribute Based Access Control System Using Semantic Web Technologies
We show how Semantic Web technologies can be used to build an access control system. We follow the role-based access control approach (RBAC) and extend it with contextual attribute...
Lorenzo Cirio, Isabel F. Cruz, Roberto Tamassia
EJC
2006
15 years 2 months ago
Ontological Queries Supporting Decision Process in KaSeA System
With development of knowledge bases (KB) there appeared expert systems that use KBs to support them in decision making process. Decision Support Systems, that are the subject of th...
Krzysztof Goczyla, Aleksander Waloszek, Wojciech W...