6978 search results - page 305 / 1396 » Reframing Requirements Analysis |
180
click to vote
SOFSEM
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. Computational mechanism design (CMD) seeks to understand how to design game forms that induce desirable outcomes in multiagent systems despite private information, self-i...
201
click to vote
CBMS
2009
IEEE
16 years 1 months ago
2009
IEEE
Assessment of the (Multi) Similarity among a set of protein structures is achieved through an ensemble of protein structure comparison methods/algorithms. This leads to the genera...
198
click to vote
CCGRID
2009
IEEE
16 years 1 months ago
2009
IEEE
—Cloud computing has emerged as a new technology that provides large amount of computing and data storage capacity to its users with a promise of increased scalability, high avai...
151
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper reports on measurement results for the simultaneous use of multiple WLAN APs in a large area. We describe some problems of applying legacy IEEE 802.11 WLAN technologi...
204
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...