1604 search results - page 122 / 321 » Development Separation in Lambda-Calculus |
HICSS
2006
IEEE
14 years 4 months ago
2006
IEEE
Problems such as price volatility have been observed in electric power markets. Demand-side participation is often offered as a potential solution by promising to increase market ...
ICALT
2006
IEEE
14 years 4 months ago
2006
IEEE
LIMBS is an open source brokerage system developed in the framework of the CALIBRATE project. LIMBS relies on open standards and open contents to promote exchanges of learning res...
ICDCSW
2006
IEEE
14 years 4 months ago
2006
IEEE
Content-based publish/subscribe is a very appealing interaction model that has attracted intense efforts from the research community in the quest to obtain “Internet-wide” sca...
ICEBE
2006
IEEE
14 years 4 months ago
2006
IEEE
Currently supportive information systems for higher education and research are responding to specific information needs within institutes, departments and administration. These se...
ICSM
2006
IEEE
14 years 4 months ago
2006
IEEE
Programming languages provide various mechanisms to support information hiding. One problem with information hiding, however, is that providing a stable interface behind which to ...