1055 search results - page 185 / 211 » On the Semantics of Logic Programs with Preferences |
167
click to vote
AOSD
2007
ACM
15 years 9 months ago
2007
ACM
We define and study bisimulation for proving contextual equivalence in an aspect extension of the untyped lambda-calculus. To our knowledge, this is the first study of coinductive...
177
click to vote
EMSOFT
2004
Springer
15 years 11 months ago
2004
Springer
Data flow process networks are a good model of computation for streaming multimedia applications incorporating audio, video and/or graphics streams. Process networks are concurre...
140
click to vote
CORR
2004
Springer
15 years 5 months ago
2004
Springer
Abstraction by Typing Andrew D. Gordon Microsoft Research Riccardo Pucella Cornell University An XML web service is, to a first approximation, an RPC service in which requests and...
143
Voted
PERCOM
2009
ACM
16 years 10 days ago
2009
ACM
—We present a middleware platform for assembling pervasive applications that demand fault-tolerance and adaptivity in distributed, dynamic environments. Unlike typical adaptive m...
152
click to vote
WWW
2006
ACM
15 years 11 months ago
2006
ACM
A Service oriented system emerges from composition of services. Dynamically composed reactive Web services form a special class of service oriented system, where the delays associ...