Sciweavers

3809 search results - page 50 / 762
» Associative language descriptions
Sort
View
UML
2000
Springer
15 years 8 months ago
Towards a UML Profile for Software Architecture Descriptions
Abstract. To formally describe architectures of software systems, specific languages called Architecture Description Languages (ADLs) have been developed by academic institutions a...
Mohamed Mancona Kandé, Alfred Strohmeier
ENTCS
2002
132views more  ENTCS 2002»
15 years 4 months ago
Action Semantics and ASF+SDF: System Demonstration
Modularity and tool support are crucial features for practical use of formal descriptions of programming languages. The combination of unrestricted context-free grammars with acti...
Peter D. Mosses
ISMIS
2003
Springer
15 years 9 months ago
A Formal Approach to Describing Action Concepts in Taxonomical Knowledge Bases
T his paper outlines a formal theory for de fining action concepts in taxonomical knowledge representation languages, in a form closely related to description logics. The central p...
Christel Kemke
KI
1994
Springer
15 years 8 months ago
Representing Concurrent Actions and Solving Conflicts
Abstract. As an extension of the well
Sven-Erik Bornscheuer, Michael Thielscher
SAMOS
2004
Springer
15 years 9 months ago
CoDeL: Automatically Synthesizing Network Interface Controllers
Abstract. In this work we present CoDeL (Controller Description Language), a framework for rapidly prototyping policy specific controllers for routers in interconnection networks....
Radhakrishnan Sivakumar, Vassilios V. Dimakopoulos...