7047 search results - page 1 / 1410 » Focusing on Binding and Computation |
106
click to vote
LICS
2008
IEEE
15 years 6 months ago
2008
IEEE
Variable binding is a prevalent feature of the syntax and proof theory of many logical systems. In this paper, we define a programming language that provides intrinsic support fo...
PERCOM
2007
ACM
15 years 11 months ago
2007
ACM
Context-awareness (CA) enables the development of personalized pervasive services. Current context-aware infrastructures focus on middleware solutions to support acquisition, usag...
97
Voted
TSC
2010
14 years 10 months ago
2010
—Service-Oriented Computing has recently received a lot of attention from both academia and industry. However, current service-oriented solutions are often not as dynamic and ada...
COST
1994
Springer
15 years 3 months ago
1994
Springer
: An open architecture that achieves seamless binding between networking and multimedia devices is proposed. The building blocks of the binding architecture consist of a set of es,...
ICAI
2007
15 years 1 months ago
2007
Abstract Drug-protein binding is the reversible interaction of drugs with proteins in an organism and is vital in helping the body reject invading pathogenic organisms. Predicting ...