Sciweavers

11462 search results - page 414 / 2293
» Developing Application-Centric Methods
Sort
View
ACSAC
1996
IEEE
15 years 10 months ago
Formal Techniques for an ITSEC-E4 Secure Gateway
In this paper we describe the method used to develop a gateway capable of meeting the ITSEC E4 requirements. The security policy was formally modelled and proven consistent with t...
Pierre Bieber
ECTEL
2006
Springer
15 years 9 months ago
Context-Aware Workplace Learning Support: Concept, Experiences, and Remaining Challenges
Workplace learning offers the unique possibility of the immediacy of purpose and real-world context. In order to leverage on this, we have developed a context-aware method to suppo...
Andreas Schmidt, Simone Braun
AH
2000
Springer
15 years 9 months ago
Towards an Adaptive Learners' Dictionary
This paper presents an ongoing research project about the development of an electronic learners' dictionary for the German and the Italian language (ELDIT). Modern psycholingu...
Johann Gamper, Judith Knapp
RT
2000
Springer
15 years 9 months ago
Unified Approach to Prefiltered Environment Maps
Abstract. Different methods for prefiltered environment maps have been proposed, each of which has different advantages and disadvantages. We present a general notation for prefilt...
Jan Kautz, Pere-Pau Vázquez, Wolfgang Heidr...
WSC
2008
15 years 8 months ago
A particle filtering framework for randomized optimization algorithms
We propose a framework for optimization problems based on particle filtering (also called Sequential Monte Carlo method). This framework unifies and provides new insight into rand...
Enlu Zhou, Michael C. Fu, Steven I. Marcus