1554 search results - page 48 / 311 » An Overview of the Spring System |
CAISE
2000
Springer
14 years 2 months ago
2000
Springer
This paper presents an approach and a tool to increase specification quality by using a combination of UML and formal languages. Our approach is based on the expression of the UML ...
DAGSTUHL
2006
13 years 11 months ago
2006
This paper presents an update on the current state of development of the Text Encoding Initiative's Guidelines for Electronic Text Encoding and Interchange. Since the last ma...
JLP
2010
13 years 4 months ago
2010
K is an executable semantic framework in which programming languages, calculi, as well as type systems or formal analysis tools can be defined making use of configurations, comput...
EAGC
2004
Springer
14 years 3 months ago
2004
Springer
In this short paper we examine the integration of three emerging trends in Information Technology (Utility Computing, Grid Computing, and Web Services) into a new Computing paradig...
CLEF
2008
Springer
13 years 11 months ago
2008
Springer
GeoCLEF is an evaluation initiative for testing queries with a geographic specification in large set of text documents. GeoCLEF ran a regular track for the third time within the C...