Sciweavers

2274 search results - page 128 / 455
» The microsoft data platform
Sort
View
119
Voted
FOSAD
2005
Springer
15 years 9 months ago
Formal Methods for Smartcard Security
Smartcards are trusted personal devices designed to store and process confidential data, and to act as secure tokens for providing access to applications and services. Smartcards ...
Gilles Barthe, Guillaume Dufay
130
Voted
ARCS
2006
Springer
15 years 7 months ago
A Flexible Reconfiguration Manager for the Erlangen Slot Machine
We present a new concept as well as the implementation of a reconfiguration manager for a FPGA-based reconfigurable platform, the Erlangen Slot Machine (ESM). One main advantage of...
Mateusz Majer, Ali Ahmadinia, Christophe Bobda, J&...
121
Voted
INFOCOM
1995
IEEE
15 years 7 months ago
Measuring the Performance of Parallel Message-Based Process Architectures
Message-based process architectures are widely regarded as an effective method for structuring parallel protocol processing on shared memory multi-processor platforms. A message-b...
Douglas C. Schmidt, Tatsuya Suda
126
Voted
GI
2009
Springer
15 years 7 months ago
Bringing innovative Semantic Technology to Practice: The iQser Approach and its Use Cases
: This paper presents the iQser approach, a new semantic technology promising to overcome some of the shortcomings of current semantic enterprise solutions. The iQser technology is...
Jörg Wurzer, Bela Mutschler
112
Voted
AVI
2008
15 years 6 months ago
Gummy for multi-platform user interface designs: shape me, multiply me, fix me, use me
Designers still often create a specific user interface for every target platform they wish to support, which is timeconsuming and error-prone. The need for a multi-platform user i...
Jan Meskens, Jo Vermeulen, Kris Luyten, Karin Coni...