3335 search results - page 516 / 667 » Grid result checking |
131
click to vote
SIGSOFT
2004
ACM
16 years 5 months ago
2004
ACM
Dynamic detection of likely invariants is a program analysis that generalizes over observed values to hypothesize program properties. The reported program properties are a set of ...
121
click to vote
SIGSOFT
2001
ACM
16 years 5 months ago
2001
ACM
This article explores a dual approach to real-time software development. Models are written in UML, as this is expected to be relatively easy and economic. Then models are automat...
128
click to vote
WWW
2008
ACM
16 years 5 months ago
2008
ACM
Many emerging semantic web applications include ontologies from one set of authors and instance data from another (often much larger) set of authors. Often ontologies are reused a...
120
click to vote
WWW
2007
ACM
16 years 5 months ago
2007
ACM
Investigating whether one can view Web searching as a learning process, we examined the searching characteristics of 41 participants engaged in 246 searching tasks. We classified ...
150
click to vote
WWW
2007
ACM
16 years 5 months ago
2007
ACM
To increase confidence in the correctness of specified policies, policy developers can conduct policy testing by supplying typical test inputs (requests) and subsequently checking...