Sciweavers

1604 search results - page 203 / 321
» Development Separation in Lambda-Calculus
Sort
View
109
Voted
TABLETOP
2006
IEEE
15 years 6 months ago
TeamSearch: Comparing Techniques for Co-Present Collaborative Search of Digital Media
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...
Meredith Ringel Morris, Andreas Paepcke, Terry Win...
86
Voted
VTC
2006
IEEE
15 years 6 months ago
The WINNER B3G System MAC Concept
— 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...
Mikael Sternad, Tommy Svensson, Göran Klang
102
Voted
WETICE
2006
IEEE
15 years 6 months ago
On Representing Instance Changes in Adaptive Process Management Systems
By separating the process logic from the application code process management systems (PMS) offer promising perspectives for automation and management of business processes. Howeve...
Stefanie Rinderle, Ulrich Kreher, Markus Lauer, Pe...
WISE
2006
Springer
15 years 6 months ago
Calculation of Target Locations for Web Resources
. 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...
Saeid Asadi, Jiajie Xu, Yuan Shi, Joachim Diederic...
ASPDAC
2006
ACM
159views Hardware» more  ASPDAC 2006»
15 years 6 months ago
Compact thermal models for estimation of temperature-dependent power/performance in FinFET technology
: With technology scaling, elevated temperatures caused by increased power density create a critical bottleneck modulating the circuit operation. With the advent of FinFET technolo...
Aditya Bansal, Mesut Meterelliyoz, Siddharth Singh...