41 search results - page 3 / 9 » An Overview about the DynaQuest Framework |
FLOPS
2010
Springer
14 years 2 months ago
2010
Springer
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
IIE
2006
13 years 7 months ago
2006
This article gives a general framework for the understanding of the use of ICT in primary, secondary (vocational education excluded) and tertiary education in both Finland and Hong...
CW
2006
IEEE
14 years 1 months ago
2006
IEEE
Despite its history of several decades and impressive achievements, developing a VR application is still a complex task. Setting-up a Virtual Environment requires choosing a suita...
ITRUST
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Logic languages establish a formal framework to solve authorization and delegation conflicts. However, we consider that a visual representation is necessary since graphs...
MFCS
2001
Springer
13 years 12 months ago
2001
Springer
Combinatorial games lead to several interesting, clean problems in algorithms and complexity theory, many of which remain open. The purpose of this paper is to provide an overview...