4212 search results - page 194 / 843 » Rights Expression Languages |
157
click to vote
PLDI
1998
ACM
15 years 10 months ago
1998
ACM
Existing array region representation techniques are sensitive to the complexity of array subscripts. In general, these techniques are very accurate and efficient for simple subscr...
207
click to vote
IFIP13
2004
15 years 7 months ago
2004
: This paper proposes a development process for interactive systems based both on verification and validation methods. Our approach is formal and use at first the B Method. We show...
153
click to vote
ENTCS
2008
15 years 6 months ago
2008
Logic meta-programming in Prolog is a powerful way to express program analysis and transformation. However, its use can be difficult and error-prone because it requires programmer...
174
click to vote
INLG
2010
Springer
15 years 4 months ago
2010
Springer
This paper discusses the basic structures necessary for the generation of reference to objects in a visual scene. We construct a study designed to elicit naturalistic referring ex...
157
click to vote
IFIP
2010
Springer
15 years 1 months ago
2010
Springer
Service Oriented Computing (SOC) is a programming paradigm aiming at characterising Service Networks. Services are entities waiting for clients requests and they often result from ...