4008 search results - page 451 / 802 » An expressive language of signatures |
171
click to vote
PPDP
2005
Springer
16 years 9 days ago
2005
Springer
We study contexts (terms with holes) by proposing a ‘λcalculus with holes’. It is very expressive and can encode programming constructs apparently unrelated to contexts, incl...
171
click to vote
WEBI
2005
Springer
16 years 9 days ago
2005
Springer
Web services have emerged as a new paradigm that supports loosely-coupled distributed systems in service discovery and service execution. Next generation web services will evolve ...
167
click to vote
APLAS
2004
ACM
16 years 7 days ago
2004
ACM
Modular programming enjoys many well-known advantages: readability, maintainability, separate development and compilation. However, the composition of modular units (components) s...
169
click to vote
DOCENG
2004
ACM
16 years 7 days ago
2004
ACM
XPath [16] was introduced by the W3C as a standard language for specifying node selection, matching conditions, and for computing values from an XML document. XPath is now used in...
150
click to vote
WPES
2004
ACM
16 years 7 days ago
2004
ACM
As computing becomes more ubiquitous and Internet use continues to rise, it is increasingly important for organizations to construct accurate and effective privacy policies that d...