2436 search results - page 107 / 488 » Comonadic Notions of Computation |
136
click to vote
ICWS
2009
IEEE
16 years 1 months ago
2009
IEEE
Deciding on web service equivalence in process-aware service compositions is a crucial challenge throughout the composition life cycle. Restricting such decisions to (activity) la...
135
click to vote
SACMAT
2009
ACM
15 years 10 months ago
2009
ACM
Collaborative and distributed applications, such as dynamic coalitions and virtualized grid computing, often require integrating access control policies of collaborating parties. ...
148
click to vote
ICALP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Nested words are a restriction of the class of visibly pushdown languages that provide a natural model of runs of programs with recursive procedure calls. The usual conne...
142
click to vote
LPNMR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The recently proposed notion of an elementary set yielded a refinement of the theorem on loop formulas, telling us that the stable models of a disjunctive logic program ...
131
click to vote
ISSTA
2006
ACM
15 years 10 months ago
2006
ACM
Testing with random inputs can give surprisingly good results if the distribution of inputs is spread out evenly over the input domain; this is the intuition behind Adaptive Rando...