4350 search results - page 281 / 870 » Case studies for contract-based systems |
186
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
We analyze information leaks in the lookup mechanisms of structured peer-to-peer anonymous communication systems and how these leaks can be used to compromise anonymity. We show t...
225
click to vote
FMOODS
2007
2007
A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems
15 years 8 months ago
We present a novel approach, based on probabilistic formal methods, to developing cross-layer resource optimization policies for resource limited distributed systems. One objective...
136
click to vote
IJMI
2007
15 years 6 months ago
2007
: The increasing dependency being placed on electronic health information systems presents new challenges for today’s health managers and systems developers. This paper uses Elec...
167
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
The purpose of this study is to explore the role of knowledge management systems (KMS) in structuring knowledgeable practices within organizations. Specifically, we consider how i...
181
click to vote
TCS
2008
15 years 6 months ago
2008
The aim of the paper is to give a compositional semantics in the style of the Structural Operational Semantics (SOS) and to study behavioral equivalence notions for P Systems. Fir...