Sciweavers

2061 search results - page 83 / 413
» Authorization for Metacomputing Applications
Sort
View
GI
2009
Springer
14 years 10 months ago
A Knowledge-Based System for the Specification of Variables in Clinical Trials
: Study variables in clinical trial specifications are often defined manually, depending on the knowledge and experience of the author rather than on commonly agreed methods and st...
Matthias Löbe, Barbara Strotmann, Kai-Uwe Hoo...
101
Voted
IFIP
2009
Springer
14 years 10 months ago
Model Checking of Security-Sensitive Business Processes
Security-sensitive business processes are business processes that must comply with security requirements (e.g. authorization constraints). In previous works it has been shown that ...
Alessandro Armando, Serena Elisa Ponta
123
Voted
FUIN
2010
106views more  FUIN 2010»
14 years 10 months ago
Horn Knowledge Bases in Regular Description Logics with PTIME Data Complexity
Abstract. Developing a good formalism and an efficient decision procedure for the instance checking problem is desirable for practical application of description logics. The data c...
Linh Anh Nguyen
114
Voted
CDC
2010
IEEE
145views Control Systems» more  CDC 2010»
14 years 7 months ago
Construction of Lyapunov functions for piecewise-deterministic Markov processes
The purpose of this contribution is twofold: 1) to present for the first time a Lyapunov function that proves exponential ergodicity of a process studied by the authors in [1], whe...
Alexandre R. Mesquita, João Pedro Hespanha
159
Voted
CORR
2010
Springer
135views Education» more  CORR 2010»
14 years 7 months ago
Secure Communication and Access Control for Mobile Web Service Provisioning
It is now feasible to host basic web services on a smart phone due to the advances in wireless devices and mobile communication technologies. While the applications are quite welco...
Satish Narayana Srirama, Anton Naumenko