Sciweavers

3943 search results - page 242 / 789
» Architecture-Level Requirements Specification
Sort
View
FOAL
2008
ACM
15 years 8 months ago
Incremental analysis of interference among aspects
Often, insertion of several aspects into one system is desired and in that case the problem of interference among the different aspects might arise, even if each aspect individual...
Emilia Katz, Shmuel Katz
SIGMOD
2010
ACM
232views Database» more  SIGMOD 2010»
15 years 6 months ago
Optimizing content freshness of relations extracted from the web using keyword search
An increasing number of applications operate on data obtained from the Web. These applications typically maintain local copies of the web data to avoid network latency in data acc...
Mohan Yang, Haixun Wang, Lipyeow Lim, Min Wang
BIOINFORMATICS
2006
134views more  BIOINFORMATICS 2006»
15 years 6 months ago
HaptenDB: a comprehensive database of haptens, carrier proteins and anti-hapten antibodies
The key requirement for successful immunochemical assay is the availability of antibodies with high specificity and desired affinity. Small molecules, when used as haptens, are no...
Mahender Kumar Singh, Shilpy Srivastava, G. P. S. ...
DT
2006
180views more  DT 2006»
15 years 6 months ago
A SystemC Refinement Methodology for Embedded Software
process: Designers must define higher abstraction levels that allow system modeling. They must use description languages that handle both hardware and software components to descri...
Jérôme Chevalier, Maxime de Nanclas, ...
ANSOFT
2002
126views more  ANSOFT 2002»
15 years 6 months ago
The Real-Time Process Algebra (RTPA)
Abstract. The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing system architectures, and static and dynamic behaviors. It is recogniz...
Yingxu Wang