2517 search results - page 383 / 504 » Specifying Weak Sets |
169
click to vote
CSFW
2000
IEEE
15 years 10 months ago
2000
IEEE
We propose an approach to support confidentiality for mobile implementations of security-sensitive protocols using Java/JVM. An applet which receives and passes on confidential in...
167
click to vote
ESOP
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Type classes in Haskell allow programmers to define functions that can be used on a set of different types, with a potentially different implementation in each case. For ...
177
click to vote
HIPC
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Simple and unified non-operational specifications of the three memory consistency models Total Store Ordering (TSO), Partial Store Ordering (PSO), and Relaxed Memory Orde...
156
click to vote
KBSE
1998
IEEE
15 years 10 months ago
1998
IEEE
Starting from a graphical data model (a subset of the OMT object model), a skeleton of formal specification can be generated and completed to express several constraints and provi...
196
click to vote
MIDDLEWARE
2000
Springer
2000
Springer
The Role of Software Architecture in Constraining Adaptation in Component-Based Middleware Platforms
15 years 10 months ago
Future middleware platforms will need to be more configurable in order to meet the demands of a wide variety of application domains. Furthermore, we believe that such platforms wil...