Sciweavers

3664 search results - page 300 / 733
» Language Technology for eLearning
Sort
View
EPEW
2005
Springer
15 years 9 months ago
Reasoning About Interaction Patterns in Choreography
Choreography languages provide a top-view design way for describing complex systems composed of services distributed over the network. The basic building block of such languages is...
Roberto Gorrieri, Claudio Guidi, Roberto Lucchi
145
Voted
SIGIR
2004
ACM
15 years 9 months ago
Image based gisting in CLIR
In this paper, we describe research which could lead to a novel approach to gathering an overview of a document in a foreign language. The research explores how much of the meanin...
Mark Sanderson, Robert Pasley
CAISE
2004
Springer
15 years 9 months ago
Object-Process Methodology (OPM) vs. UML - a Code Generation Perspective
Modeling languages have been evolving at a high pace, encouraging the use of automatic code generators for transforming models to programs. Automatic code generators should enable ...
Iris Reinhartz-Berger, Dov Dori
140
Voted
FOIKS
2004
Springer
15 years 9 months ago
Implementing Ordered Choice Logic Programming using Answer Set Solvers
Abstract. Ordered Choice Logic Programming (OCLP) allows for dynamic preference-based decision-making with multiple alternatives without the need for any form of negation. This com...
Marina De Vos
128
Voted
LCTRTS
2004
Springer
15 years 9 months ago
Advanced control flow in Java card programming
Java Card technology simplifies the development of smart card applications by providing a high-level programming language similar to Java. However, the master-slave programming m...
Peng Li, Steve Zdancewic