790 search results - page 142 / 158 » A Model Checking Language for Concurrent Value-Passing Syste... |
RTSS
2007
IEEE
15 years 6 months ago
2007
IEEE
Creating robust real-time embedded software is critical in combining the physical world with computing, such as in consumer electronics or robotics. One challenge is the complexit...
106
click to vote
CCS
2005
ACM
15 years 5 months ago
2005
ACM
In a reputation-based trust-management system, agents maintain information about the past behaviour of other agents. This information is used to guide future trust-based decisions...
COORDINATION
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. The actor model provides high-level concurrency abstractions to coordinate simultaneous computations by message passing. Languages implementing the actor model such as Er...
ICWS
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper addresses one of the major problems of SOA software development: the lack of support for testing complex service-oriented systems. The research community has developed v...
ASPLOS
2010
ACM
15 years 6 months ago
2010
ACM
A large number of user requests execute (often concurrently) within a server system. A single request may exhibit fluctuating hardware characteristics (such as instruction comple...