1199 search results - page 231 / 240 » Software Verification and Software Engineering a Practitione... |
SIGSOFT
2002
ACM
16 years 2 months ago
2002
ACM
Static checking can verify the absence of errors in a program, but often requires written annotations or specifications. As a result, static checking can be difficult to use effec...
140
click to vote
IUI
2004
ACM
15 years 7 months ago
2004
ACM
Complex applications in many areas, including scientific computations and business-related web services, are created from collections of components to form workflows. In many case...
200
click to vote
TAPIA
2009
ACM
15 years 6 months ago
2009
ACM
According to Computing Research Association, during each year between 2003 and 2007, fewer than 3% of the US’s Ph.D.s graduates in computer science and computer engineering were...
114
click to vote
EUROSYS
2010
ACM
15 years 6 months ago
2010
ACM
When a performance crisis occurs in a datacenter, rapid recovery requires quickly recognizing whether a similar incident occurred before, in which case a known remedy may apply, o...
154
click to vote
AOSD
2009
ACM
15 years 5 months ago
2009
ACM
Some security concerns are sensitive to flow of information in a program execution. The dataflow pointcut has been proposed by Masuhara and Kawauchi in order to easily implement s...