30 search results - page 5 / 6 » Towards Modelling Actor-Based Concurrency in Term Rewriting |
VEE
2012
ACM
12 years 27 days ago
2012
ACM
As cloud-based computation becomes increasingly important, providing a general computational interface to support datacenterscale programming has become an imperative research age...
HASKELL
2009
ACM
13 years 12 months ago
2009
ACM
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...
SAC
2010
ACM
14 years 5 days ago
2010
ACM
The emerging reality of wireless sensor networks deployed as long-lived infrastructure required to serve multiple applications necessitates the development of fine-grained securi...
FM
2001
Springer
13 years 9 months ago
2001
Springer
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...
ER
2010
Springer
13 years 3 months ago
2010
Springer
Traditional information search in which queries are posed against a known and rigid schema over a structured database is shifting towards a Web scenario in which exposed schemas ar...