Sciweavers

1487 search results - page 124 / 298
» On Validating Engineering Design Decision Support Tools
Sort
View
WWW
2006
ACM
16 years 5 months ago
SGSDesigner: a graphical interface for annotating and designing semantic grid services
In this paper, we describe SGSDesigner, the ODESGS Environment user interface. ODESGS Environment (the realization of the ODESGS Framework [1]) is an environment for supporting bo...
Asunción Gómez-Pérez, Rafael ...
MMMACNS
2005
Springer
15 years 10 months ago
A Modal Logic for Role-Based Access Control
Making correct access-control decisions is central to security, which in turn requires accounting correctly for the identity, credentials, roles, authority, and privileges of users...
Thumrongsak Kosiyatrakul, Susan Older, Shiu-Kai Ch...
CADE
2006
Springer
16 years 4 months ago
Description Logic Reasoner: System Description
This is a system description of the Description Logic reasoner FaCT++. The reasoner implements a tableaux decision procedure for the well known SHOIQ description logic, with additi...
Dmitry Tsarkov, Ian Horrocks
EWC
2000
94views more  EWC 2000»
15 years 4 months ago
A Model for the Flow of Design Information in Product Development
The complexity of modern products and design tools has made the exchange of design information more complex. It is widely recognised that the seamless capture, storage, and retriev...
Steven B. Shooter, Walid Keirouz, Simon Szykman, S...
WWW
2004
ACM
16 years 5 months ago
Exploiting conceptual modeling for web application quality evaluation
This paper presents an approach and a toolset for exploiting the benefits of conceptual modeling in the quality evaluation tasks that take place both before the deployment and dur...
Piero Fraternali, Pier Luca Lanzi, Maristella Mate...