1722 search results - page 204 / 345 » Ontology Formalism Transformation |
187
click to vote
UML
2005
Springer
15 years 12 months ago
2005
Springer
Refactoring of UML class diagrams is an emerging research topic and heavily inspired by refactoring of program code written in object-oriented implementation languages. Current cla...
166
click to vote
DEXA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The parsing schemata formalism allows us to describe parsing algorithms in a simple, declarative way by capturing their fundamenntics while abstracting low-level detail. ...
161
click to vote
ICWS
2003
IEEE
15 years 7 months ago
2003
IEEE
: Presented is the vision of the authors on how diverse web services may be composed, mediated by dynamic task coalitions of agents performing tasks for service requestors. The foc...
136
click to vote
CJ
2010
15 years 6 months ago
2010
A contract specifies an interorganizational process together with a distribution of responsibilities for the activities among the parties involved. In this paper, we formally show ...
173
click to vote
JUCS
2008
15 years 6 months ago
2008
Abstract: Denotational semantics is a powerful technique to formally define programming languages. However, language constructs are not always orthogonal, so many semantic equation...