1246 search results - page 146 / 250 » Online testing with model programs |
107
click to vote
DBPL
1999
Springer
15 years 5 months ago
1999
Springer
We consider two-dimensional spatial databases defined in terms of polynomial inequalities and focus on the potential of programming languages for such databases to express queries...
211
click to vote
POPL
2003
ACM
16 years 1 months ago
2003
ACM
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...
116
Voted
VSTTE
2010
Springer
14 years 10 months ago
2010
Springer
A suite of verification benchmarks for software verification tools and techniques, presented at VSTTE 2008 [11], provides an initial catalogue of benchmark challenges for the Verif...
112
Voted
HICSS
2005
IEEE
15 years 6 months ago
2005
IEEE
Discourse, a form of collaborative learning [44], is one of the most widely used methods of teaching and learning in the online environment. Particularly in large courses, discour...
ICIP
2007
IEEE
16 years 2 months ago
2007
IEEE
On-line discovery of some auxiliary objects to verify the tracking results is a novel approach to achieving robust tracking by balancing the need for strong verification and compu...