2171 search results - page 146 / 435 » A Generic Process Algebra |
109
click to vote
COLING
1994
15 years 4 months ago
1994
This paper presents a novel technique called "universal guides" which explores inherent properties of logic grammars (changing variable binding status) in order to chara...
118
click to vote
TGIS
2010
14 years 10 months ago
2010
The presented paper deals with a generic process for road network selection based on data enrichment and structure detection. The first step is to detect significant structures and...
156
click to vote
ECMDAFA
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. This paper presents a method to describe the operational semantics of languages based on their meta-model. We combine the established high-level modelling languages MOF, ...
119
click to vote
CPP
2011
14 years 3 months ago
2011
Abstract. In this paper we present a new technique for automatically verifying typing constraints in the setting of Dminor, a first-order data processing language with refinement...
131
click to vote
HICSS
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— Framework design is a multifaceted endeavor undertaken to promote reuse of software within a family of related applications. Traditional approaches involve either the e...