511 search results - page 86 / 103 » Finite System Composition and Interaction |
141
Voted
ESORICS
2006
Springer
15 years 7 months ago
2006
Springer
Data confidentiality is a major concern in database systems. Encryption is a useful tool for protecting the confidentiality of sensitive data. However, when data is encrypted, perf...
120
click to vote
CN
1998
15 years 3 months ago
1998
The main aim of our work is to create a realistic model of the behaviour of the upper airways during laryngoscopy. In this procedure the anaesthetist uses a rigid blade to displac...
159
Voted
STEP
2003
IEEE
15 years 8 months ago
2003
IEEE
Software patterns are a new design paradigm used to solve problems that arise when developing software within a particular context. Patterns capture the static and dynamic structu...
118
Voted
ICCAD
1996
IEEE
15 years 7 months ago
1996
IEEE
We give a denotational framework (a "meta model") within which certain properties of models of computation can be understood and compared. It describes concurrent proces...
115
click to vote
LCTRTS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present a compositional approach to the implementation of hard real-time software running on a distributed platform. We explain how several code suppliers, coordinated...