4290 search results - page 152 / 858 » Formal Approaches to Teamwork |
152
click to vote
AH
2000
Springer
15 years 11 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...
133
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 ...
181
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 ...
183
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...
176
click to vote
GISCIENCE
2010
Springer
15 years 7 months ago
2010
Springer
Over the past decade, automated systems dedicated to geopositioning have been the object of considerable development. Despite the success of these systems for many applications, th...