3527 search results - page 316 / 706 » Test Automation in Practice |
155
click to vote
DAC
2007
ACM
16 years 6 months ago
2007
ACM
An effective method for focusing optimization effort on the most important parts of a design is to examine those elements on the critical path. Traditionally, the critical path is...
138
click to vote
WWW
2005
ACM
16 years 5 months ago
2005
ACM
Whereas schools typically record mounds of data regarding student performance, attendance, and other behaviors over the course of a school year, rarely is that data consulted and ...
126
Voted
ESAW
2009
Springer
15 years 11 months ago
2009
Springer
Expressing contractual agreements electronically potentially allows agents to automatically perform functions surrounding contract use: establishment, fulfilment, renegotiation et...
139
click to vote
ICFEM
2009
Springer
15 years 11 months ago
2009
Springer
Coinductive proofs of behavioral equivalence often require human ingenuity, in that one is expected to provide a “good” relation extending one’s goal with additional lemmas, ...
146
click to vote
TPHOL
2008
IEEE
15 years 11 months ago
2008
IEEE
Although graphs are very common in computer science, they are still very difficult to handle for proof assistants as proving properties of graphs may require heavy computations. T...