7209 search results - page 912 / 1442 » Software Engineering for Multi-Agent Systems |
147
click to vote
AC
1999
Springer
15 years 8 months ago
1999
Springer
A widely used computational model for constructing fault-tolerant distributed applications employs atomic transactions for controlling operations on persistent objects. There has ...
133
click to vote
EUROMICRO
2009
IEEE
15 years 8 months ago
2009
IEEE
ProCom is a new component model for real-time and embedded systems, targeting the domains of vehicular and telecommunication systems. In this paper, we describe how the architectur...
144
click to vote
FOSSACS
2010
Springer
15 years 7 months ago
2010
Springer
A new framework for higher-order program verification has been recently proposed, in which higher-order functional programs are modelled as higher-order recursion schemes and then ...
134
click to vote
ARCS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. A major problem considering parallel computing is maintaining memory consistency and coherency, and ensuring ownership and access rights. These problems mainly arise from...
137
Voted
EMSOFT
2008
Springer
15 years 6 months ago
2008
Springer
We focus on decomposition of hard-masking real-time faulttolerant programs (where safety, timing constraints, and liveness are preserved in the presence of faults) that are design...