11324 search results - page 2165 / 2265 » Coordination Models and Languages |
184
click to vote
DEBU
2010
15 years 6 months ago
2010
Microsoft StreamInsight is a platform for developing and deploying streaming applications. StreamInsight embraces a temporal stream model to unify and further enrich query languag...
172
click to vote
ENTCS
2008
15 years 6 months ago
2008
Thanks to recent advances, modern proof assistants now enable verification of realistic sequential programs. However, regarding the concurrency paradigm, previous work essentially...
211
click to vote
ASE
2006
15 years 6 months ago
2006
User interface (UI) prototyping and scenario engineering have become popular techniques. Yet, the transition from scenario to formal specifications and the generation of UI code is...
181
click to vote
IEE
2008
15 years 6 months ago
2008
With Java 5 annotations, we note a marked increase in tools that can statically detect potential null dereferences. To be effective such tools require that developers annotate decl...
153
click to vote
COGSCI
2006
15 years 6 months ago
2006
Older and younger adults' abilities to use context information rapidly during ambiguity resolution were investigated. In Experiments 1 and 2, younger and older adults heard a...