4359 search results - page 315 / 872 » Automated Pipeline Design |
205
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
154
click to vote
FLOPS
2006
Springer
15 years 10 months ago
2006
Springer
What will a definitive programming language look like? By definitive language I mean a programming language that gives good soat its level of abstraction, allowing computer science...
221
click to vote
CSL
2011
Springer
15 years 1 months ago
2011
Springer
We describe the design and evaluation of two different dynamic student uncertainty adaptations in wizarded versions of a spoken dialogue tutoring system. The two adaptive systems...
199
Voted
OOPSLA
2007
Springer
16 years 27 days ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
173
Voted
GIS
2002
ACM
15 years 6 months ago
2002
ACM
In mobile field data collection, data gatherer requires to get geospatial information service to support in navigating to the right locations, describing context of observed objec...