Sciweavers

6931 search results - page 810 / 1387
» Context and Design Agents
Sort
View
FMCO
2003
Springer
145views Formal Methods» more  FMCO 2003»
16 years 20 days ago
Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling
Recently we proposed a mathematical framework offering diverse models of computation and a formal foundation for correct-byconstruction deployment of synchronous designs over dist...
Albert Benveniste, Benoît Caillaud, Luca P. ...
ISCAS
2002
IEEE
79views Hardware» more  ISCAS 2002»
16 years 11 days ago
High-speed pipelined A/D converter using time-shifted CDS technique
A time-shifted correlated double sampling (CDS) technique is used to compensate for the finite opamp dc gain in the context of a pipelined analog-to-digital converter (ADC). This...
Jipeng Li, Un-Ku Moon
COLCOM
2009
IEEE
16 years 4 days ago
The PEI framework for application-centric security
This paper motivates the fundamental importance of application context for security. It then gives an overview of the PEI framework for application-centric security and outlines s...
Ravi S. Sandhu
ESEM
2009
ACM
16 years 3 days ago
A systematic mapping study on empirical evaluation of software requirements specifications techniques
This paper describes an empirical mapping study, which was designed to identify what aspects of Software Requirement Specifications (SRS) are empirically evaluated, in which conte...
Nelly Condori-Fernández, Maya Daneva, Klaas...
MKM
2009
Springer
16 years 5 hour ago
Math-Literate Computers
Sketch recognizers are an important part of the design of natural interfaces for many domains. However, current recognition technology is generally quite crude and difficult to w...
Dorothea Blostein