6581 search results - page 126 / 1317 » Formalizing Design Patterns |
114
click to vote
IFIP
2009
Springer
15 years 9 months ago
2009
Springer
We consider the problem of detecting covert channels within security-enforcing object-capability patterns. Traditional formalisms for reasoning about the security properties of obj...
DIS
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. Waka is a form of traditional Japanese poetry with a 1300year history. In this paper, we attempt to discover characteristics common to a collection of waka poems. As a fo...
120
click to vote
ADBIS
2005
Springer
15 years 8 months ago
2005
Springer
The current period of IT development is characterized by an explosive growth of diverse information representation languages. Applying integration and composition of heterogeneous ...
148
click to vote
WFLP
2000
Springer
15 years 6 months ago
2000
Springer
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models...
117
click to vote
IEE
2008
15 years 2 months ago
2008
1 2 3 In many real component-based systems and patterns of component interaction, there can be identified a stable part (like control component, server, instance handler) and a nu...