Sciweavers

497 search results - page 55 / 100
» Compositional Matrix-Space Models of Language
Sort
View
IS
2006
13 years 11 months ago
Composition of Semantic Web services using Linear Logic theorem proving
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses a Semantic Web service language (DAML-S)...
Jinghai Rao, Peep Küngas, Mihhail Matskin
ACL
2007
14 years 18 days ago
Mildly Context-Sensitive Dependency Languages
Dependency-based representations of natural language syntax require a fine balance between structural flexibility and computational complexity. In previous work, several constra...
Marco Kuhlmann, Mathias Möhl
UML
1998
Springer
14 years 3 months ago
Supporting Disciplined Reuse and Evolution of UML Models
UML provides very little support for modelling evolvable or reusable specifications and designs. To cope with this problem, the UML needs to be extended with support for reuse and ...
Tom Mens, Carine Lucas, Patrick Steyaert
UML
2000
Springer
14 years 2 months ago
Precise Modeling of Design Patterns
Abstract. Design Patterns are now widely accepted as a useful concept for guiding and documenting the design of object-oriented software systems. Still the UML is ill-equipped for ...
Alain Le Guennec, Gerson Sunyé, Jean-Marc J...
ECOOP
2007
Springer
14 years 5 months ago
Towards correct evolution of components using VPA-based aspects
Abstract. Interaction protocols are a popular means to construct correct component-based systems. Aspects that modify such protocols are interesting in this context because they su...
Dong Ha Nguyen, Mario Südholt