1895 search results - page 84 / 379 » Modular Functional Descriptions |
RTA
1991
Springer
13 years 11 months ago
1991
Springer
A term rewriting system is called complete if it is both confluent and strongly norrealizing. Barendregt and Klop showed that the disjoint union of complete term rewriting systems...
WADT
2004
Springer
14 years 1 months ago
2004
Springer
Petri hypernets, a novel framework for modeling mobile agents based on nets-within-nets paradigm is presented. Hypernets employ a local and finitary character of interactions betw...
ACL
1993
13 years 9 months ago
1993
Various feature descriptions are being employed in constrained-based grammar formalisms. The common notational primitive of these descriptions are functional attributes called fea...
EDOC
2003
IEEE
14 years 1 months ago
2003
IEEE
The MOF Query, View and Transformation RFP, issued by OMG will result in a key enabling technology for modeldriven development of large distributed systems. We have designed a tra...
ENTCS
2007
13 years 7 months ago
2007
Software coordination and adaptation is intimately related to software (modular) pieces and access points. These pieces (components or services) may be complex, dissimilar (various...