Sciweavers

209 search results - page 22 / 42
» Establishing Persistent Identity using the Handle System
Sort
View
SACMAT
2003
ACM
15 years 2 months ago
Role mining - revealing business roles for security administration using data mining technology
In this paper we describe the work devising a new technique for role-finding to implement Role-Based Security Administration. Our results stem from industrial projects, where larg...
Martin Kuhlmann, Dalia Shohat, Gerhard Schimpf
CBMS
2006
IEEE
15 years 3 months ago
Telederm: Enhancing Dermatological Diagnosis for Rural and Remote Communities
This paper describes techniques used in a Web-based decision support system to enhance dermatological diagnosis for rural and remote communities. We proposed a technique to improv...
Monica H. Ou, Geoff A. W. West, Mihai Lazarescu, C...
ER
2005
Springer
153views Database» more  ER 2005»
15 years 3 months ago
Automatically Grounding Semantically-Enriched Conceptual Models to Concrete Web Services
Abstract. The paper provides a conceptual framework for designing and executing business processes using semantic Web services. We envision a world in which a designer defines a ā...
Eran Toch, Avigdor Gal, Dov Dori
100
Voted
ESOP
2007
Springer
15 years 3 months ago
Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts
The goal of our research project is to establish a type-based method for verification of certain critical properties (such as deadlockand race-freedom) of operating system kernels...
Kohei Suenaga, Naoki Kobayashi
FMCO
2008
Springer
117views Formal Methods» more  FMCO 2008»
14 years 11 months ago
Conformance Testing of Distributed Concurrent Systems with Executable Designs
Abstract. This paper presents a unified approach to test case generation and conformance test execution in a distributed setting. A model in the object-oriented, concurrent modelin...
Bernhard K. Aichernig, Andreas Griesmayer, Einar B...