9370 search results - page 181 / 1874 » An Abstract Notion of Application |
203
click to vote
ENTCS
2011
14 years 10 months ago
2011
We revisit the connection between three notions of computation: Moggi’s monads, Hughes’s arrows and McBride and Paterson’s idioms (also called applicative functors). We show...
189
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. BeepBeep is a lightweight runtime monitor for Ajax web applications. Interface specifications are expressed internally in an extension of LTL with first-order quantificat...
148
click to vote
KIVS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Application Layer Multicast (ALM) is an attractive solution to overcome the deployment problems of IP-Multicast. We show how to cope with the challenges of incorporating ...
138
click to vote
GCC
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. In this short communication, we survey the relationships between Cayley digraphs and their subgraphs and coset graphs with respect to subgroups and obtain some general re...
156
click to vote
AMI
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We provide the first tool for verifying the logic of contextaware applications written for the mainstream sensor network operating system TinyOS; we focus on detecting pr...