5101 search results - page 273 / 1021 » Capturing Context Requirements |
176
click to vote
ICALP
2001
Springer
15 years 11 months ago
2001
Springer
We present a logical framework Υ for reasoning on a very general class of languages featuring binding operators, called nominal , presented in higher-order abstract syntax (HOAS)....
177
click to vote
DCW
2000
Springer
15 years 11 months ago
2000
Springer
Intensional Programming involves the programming of expressions placed in an inherent multidimensional context space. It is an emerging and highly dynamic domain of general applica...
156
click to vote
DCW
2000
Springer
15 years 11 months ago
2000
Springer
: In Web applications it is often required to manipulate information of semistructured nature, which may present variations according to different circumstances. Multidimensional ...
183
click to vote
ISN
1998
Springer
15 years 11 months ago
1998
Springer
This paper reports work carried out in the context of the ACTS AVANTI AC042 project, addressing the issue of providing accessibility and high quality interaction in Web-based multi...
197
click to vote
GECCO
2010
Springer
15 years 10 months ago
2010
Springer
The island model for evolutionary algorithms allows to delay the global convergence of the evolution process and encourage diversity. However, solving large size and time-intensiv...