2436 search results - page 267 / 488 » Comonadic Notions of Computation |
169
click to vote
SPIN
2005
Springer
16 years 3 days ago
2005
Springer
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...
170
click to vote
TLCA
2005
Springer
16 years 3 days ago
2005
Springer
There is growing public concern about personal data collected by both private and public sectors. People have very little control over what kinds of data are stored and how such da...
190
click to vote
POPL
2004
ACM
16 years 2 days ago
2004
ACM
The ability to summarize procedures is fundamental to building scalable interprocedural analyses. For sequential programs, procedure summarization is well-understood and used rout...
186
click to vote
SAC
2004
ACM
16 years 2 days ago
2004
ACM
This paper describes wildcards, a new language construct designed to increase the flexibility of object-oriented type systems with parameterized classes. Based on the notion of v...
174
click to vote
ICNP
2002
IEEE
15 years 11 months ago
2002
IEEE
Despite a decade of research and development, multicast has not yet been deployed on a global scale. Among the difficulties with the current infrastructure are intermulticast fai...