7047 search results - page 1 / 1410 » Focusing on Binding and Computation |
LICS
2008
IEEE
13 years 11 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
14 years 4 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...
TSC
2010
13 years 2 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
13 years 8 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
13 years 6 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 ...