1055 search results - page 111 / 211 » Enumerations in computable structure theory |
183
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
The next generation of air traffic control will require automated decision support systems in order to meet safety, reliability, flexibility, and robustness demands in an environ...
149
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
Abstract: This paper studies 3-polygraphs as a framework for rewriting on two-dimensional words. A translation of term rewriting systems into 3-polygraphs with explicit resource ma...
140
click to vote
CHI
2005
ACM
16 years 4 months ago
2005
ACM
The goal of this research is to elucidate the ways shared visual space supports group communication and performance. This work involves three stages: a series of empirical studies...
126
click to vote
SIGADA
2005
Springer
15 years 10 months ago
2005
Springer
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...
117
click to vote
CONCURRENCY
2010
15 years 4 months ago
2010
Applications require the composition of resources to execute in a grid computing environment. The Grid Service Providers (GSPs), the owners of the computational resources, must for...