5130 search results - page 880 / 1026 » Constraint Query Languages |
137
click to vote
CICLING
2006
Springer
15 years 7 months ago
2006
Springer
In this paper a theory of dialogue acts analysis in problem-solving tasks-oriented conversations is presented. The theory postulates that in practical dialogues every transaction h...
126
click to vote
ECOOP
2006
Springer
15 years 7 months ago
2006
Springer
In spite of the more advanced modularisation mechanisms, aspect-oriented programs still suffer from evolution problems. Due to the fragile pointcut problem, seemingly safe modifica...
133
click to vote
ESOP
2006
Springer
15 years 7 months ago
2006
Springer
We present a multi-lingual type inference system for checking type safety of programs that use the Java Native Interface (JNI). The JNI uses specially-formatted strings to represe...
148
Voted
ESOP
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In previous work, we described a new approach to supporting userdefined type qualifiers, which augment existing types to specify and check additional properties of intere...
133
Voted
EUROPAR
2006
Springer
15 years 7 months ago
2006
Springer
Resource constraints are a major concern with the design, development, and deployment of embedded systems. Embedded systems are highly hardware-dependent and have little computatio...