Sciweavers

8636 search results - page 1419 / 1728
» How Developers Copy
Sort
View
ET
2007
67views more  ET 2007»
15 years 4 months ago
A Formal Analysis of Fault Diagnosis with D-matrices
As new approaches and algorithms are developed for system diagnosis, it is important to reflect on existing approaches to determine their strengths and weaknesses. Of concern is i...
John W. Sheppard, S. G. W. Butcher
NRHM
2008
106views more  NRHM 2008»
15 years 4 months ago
Towards the unification of formats for overlapping markup
Overlapping markup refers to the issue of how to represent data structures more expressive than trees--for example direct acyclic graphs--using markup (meta-)languages which have ...
Paolo Marinelli, Fabio Vitali, Stefano Zacchiroli
OIR
2008
94views more  OIR 2008»
15 years 4 months ago
Towards an architecture for open archive networks in agricultural sciences and technology
The AGRIS Network is an international initiative based on a collaborative network of institutions, whose aim is to promote free access to information on science and technology in a...
Imma Subirats, Irene Onyancha, Gauri Salokhe, Stef...
HF
2007
131views more  HF 2007»
15 years 4 months ago
Formal Analysis and Automatic Generation of User Interfaces: Approach, Methodology, and an Algorithm
In this paper we propose a formal approach and methodology for analysis and generation of human-machine interfaces, with special emphasis on human-automation interaction. Our appr...
Michael Heymann, Asaf Degani
IEE
2007
54views more  IEE 2007»
15 years 4 months ago
WebML modelling in UML
: In recent years, we have witnessed how the Web Engineering community has started using the standard unified modelling language (UML) notation, techniques and supporting tools fo...
Nathalie Moreno, Piero Fraternali, Antonio Valleci...
« Prev « First page 1419 / 1728 Last » Next »