7121 search results - page 1145 / 1425 » Functions as Session-Typed Processes |
127
click to vote
DBSEC
2006
15 years 6 months ago
2006
The need for enterprise application integration projects leads to complex composite applications. For the sake of security and efficiency, consolidated access control policies for ...
158
click to vote
DMIN
2006
15 years 6 months ago
2006
- In this paper we propose a new methodology for Cost-Benefit analysis in a multiple time series prediction problem. The proposed model is evaluated in a real world application bas...
150
Voted
DMIN
2006
15 years 6 months ago
2006
Discovering hidden patterns in large sets of workforce schedules to gain insight into the potential knowledge in workforce schedules are crucial to better understanding the workfor...
152
click to vote
FLAIRS
2004
15 years 6 months ago
2004
er provides new techniques for abstracting the state space of a Markov Decision Process (MDP). These techniques extend one of the recent minimization models, known as -reduction, ...
141
click to vote
FORTE
2004
15 years 6 months ago
2004
Abstract. We apply the PEPA nets modelling language to modelling a peer-topeer medical informatics application, the FieldCare PDA-based medical records system developed by SINTEF T...