5090 search results - page 550 / 1018 » Constructing Strategies for Programming |
117
click to vote
TOIT
2002
15 years 6 months ago
2002
xlinkit is a lightweight application service that provides rule-based link generation and checks the consistency of distributed web content. It leverages standard Internet technol...
233
click to vote
TOPLAS
2002
15 years 6 months ago
2002
We present an efficient encoding of core Java constructs in a simple, implementable typed intermediate language. The encoding, after type erasure, has the same operational behavio...
217
click to vote
UMUAI
2002
15 years 6 months ago
2002
Spoken dialogue systemperformance canvary widely fordifferentusers, aswell for the same userduring different dialogues.This paper presents the design and evaluation ofan adaptive v...
217
click to vote
ICSOC
2010
Springer
15 years 5 months ago
2010
Springer
Classical notations for service collaborations focus either on the control flow of participating services (interacting models) or the order in which messages are exchanged (intera...
171
click to vote
JSC
2010
15 years 5 months ago
2010
Let f(X, Y ) ∈ Z[X, Y ] be an irreducible polynomial over Q. We give a Las Vegas absolute irreducibility test based on a property of the Newton polytope of f, or more precisely,...