383 search results - page 28 / 77 » Testing Concurrent Systems: A Formal Approach |
145
click to vote
PPDP
2005
Springer
16 years 16 days ago
2005
Springer
We address the problem of controlling information leakage in a concurrent declarative programming setting. Our aim is to define verification tools in order to distinguish betwee...
203
click to vote
IEEEPACT
2006
IEEE
16 years 1 months ago
2006
IEEE
Transactional memory is an attractive design concept for scalable multiprocessors because it offers efficient lock-free synchronization and greatly simplifies parallel software....
225
click to vote
CORR
2011
Springer
15 years 2 months ago
2011
Springer
—The article describes a course on system design (structural approach) which involves the following: issues of systems engineering; structural models; basic technological problem...
219
click to vote
MBEES
2010
15 years 5 months ago
2010
In a component-based development approach system integration generally implies the packaging and deployment of a group of software components on hardware units, possibly hiding th...
236
click to vote
JOT
2010
15 years 5 months ago
2010
To achieve the multi-agent systems’ goals, agents interact to exchange information, to cooperate and to coordinate their tasks. Interaction is generally recognized as an importa...