2171 search results - page 58 / 435 » Cooperative Validation in Distributed Control Systems Design |
132
click to vote
EMSOFT
2006
Springer
15 years 3 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
106
click to vote
ACSAC
2006
IEEE
15 years 7 months ago
2006
IEEE
We define and demonstrate an approach to securing distributed computation based on a shared reference monitor (Shamon) that enforces mandatory access control (MAC) policies acros...
121
click to vote
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
Distributed Multi-Agent Systems (DMAS) such as supply chains functioning in highly dynamic environments need to achieve maximum overall utility during operation. The utility from ...
115
click to vote
TWC
2010
14 years 8 months ago
2010
In this paper, we consider a wireless communication scenario with multiple source-destination pairs communicating through several cooperative amplify-and-forward relay terminals. T...
IPPS
1999
IEEE
15 years 5 months ago
1999
IEEE
Cooperative caches offer huge amounts of caching memory that is not always used as well as it could be. We might find blocks in the cache that have not been requested for many hou...