1828 search results - page 176 / 366 » First-Class Type Classes |
153
click to vote
SIGADA
2005
Springer
15 years 12 months ago
2005
Springer
One of the most important object-oriented features of the new revision of the Ada Programming Language is the introof Abstract Interfaces to provide a form of multiple nce. Ada 20...
177
click to vote
KR
2004
Springer
15 years 11 months ago
2004
Springer
We continue to advocate a methodology that we used earlier for pattern discovery through exhaustive search in selected small domains. This time we apply it to the problem of disco...
178
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
Reflection and automated introspection of a design in system level design frameworks are seen as necessities for the CAD tools to manipulate the designs within the tools. These f...
153
click to vote
CP
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Most previous theoretical study of the complexity of the constraint satisfaction problem has considered a simplified version of the problem in which all variables have t...
185
click to vote
INFOCOM
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract-- We propose a framework for decentralized path selection and on-demand wavelength channel provisioning in WDM networks with routing constraints. Within this framework, th...