4211 search results - page 160 / 843 » A formal approach to MASQ |
167
click to vote
AICT
2006
IEEE
16 years 17 days ago
2006
IEEE
This paper presents our approach for grid monitoring: A contextual grid monitoring by a model driven approach. Our approach consists in supervising an entity by taking into accoun...
150
click to vote
AH
2000
Springer
15 years 10 months ago
2000
Springer
In this paper, we discuss an approach that tries to blur the distinction between adaptive hypermedia and dynamic NLG-based hypermedia. The approach aims at finding an optimal trade...
132
click to vote
SIGCSE
1998
ACM
15 years 10 months ago
1998
ACM
Through the use of interpreters it is possible to teach programming languages in an analytic way without the mathematical overhead associated with other formal methods. This is a ...
178
click to vote
ASIACRYPT
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we propose a new approach for constructing selectively convertible undeniable signature schemes, and present two efficient schemes based on RSA. Our approach allows ...
182
click to vote
SWWS
2008
15 years 8 months ago
2008
Abstract The growing demand for large and complex ontologies present new challenges related to their design, maintenance and evolution. In this paper, we propose an approach to man...