4360 search results - page 530 / 872 » Socio-technical systems: From design methods to systems engi... |
132
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper contributes to the field of measuring (un)linkability in communication systems; a subproblem of privacy protection. We propose an attacker state model for attacks on...
169
click to vote
CODES
2008
IEEE
16 years 1 months ago
2008
IEEE
In this special session we explore holistic approaches to hardware/software debug that use or integrate transaction level models (TLMs). We present several TLM-based approaches to...
207
Voted
SOCO
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. In a component-based system, connectors are used to compose components. Connectors should have a semantics that makes them simple to construct and use. At the same time, ...
193
click to vote
SACMAT
2006
ACM
16 years 23 days ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
188
click to vote
RTCSA
2005
IEEE
16 years 12 days ago
2005
IEEE
Context-aware middleware encompasses uniform ions and reliable services for common operations, supports for most of the tasks involved in dealing with context, and thus simplifyin...