Sciweavers

4004 search results - page 657 / 801
» Selecting an Approach to Designing Group Support Systems
Sort
View
CCS
2009
ACM
15 years 11 months ago
A practical property-based bootstrap architecture
Binary attestation, as proposed by the Trusted Computing Group (TCG), is a pragmatic approach for software integrity protection and verification. However, it has also various sho...
René Korthaus, Ahmad-Reza Sadeghi, Christia...
ICSE
2005
IEEE-ACM
16 years 4 months ago
Transformations of software models into performance models
It is widely recognized that in order to make performance validation an integrated activity along the software lifecycle it is crucial to be supported from automated approaches. E...
Vittorio Cortellessa, Antinisca Di Marco, Paola In...
KI
2009
Springer
15 years 11 months ago
P300 Detection Based on Feature Extraction in On-line Brain-Computer Interface
Abstract. We propose a new EEG-based wireless brain computer interface (BCI) with which subjects can “mind-type” text on a computer screen. The application is based on detectin...
Nikolay Chumerin, Nikolay V. Manyakov, Adrien Comb...
ICDCSW
2007
IEEE
15 years 10 months ago
The WUI-Toolkit: A Model-Driven UI Development Framework for Wearable User Interfaces
We introduce the “WUI-Toolkit” as a framework to support and ease the development of wearable user interfaces (WUIs). The toolkit presents a first step towards a model-driven...
Hendrik Witt, Tom Nicolai, Holger Kenn
SEFM
2005
IEEE
15 years 10 months ago
BRILLANT : An Open Source and XML-based platform for Rigourous Software Development
The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism. However, few of these tools allow reasoning on t...
Samuel Colin, Dorian Petit, Vincent Poirriez, J&ea...