6054 search results - page 136 / 1211 » Implementation of Andorra-based Languages |
119
click to vote
CP
2009
Springer
15 years 2 months ago
2009
Springer
Any sufficiently complex finite-domain constraint modelling language has the ability to express undefined values, for example division by zero, or array index out of bounds. This p...
177
click to vote
GG
2008
Springer
15 years 6 months ago
2008
Springer
Graph Languages1 emerged during the seventies from the necessity to process data structures with complex interrelations. Nowadays, various variants of these languages can be found...
138
click to vote
ACSAC
2007
IEEE
15 years 11 months ago
2007
IEEE
Security-typed languages (STLs) are powerful tools for provably implementing policy in applications. The programmer maps policy onto programs by annotating types with information ...
136
click to vote
SIGIR
2005
ACM
15 years 10 months ago
2005
ACM
Song and Bruza [6] introduce a framework for Information Retrieval(IR) based on Gardenfor’s three tiered cognitive model; Conceptual Spaces[4]. They instantiate a conceptual spa...
143
click to vote
EMSOFT
2001
Springer
15 years 9 months ago
2001
Springer
rovides an abstract programmer’s model for the implementation of embedded control systems with hard real-time constraints. A typical control application consists of periodic soft...