1471 search results - page 3 / 295 » Composing concurrency control |
WOTUG
2008
13 years 6 months ago
2008
Writing concurrent programs in languages that lack explicit support for concurrency can often be awkward and difficult. Haskell's monads provide a way to explicitly specify se...
ECBS
2009
IEEE
14 years 3 days ago
2009
IEEE
With the pressing in-time-market towards customized services, software product lines (SPL) are increasingly characterizing most of software landscape. SPL are mainly structured th...
IPPS
2000
IEEE
13 years 9 months ago
2000
IEEE
PPOPP
2005
ACM
13 years 11 months ago
2005
ACM
Writing concurrent programs is notoriously difficult, and is of increasing practical importance. A particular source of concern is n correctly-implemented concurrency abstraction...
FOCS
2003
IEEE
13 years 10 months ago
2003
IEEE
Concurrent general composition relates to a setting where a secure protocol is run in a network concurrently with other, arbitrary protocols. Clearly, security in such a setting i...