Sciweavers

6834 search results - page 1290 / 1367
» The Fail-Heterogeneous Architectural Model
Sort
View
IFM
2004
Springer
125views Formal Methods» more  IFM 2004»
15 years 11 months ago
Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
Paul Curzon, Ann Blandford
MHCI
2004
Springer
15 years 11 months ago
Personalization-Based Optimization of Web Interfaces for Mobile Devices
Developing personalized applications for the ubiquitous Web assumes to provide different user interfaces addressing heterogeneous capabilities of device classes. Major problems are...
Michael Hinz, Zoltán Fiala, Frank Wehner
MICAI
2004
Springer
15 years 11 months ago
A Biologically Motivated and Computationally Efficient Natural Language Processor
Abstract. Conventional artificial neural network models lack many physiological properties of the neuron. Current learning algorithms are more concerned to computational performanc...
João Luís Garcia Rosa
MIDDLEWARE
2004
Springer
15 years 11 months ago
Enabling collaborative adaptation across legacy components
Software frequently needs to adapt its behavior at run time to respond to changes in its execution environment. Different software components may use different approaches to adap...
Zhenxiao Yang, Zhinan Zhou, Betty H. C. Cheng, Phi...
SGAI
2004
Springer
15 years 11 months ago
Implementing Policy Management through BDI
The requirement for Grid middleware to be largely transparent to individual users and at the same time act in accordance with their personal needs is a difficult challenge. In e-...
Simon Miles, Juri Papay, Michael Luck, Luc Moreau
« Prev « First page 1290 / 1367 Last » Next »