2726 search results - page 388 / 546 » Application security support in the operating system kernel |
163
click to vote
WOSP
2004
ACM
15 years 11 months ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...
181
click to vote
ECOOP
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. The application field of static analysis techniques for objectoriented programming is getting broader, ranging from compiler optimizations to security issues. This leads...
140
click to vote
DOLAP
2004
ACM
15 years 11 months ago
2004
ACM
Nowadays, decision support systems are evolving in order to handle complex data. Some recent works have shown the interest of combining on-line analysis processing (OLAP) and data...
170
Voted
LISA
2003
15 years 7 months ago
2003
This paper presents three simple techniques for improving network service using relatively unknown features of many existing networks. The resulting system provides greater reliab...
133
click to vote
DSOM
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. The successful deploymentof next-generation distributedsystems is signi cantly dependent on the e cient management support that improves the performance and reliability o...