9110 search results - page 453 / 1822 » Formally-Based Design Evaluation |
218
click to vote
IWC
2007
15 years 6 months ago
2007
In recent years, there has been great interest in scenario-based design and other forms of user-centred design. However, there are many design processes that, often for good reaso...
237
click to vote
PVLDB
2010
15 years 5 months ago
2010
Non-technical users are increasingly adding structures to their data. This gives rise to the need for database design. However, traditional database design is deliberate and heavy...
343
click to vote
GLVLSI
2011
IEEE
14 years 10 months ago
2011
IEEE
This paper proposes a novel L1 data cache design with dualversioning SRAM cells (dvSRAM) for chip multi-processors (CMP) that implement optimistic concurrency proposals. In this n...
190
click to vote
SIGSOFT
2004
ACM
16 years 7 months ago
2004
ACM
Exploring alternative options is at the heart of the requirements and design processes. Different alternatives contribute to different degrees of achievement of non-functional goa...
161
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
The design and maintenance of ontologies is a complex social collaborative activity, and this is true especially for semantic-web ontologies. On the one hand, such activity calls ...