7139 search results - page 1089 / 1428 » Language Engineering in Practice |
157
click to vote
WSE
2005
IEEE
16 years 11 days ago
2005
IEEE
The growing need for personalization and device independence calls for effective ways of engineering adaptive Web applications. This requires formats, languages and structured pro...
185
click to vote
TLDI
2005
ACM
16 years 10 days ago
2005
ACM
Atomicity is a fundamental correctness property in multithreaded programs. This paper presents an algorithm for verifying atomicity via type inference. The underlying type system ...
171
click to vote
CLEF
2005
Springer
16 years 10 days ago
2005
Springer
This paper describes the development of a question answering system for monolingual and cross-lingual tasks for the languages English and German. We developed the question answeri...
169
click to vote
EMSOFT
2005
Springer
16 years 10 days ago
2005
Springer
— Typical embedded hardware/software systems are implemented using a combination of C and an HDL such as Verilog. While each is well-behaved in isolation, combining the two gives...
183
click to vote
FOSSACS
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Nominal logic is a variant of first-order logic equipped with a “freshname quantifier” N and other features useful for reasoning about languages with bound names. I...