Sciweavers

12741 search results - page 117 / 2549
» Editorial and call for papers
Sort
View
ATVA
2007
Springer
89views Hardware» more  ATVA 2007»
16 years 19 days ago
Policies and Proofs for Code Auditing
Abstract. Both proofs and trust relations play a role in security decisions, in particular in determining whether to execute a piece of code. We have developed a language, called B...
Nathan Whitehead, Jordan Johnson, Martín Ab...
AUSDM
2007
Springer
107views Data Mining» more  AUSDM 2007»
16 years 19 days ago
A Discriminant Analysis for Undersampled Data
One of the inherent problems in pattern recognition is the undersampled data problem, also known as the curse of dimensionality reduction. In this paper a new algorithm called pai...
Matthew Robards, Junbin Gao, Philip Charlton
CAISE
2007
Springer
16 years 19 days ago
Towards more Reuse in Conceptual Modeling - A Combined Approach using Contexts
In this paper a novel reuse approach called context-based modeling is proposed. Context-based modeling combines the reuse mechanisms aggregation, restriction, and specialization. C...
Jörg Becker, Christian Janiesch, Daniel Pfeif...
MDM
2007
Springer
160views Communications» more  MDM 2007»
16 years 17 days ago
A Framework and Tool for Personalisation of Mobile Services Using Semantic Web
This paper proposes a framework for personalisation of mobile services called Web Services Personalisation Framework (WSPF). The framework is based on the Service-Oriented Archite...
Ivar Jørstad, Do Van Thanh
DATE
2006
IEEE
90views Hardware» more  DATE 2006»
16 years 15 days ago
A time predictable Java processor
This paper presents a Java processor, called JOP, designed for time-predictable execution of real-time tasks. JOP is the implementation of the Java virtual machine in hardware. We...
Martin Schoeberl