5326 search results - page 1011 / 1066 » On what we can ensure |
107
click to vote
ESOP
2004
Springer
15 years 6 months ago
2004
Springer
t) Peter W. O’Hearn Queen Mary, University of London In the 1960s Dijkstra suggested that, in order to limit the complexity of potential process interactions, concurrent programs...
100
click to vote
EWCBR
2004
Springer
15 years 6 months ago
2004
Springer
In industrial manufacturing rigorous testing is used to ensure that the delivered products meet their specifications. Mechanical maladjustment or faults often show their presence t...
103
Voted
ICWE
2004
Springer
15 years 6 months ago
2004
Springer
The situation in engineering security for Web services that access databases is as follows: On the one hand, specifications like WSSecurity are concerned with the security managem...
114
Voted
HICSS
2003
IEEE
15 years 5 months ago
2003
IEEE
Customer Relationship Management (CRM) is critical to the success of a business. Recent work in CRM has focused on the mining of customer-related data and the construction of cust...
109
click to vote
CASES
2003
ACM
15 years 5 months ago
2003
ACM
Knowing the Worst-Case Execution Time (WCET) of a program is necessary when designing and verifying real-time systems. A correct WCET analysis method must take into account the po...