2478 search results - page 77 / 496 » Quadtrees as an Abstract Domain |
ASE
2002
13 years 8 months ago
2002
XML (Extensible Markup Language), a linear syntax for trees, has gathered a remarkable amount of interest in industry. The acceptance of XML opens new venues for the application o...
PEPM
1994
ACM
14 years 3 days ago
1994
ACM
First-order projection-based binding-time analysis has proven genuinely useful in partial evaluation Lau91a, Lau91c]. There have been three notable generalisations of projection-b...
B
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...
AIIA
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Adaptation is one of the most problematic steps in the design and development of Case Based Reasoning (CBR) systems, as it may require considerable domain knowledge and i...
TACS
2001
Springer
14 years 14 days ago
2001
Springer
We propose the πD -calculus, a process calculus that can flexibly model fine-grained control of resource access in distributed computation, with a type system that statically pr...