8083 search results - page 1363 / 1617 » A Formalization of Software Architecture |
184
click to vote
FSEN
2007
Springer
16 years 25 days ago
2007
Springer
We define a type system for COWS, a formalism for specifying and combining services, while modelling their dynamic behaviour. Our types permit to express policies constraining dat...
160
click to vote
IWSEC
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Pairing-based cryptography (PBC) has enabled the construction of many cryptographic protocols. However, there are scenarios when PBC is too heavyweight to use, such as wh...
159
click to vote
MODELS
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
161
click to vote
MODELS
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Since the seminal book by the Gang of Four, design patterns have proven an important tool in software development. Over time, more and more patterns have been discovered ...
176
click to vote
VLDB
2007
ACM
16 years 23 days ago
2007
ACM
The Transaction Processing Performance Council (TPC) is completing development of TPC-DS, a new generation industry standard decision support benchmark. The TPC-DS benchmark, firs...