Sciweavers

4211 search results - page 582 / 843
» A formal approach to MASQ
Sort
View
CIIA
2009
15 years 7 months ago
Towards WSMO Ontology Specification From Existing Web Services
Semantic Web Services (SWSs) aim to improve the possibilities for automated discovery, composition and invocation of Web Services by providing ontology-based service descriptions e...
Houda El Bouhissi, Mimoun Malki, Djelloul Bouchiha
CNL
2009
15 years 7 months ago
Writing Clinical Practice Guidelines in Controlled Natural Language
Abstract. Clinicians could benefit from decision support systems incorporating the knowledge contained in clinical practice guidelines. However, the unstructured form of these guid...
Richard N. Shiffman, George Michel, Michael Krauth...
DBSEC
2009
163views Database» more  DBSEC 2009»
15 years 7 months ago
A Trust-Based Access Control Model for Pervasive Computing Applications
With the rapid growth in wireless networks and sensor and mobile devices, we are moving towards an era of pervasive computing. Access control is challenging in these environments. ...
Manachai Toahchoodee, Ramadan Abdunabi, Indrakshi ...
GG
2008
Springer
15 years 7 months ago
Parallel and Sequential Independence for Borrowed Contexts
Parallel and sequential independence are central concepts in the concurrency theory of the double pushout (dpo) approach to graph rewriting. However, so far those same notions were...
Filippo Bonchi, Fabio Gadducci, Tobias Heindel
SACMAT
2010
ACM
15 years 6 months ago
On the definition of role mining
There have been many approaches proposed for role mining. However, the problems solved often differ due to a lack of consensus on the formal definition of the role mining problem....
Mario Frank, Joachim M. Buhmann, David A. Basin