5451 search results - page 990 / 1091 » Typed Operational Semantics |
142
Voted
DGO
2007
15 years 4 months ago
2007
Solving complex global problems such as illegal immigration, border control, and terrorism requires government organizations at all levels to share not only data but, more importa...
116
Voted
DAGSTUHL
2004
15 years 4 months ago
2004
We study the optimal approximation of the solution of an operator equation A(u) = f by four types of mappings: a) linear mappings of rank n; b) n-term approximation with respect t...
119
Voted
IQ
2001
15 years 4 months ago
2001
: Physical and informational works are strongly interrelated in a business process. This facilitates modeling a business process as an integral part of a closed loop information an...
139
Voted
FLAIRS
2003
15 years 4 months ago
2003
We have developed a model-based, distributed architecture that integrates diverse components in a system designed for lunar and planetary surface operations: an astronaut’s spac...
147
click to vote
OSDI
2000
ACM
15 years 4 months ago
2000
ACM
Knit is a new component definition and linking language for systems code. Knit helps make C code more understandable and reusable by third parties, helps eliminate much of the per...