2227 search results - page 61 / 446 » Reversibility and Models for Concurrency |
PADL
2011
Springer
13 years 24 days ago
2011
Springer
Modern challenges led to a design of a wide range of programming models for reactive, parallel and concurrent programming, but these are often t to encode in general purpose langua...
ERLANG
2006
ACM
14 years 4 months ago
2006
ACM
Termite Scheme is a variant of Scheme intended for distributed computing. It offers a simple and powerful concurrency model, inspired by the Erlang programming language, which is ...
SIGSOFT
2007
ACM
14 years 10 months ago
2007
ACM
Concurrency bugs are becoming increasingly important due to the prevalence of concurrent programs. A fundamental problem of concurrent program bug detection and testing is that th...
SIGSOFT
2005
ACM
14 years 10 months ago
2005
ACM
Moose is a language-independent environment for reverseand re-engineering complex software systems. Moose provides a set of services including a common meta-model, metrics evaluat...
ICSE
2007
IEEE-ACM
14 years 10 months ago
2007
IEEE-ACM
We propose a mechanism for object access control which is based on the UML. Specifically, we propose use of ownership and immutability constraints on UML associations and verifica...