9503 search results - page 238 / 1901 » Authenticated System Calls |
186
click to vote
IJSEKE
2008
15 years 7 months ago
2008
- Multi-agent systems (MASs) have become an important topic in distributed systems research. These distributed multi-agent systems call for special software modeling methods that e...
160
click to vote
TAMC
2010
Springer
16 years 9 days ago
2010
Springer
Unless we resolve the P vs NP question, we are unable to say whether there is an algorithm (acceptor) that accepts Boolean tautologies in polynomial time and does not accept non-ta...
191
click to vote
ICECCS
2000
IEEE
15 years 11 months ago
2000
IEEE
Design of embedded systems is a complex task that requires design cycles founded upon formal notation, so that the synthesis from specification to implementation can be carried ou...
196
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Software DSM systems su er from the high communication and coherence-induced overheads that limit performance. This paper introduces our e orts in reducing system overheads of a h...
210
click to vote
ENTCS
2010
15 years 7 months ago
2010
This paper presents a formal framework for compositional reasoning about secure systems. A key insight is to view a trusted system in terms of the interfaces that the various comp...