4930 search results - page 696 / 986 » Testing a Safety-Critical Application |
205
Voted
CHI
2002
ACM
16 years 7 months ago
2002
ACM
This paper proposes a transformation of the Cognitive Walkthrough (CW), a theory-based usability inspection method that has proven useful in designing applications that support us...
295
click to vote
POPL
2008
ACM
16 years 7 months ago
2008
ACM
Contracts are behavioural descriptions of Web services. We devise a theory of contracts that formalises the compatibility of a client to a service, and the safe replacement of a s...
169
click to vote
RECOMB
2005
Springer
16 years 7 months ago
2005
Springer
We introduce a new scoring method for calculation of alignments of optical maps. Missing cuts, false cuts, and sizing errors present in optical maps are addressed by our alignment...
278
click to vote
VLDB
2001
ACM
16 years 7 months ago
2001
ACM
In this paper, we present an approach to global transactionmanagementinworkflowenvironments.Thetransaction mechanism is based on the well-known notion of compensation, but extended...
301
click to vote
VLDB
2003
ACM
16 years 7 months ago
2003
ACM
In data applications such as information integration, there can be limited access patterns to relations, i.e., binding patterns require values to be specified for certain attribut...