1604 search results - page 203 / 321 » Development Separation in Lambda-Calculus |
109
Voted
TABLETOP
2006
IEEE
15 years 6 months ago
2006
IEEE
Interactive tables can enhance small-group colocated collaborative work in many domains. One application enabled by this new technology is copresent, collaborative search for digi...
86
Voted
VTC
2006
IEEE
15 years 6 months ago
2006
IEEE
— The European IST research projects WINNER and WINNER II aim at developing a single new ubiquitous radio access system concept that can be adapted for use in a wide variety of m...
102
Voted
WETICE
2006
IEEE
15 years 6 months ago
2006
IEEE
By separating the process logic from the application code process management systems (PMS) offer promising perspectives for automation and management of business processes. Howeve...
108
click to vote
WISE
2006
Springer
15 years 6 months ago
2006
Springer
. A location-based search engine must be able to find and assign proper locations to Web resources. Host, content and metadata location information are not sufficient to describe t...
ASPDAC
2006
ACM
15 years 6 months ago
2006
ACM
: With technology scaling, elevated temperatures caused by increased power density create a critical bottleneck modulating the circuit operation. With the advent of FinFET technolo...