7139 search results - page 432 / 1428 » Language Engineering in Practice |
176
click to vote
EDBTW
2006
Springer
15 years 11 months ago
2006
Springer
In my thesis I will address the problem of interoperation between information spaces on the web. We explain how this problem is different to traditional database integration scenar...
174
click to vote
APSEC
2000
IEEE
15 years 11 months ago
2000
IEEE
SOFL is a formal language and method for system specification and design. As a language it is an integration of Petri nets, Data Flow Diagrams, and VDM-SL. As a method it is a com...
186
click to vote
EWSPT
2000
Springer
15 years 11 months ago
2000
Springer
This paper describes a prototype for supporting distributed, mobile software processes. The prototype allows instantiated process models to be distributed in different workspaces, ...
198
click to vote
FASE
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. We introduce a generalised notion of a real-time speci cation language (\GPLC-Automata") that can be translated directly into real-time programs. In order to describ...
203
click to vote
ACL
2008
15 years 9 months ago
2008
Web search engines today typically show results as a list of titles and short snippets that summarize how the retrieved documents are related to the query. However, recent researc...