1712 search results - page 3 / 343 » A Computational Approach to Binding Theory |
ENTCS
2007
13 years 6 months ago
2007
d Abstract) Brian Aydemir Aaron Bohannon Stephanie Weirich Department of Computer and Information Science University of Pennsylvania Philadelphia, PA, USA We explore an axiomatize...
ICNP
2006
IEEE
14 years 5 days ago
2006
IEEE
— Binding services are crucial building blocks in networks and networked applications. A binding service (e.g., the Domain Name System (DNS)) maps certain information, namely, bi...
CODES
2010
IEEE
13 years 4 months ago
2010
IEEE
Due to the ever increasing system complexity, deciding whether a given platform is sufficient to implement a set of applications under given constraints becomes a serious bottlene...
FAC
2002
13 years 5 months ago
2002
proach to Abstract Syntax with Variable Binding1 Murdoch J. Gabbay and Andrew M. Pitts Cambridge University Computer Laboratory, Cambridge, UK
PERCOM
2006
ACM
14 years 5 months ago
2006
ACM
In pervasive computing, devices or peers may implement or compose services using services from other devices or peers, and may use components from various sources. A composition t...