2558 search results - page 320 / 512 » Model Composition Contracts |
122
click to vote
SIGMETRICS
2008
ACM
15 years 4 months ago
2008
ACM
Abstract-- An important intrinsic property of any structured Peer-to-Peer (P2P) overlay is multi-hop paths. Understanding their structure helps to solve challenging problems relate...
166
click to vote
FMSD
2002
15 years 4 months ago
2002
We present a new technique for verification of complex hardware devices that allows both generality andahighdegreeofautomation.Thetechniqueisbasedonournewwayofconstructinga"li...
160
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— A key enabler of the recently popularized, assemblycentric development approach for distributed real-time software systems is QoS-enabled middleware, which provides reu...
143
click to vote
CSFW
2004
IEEE
15 years 8 months ago
2004
IEEE
Information flow security properties such as noninterference ensure the protection of confidential data by strongly limiting the flow of sensitive information. However, to deal wi...
162
Voted
ESWA
2006
15 years 4 months ago
2006
A crucial concern in the evaluation of evidence related to a major crime is the formulation of sufficient alternative plausible scenarios that can explain the available evidence. ...