960 search results - page 147 / 192 » The disaster of central control |
WADT
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. Narrowing is a method for solving equations in the equational theories of term rewriting systems. Unification and rewriting, the central operations in narrowing, are ofte...
SIGGRAPH
1996
ACM
14 years 1 months ago
1996
ACM
This paper presents new algorithms and techniques for rendering parametric free-form surfaces in pen and ink. In particular, we introduce the idea of "controlled-density hatc...
IFIP
1994
Springer
14 years 1 months ago
1994
Springer
Development of a research project in Computer Science, integrating a considerable number of research institutions and about 1200 individual researchers all over a country with big...
CSE
2009
IEEE
14 years 1 months ago
2009
IEEE
A Distributed Medium Access Control (D-MAC) protocol has been proposed to support high-rate Wireless Personal Area Networks (HR-WPANs) by the WiMedia Alliance. The WiMedia D-MAC s...
FSEN
2009
Springer
14 years 1 months ago
2009
Springer
We propose and explore a formal approach for black-box testing asynchronously communicating components in open environments. Asynchronicity poses a challenge for validating and tes...