80 search results - page 14 / 16 » New-HOPLA: A Higher-order Process Language with Name Generat... |
UML
2001
Springer
13 years 10 months ago
2001
Springer
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...
LACL
2005
Springer
13 years 11 months ago
2005
Springer
Locality Conditions (LCs) on (unbounded) dependencies have played a major role in the development of generative syntax ever since the seminal work by Ross [22]. Descriptively, they...
WWW
2005
ACM
14 years 6 months ago
2005
ACM
Without the proliferation of formal semantic annotations, the Semantic Web is certainly doomed to failure. In earlier work we presented a new paradigm to avoid this: the 'Sel...
CLEF
2006
Springer
13 years 10 months ago
2006
Springer
In this paper we suggest a QA pilot task, dubbed QolA, whose joint rationale is allow for collaboration among systems, increase multilinguality and multicollection use, and investi...
MODELS
2007
Springer
14 years 8 days ago
2007
Springer
To promote the Model-Based software engineering development of user interfaces, this paper proposes a model driven development approach of complex user interface. The approach cap...