9110 search results - page 1522 / 1822 » Formally-Based Design Evaluation |
140
click to vote
COMPSAC
2009
IEEE
15 years 2 months ago
2009
IEEE
1 The paper proposes a new test model, Call-For-Testing (CFT), and applies it to User Acceptance Testing (UAT) of Web Applications. Different from traditional approaches, UAT in th...
139
click to vote
ECMDAFA
2009
Springer
15 years 2 months ago
2009
Springer
Textual Syntax (TS) as a form of model representation has made its way to the Model-Driven Software Development community and is considered a viable alternative to graphical repres...
157
click to vote
ERSA
2009
15 years 2 months ago
2009
Harnessing human computation is an approach to find problem solutions. In this paper, we investigate harnessing this human computation for a Field Programmable Gate Array (FPGA) p...
144
click to vote
EUROPKI
2009
Springer
15 years 2 months ago
2009
Springer
The trustworthiness of any Public Key Infrastructure (PKI) rests upon the expectations for trust, and the degree to which those expectations are met. Policies, whether implicit as ...
141
click to vote
FAST
2009
15 years 2 months ago
2009
The Smoke and Mirrors File System (SMFS) mirrors files at geographically remote datacenter locations with negligible impact on file system performance at the primary site, and min...