4460 search results - page 808 / 892 » Resources in process algebra |
128
click to vote
SIGUCCS
2000
ACM
15 years 10 months ago
2000
ACM
After thirty-plus years of making small “mid-course corrections” types of changes to the support paradigm, many on the Iowa State University campus thought it was time to make...
182
click to vote
NPIV
1999
ACM
15 years 10 months ago
1999
ACM
We built a tool to visualize and explore program execution traces. Our goal was to help programmers without any prior knowledge of a program, quickly get enough knowledge about it...
146
click to vote
TSD
1999
Springer
15 years 10 months ago
1999
Springer
The use of the treebank as a resource for linguistic research has led us to look for an annotation scheme representing not only surface syntactic information (in ‘analytic trees...
169
click to vote
RTCSA
1998
IEEE
15 years 10 months ago
1998
IEEE
Advances in the computer technology encouraged the avionics industry to replace the federated design of control units with an integrated suite of control modules that share the co...
147
click to vote
SEAL
1998
Springer
15 years 10 months ago
1998
Springer
The allocation of office space in any large institution is usually a problematical issue, which often demands a substantial amount of time to perform manually. The result of this a...