1399 search results - page 28 / 280 » Verification of Test Suites |
127
click to vote
ICDIM
2009
IEEE
14 years 11 months ago
2009
IEEE
Motivated by the numerous applications of analysing opinions in multi-domain scenarios, this paper studies the potential of a still rarely considered approach to the problem of mu...
121
Voted
ICSE
2007
IEEE-ACM
16 years 2 months ago
2007
IEEE-ACM
Designing complex multi-tier applications that must meet strict performance requirements is a challenging software engineering problem. Ideally, the application architect could de...
127
click to vote
AMC
2005
15 years 1 months ago
2005
Batch verification is a method to verify multiple signatures at once. There are two issues associated with batch verification. One is the security problem and the other is the com...
118
click to vote
ATAL
2003
Springer
15 years 5 months ago
2003
Springer
Verification and compliance testing are required if agents are to be delegated responsibility for legally binding contracts, for example in electronic markets. This paper describes...
109
click to vote
TAP
2008
Springer
15 years 1 months ago
2008
Springer
Formal methods can only gain widespread use in industrial software development if they are integrated into software development techniques, tools, and languages used in practice. A...