1468 search results - page 178 / 294 » On Industrial Use of Requirements Engineering Techniques |
163
click to vote
ICOODB
2009
15 years 4 months ago
2009
ConceptBase is a deductive object-oriented database system intended for the management of metadata. A distinguishing feature of the Telos language underlying ConceptBase is the abi...
171
click to vote
AOSD
2012
ACM
14 years 2 months ago
2012
ACM
In this work we consider specification and compositional verification for interference detection when several aspects are woven together under joint-weaving semantics without re...
165
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
As the enabling technologies of autonomic computing continue to advance, it is imperative for researchers to exchange the details of their proposed techniques for designing, devel...
186
click to vote
CODES
2007
IEEE
16 years 21 days ago
2007
IEEE
Caches are notorious for their unpredictability. It is difficult or even impossible to predict if a memory access results in a definite cache hit or miss. This unpredictability i...
166
click to vote
ISSS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a novel low-energy memory design technique, considering effective bitwidth of variables for applicationspecific systems, called VAbM technique. It targets th...