Sciweavers

15635 search results - page 206 / 3127
» A Designing Model of XML-Dataweb
Sort
View
CTW
2006
88views more  CTW 2006»
15 years 6 months ago
Using multiple cognitive task analysis methods for supervisory control interface design in high-throughput biological screening
Cognitive task analysis (CTA) approaches are currently needed in many domains to provide explicit guidance on redesigning existing systems. This study used goal-directed task analy...
David B. Kaber, Noa Segall, Rebecca S. Green, K. E...
CDC
2010
IEEE
140views Control Systems» more  CDC 2010»
15 years 1 months ago
A design solution to the problem of adaptive output regulation for nonlinear minimum-phase systems
We propose a solution to the problem of adaptive output regulation for nonlinear minimum-phase systems that does not rely upon conventional adaptation schemes to estimate the frequ...
Alberto Isidori, Lorenzo Marconi, Laurent Praly
ICCAD
2006
IEEE
141views Hardware» more  ICCAD 2006»
16 years 3 months ago
Design optimization for single-event upset robustness using simultaneous dual-VDD and sizing techniques
An optimization algorithm for the design of combinational circuits that are robust to single-event upsets (SEUs) is described. A simple, highly accurate model for the SEU robustne...
Mihir R. Choudhury, Quming Zhou, Kartik Mohanram
VL
2003
IEEE
149views Visual Languages» more  VL 2003»
15 years 11 months ago
Integrating software engineering and user-centred design for multimedia software developments
The object-oriented modeling of interactive multimedia applications in the OMMMA approach is designed to enable multimedia software developers to create comprehensive analysis and...
Gregor Engels, Stefan Sauer, Bettina Neu
CONCUR
1989
Springer
15 years 10 months ago
Using the Temporal Logic RDL for Design Specifications
In summary, RDL is an intuitionistic temporal logic for the specification of requirements and design of time-dependent systems. Coverage of RDL includes a backward chaining theore...
Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter