184 search results - page 5 / 37 » Dynamic Access Control in a Concurrent Object Calculus |
111
click to vote
CAISE
2001
Springer
15 years 4 months ago
2001
Springer
A major requirement in Software Engineering is to reduce the time to market. This requirement along with a demand for product sophistication and better quality has led to larger te...
FAC
2010
14 years 10 months ago
2010
: © Algebra and logic for access control Matthew Collinson, David Pym HP Laboratories HPL-2008-75R1 Access control, process algebra, bunched Logic; systems modelling The access co...
107
Voted
OOPSLA
2009
Springer
15 years 6 months ago
2009
Springer
We present Chorus, a high-level parallel programming model suitable for irregular, heap-manipulating applications like mesh refinement and epidemic simulations, and JChorus, an i...
109
click to vote
TCS
2008
14 years 11 months ago
2008
Our society is increasingly moving towards richer forms of information exchange where mobility of processes and devices plays a prominent role. This tendency has prompted the acad...
ENTCS
2007
14 years 11 months ago
2007
We describe a programme of research in resource semantics, concurrency theory, bunched logic, and stochastic processes, as applied to mathematical systems modelling. Motivated by ...