1418 search results - page 198 / 284 » The Dynamic Complexity of Formal Languages |
153
click to vote
COMSWARE
2007
IEEE
15 years 11 months ago
2007
IEEE
—Sensor networks represent a new frontier in technology that holds the promise of unprecedented levels of autonomy in the execution of complex dynamic missions by harnessing the ...
248
click to vote
POPL
2008
ACM
16 years 5 months ago
2008
ACM
The search for proof and the search for counterexamples (bugs) are complementary activities that need to be pursued concurrently in order to maximize the practical success rate of...
145
click to vote
CONCUR
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We propose a new operational model for shared variable concurrency, in the context of a concurrent, higher-order imperative language `a la ML. In our model the scheduling...
140
click to vote
AIED
2005
Springer
15 years 10 months ago
2005
Springer
Making inferences is crucial for understanding the world. The school may develop such skills but there are few formal opportunities for that. This paper describes an experiment de...
175
Voted
ESOP
2003
Springer
15 years 10 months ago
2003
Springer
Programmers confront a minefield when they design interactive Web programs. Web interactions take place via Web browsers. With browsers, consumers can whimsically navigate among t...