3130 search results - page 507 / 626 » Design Correctness of Digital Systems |
167
click to vote
MODELS
2009
Springer
16 years 1 months ago
2009
Springer
Product line engineering is an emerging paradigm of developing a family of products. While product line analysis and design mainly focus on reasoning about commonality and variabi...
169
click to vote
CASES
2009
ACM
16 years 29 days ago
2009
ACM
Solid State Disks (SSDs) are superior to magnetic disks from a performance point of view due to the favorable features of NAND flash memory. Furthermore, thanks to improvement on...
210
click to vote
IMC
2009
ACM
16 years 29 days ago
2009
ACM
Understanding how users behave when they connect to social networking sites creates opportunities for better interface design, richer studies of social interactions, and improved ...
156
click to vote
SIGECOM
2006
ACM
16 years 12 days ago
2006
ACM
In multiagent systems, strategic settings are often analyzed under the assumption that the players choose their strategies simultaneously. However, this model is not always realis...
178
click to vote
ANCS
2005
ACM
16 years 10 hour ago
2005
ACM
Large-scale applications require the efficient exchange of data across their distributed components, including data from heterogeneous sources and to widely varying clients. Inher...