124 search results - page 5 / 25 » McErlang: a model checker for a distributed functional progr... |
DEBS
2007
ACM
13 years 11 months ago
2007
ACM
Publish/subscribe (pub/sub) middleware platforms for eventbased distributed systems often provide many configurable policies that affect end-to-end quality of service (QoS). Altho...
KBSE
2009
IEEE
14 years 2 months ago
2009
IEEE
—The actor programming model offers a promising model for developing reliable parallel and distributed code. Actors provide flexibility and scalability: local execution may be i...
PPPJ
2006
ACM
14 years 1 months ago
2006
ACM
Development of high quality code is extremely di cult. Tools that help maintaining the proper quality of code produced by programmers can be very useful: they may increase the qua...
HPCN
2000
Springer
13 years 11 months ago
2000
Springer
A rather recent approach in programming parallel and distributed systems is that of coordination models and languages. Coordination programming enjoys a number of advantages such a...
APSEC
1999
IEEE
13 years 11 months ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...