117 search results - page 23 / 24 » Bochvar-McCarthy Logic and Process Algebra |
LISP
2002
14 years 9 months ago
2002
Abstract. Specification diagrams (SD's) are a novel form of graphical notation for specifying open distributed object systems. The design goal is to define notation for specif...
81
Voted
JUCS
2010
14 years 8 months ago
2010
: For the processing of decision making with uncertainty information, this paper establishes a decision model based on lattice-valued logic and researches the algorithm for extract...
106
click to vote
PEPM
2011
ACM
14 years 10 days ago
2011
ACM
Navigating through tree structures is a core operation in tree processing programs. Most notably, XML processing programs intensively use XPath, the path specification language t...
169
click to vote
POPL
2007
ACM
15 years 9 months ago
2007
ACM
This paper proposes a lightweight fusion method for general recursive function definitions. Compared with existing proposals, our method has several significant practical features...
105
click to vote
AIMSA
2010
Springer
14 years 11 months ago
2010
Springer
We propose ontological blending as a new method for `creatively' combining ontologies. In contrast to other combination techniques that aim at integrating or assimilating cate...