Sciweavers

1498 search results - page 221 / 300
» Description logic for coalitions
Sort
View
ICWE
2007
Springer
15 years 4 months ago
Web User Interface Migration through Different Modalities with Dynamic Device Discovery
In this paper we present a new environment for supporting Web user interface migration through different modalities. The goal is to furnish user interfaces that are able to migrate...
Renata Bandelloni, Giulio Mori, Fabio Patern&ograv...
ISOLA
2007
Springer
15 years 4 months ago
Using Analogy to Promote Conceptual Modeling Reuse
Abstract. This paper argues in favor of a database conceptual schema and Semantic Web ontology design discipline that explores analogy mappings to reuse the structure and integrity...
Karin Koogan Breitman, Simone Diniz Junqueira Barb...
OTM
2007
Springer
15 years 4 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
TABLEAUX
2007
Springer
15 years 4 months ago
Axiom Pinpointing in General Tableaux
Axiom pinpointing has been introduced in description logics (DLs) to help the user to understand the reasons why consequences hold and to remove unwanted consequences by computing ...
Franz Baader, Rafael Peñaloza
DATE
2006
IEEE
108views Hardware» more  DATE 2006»
15 years 4 months ago
Scheduling under resource constraints using dis-equations
Scheduling is an important step in high-level synthesis (HLS). In our tool, we perform scheduling in two steps: coarse-grain scheduling, in which we take into account the whole co...
Hadda Cherroun, Alain Darte, Paul Feautrier