3664 search results - page 199 / 733 » Language Technology for eLearning |
136
click to vote
CONCUR
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We define a language for Web services contracts as a parallelfree fragment of ccs and we study a natural notion of compliance between clients and services in terms of th...
111
Voted
SAS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Programming language technology can contribute to the development and understanding of Systems Biology by providing formal calculi for specifying and analysing the dynami...
141
Voted
ICIW
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract-- Maintaining large websites and verifying their semantic content is a difficult task. In this paper we propose a framework for syntactic validation, semantic verification...
130
click to vote
CAISE
2006
Springer
15 years 7 months ago
2006
Springer
This paper presents a classification framework for workflow exception handling in the form of patterns. This framework is independent of specific modelling approaches or technologi...
138
Voted
EACL
2006
ACL Anthology
15 years 4 months ago
2006
ACL Anthology
This paper describes a multi-lingual phrase-based Statistical Machine Translation system accessible by means of a Web page. The user can issue translation requests from Arabic, Ch...