1562 search results - page 179 / 313 » Convenience Over Correctness |
114
click to vote
WECWIS
2003
IEEE
15 years 3 months ago
2003
IEEE
Service portals are systems which expose a bundle of web services to the user, allowing the specification and subsequent execution of complex tasks defined over these individual...
113
click to vote
POPL
2000
ACM
15 years 2 months ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...
WLP
1997
Springer
15 years 2 months ago
1997
Springer
eduction strategies for logic programs often use an abstraction operator to guarantee the niteness of the set of goals for which partial deductions are . Findingan abstraction ope...
SP
2010
IEEE
15 years 1 months ago
2010
IEEE
—EMV is the dominant protocol used for smart card payments worldwide, with over 730 million cards in circulation. Known to bank customers as “Chip and PIN”, it is used in Eur...
COMPSAC
2004
IEEE
15 years 1 months ago
2004
IEEE
Software reliability is defined as the probability of failure-free software operation for a specified period of time in a specified environment. Over the past 30 years, many softw...