7139 search results - page 257 / 1428 » Language Engineering in Practice |
195
click to vote
CAISE
2006
Springer
15 years 11 months ago
2006
Springer
In this paper we present an e-librarian service which is able to retrieve multimedia resources from a knowledge base in a more efficient way than by browsing through an index or by...
222
click to vote
ECOOPWEXCEPTION
2006
Springer
15 years 10 months ago
2006
Springer
It is difficult to write programs that behave correctly in the presence of exceptions. We describe a dataflow analysis for finding a certain class of mistakes made while programs h...
183
click to vote
FOSSACS
2000
Springer
15 years 10 months ago
2000
Springer
We relate several models of concurrency introduced in the literature in order to extend classical Mazurkiewicz traces. These are mainly Droste's concurrent automata and Arnold...
204
click to vote
FOSSACS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper, we show how Miquel's Implicit Calculus of Constructions (ICC) can be used as a programming language featuring dependent types. Since this system has a...
200
click to vote
ENGL
2008
15 years 7 months ago
2008
Prototyping is a technique widely used in many engineering fields. However, in software engineering, its usage is limited to requirement elicitation. Little research has been done ...