6581 search results - page 460 / 1317 » Formalizing Design Patterns |
172
click to vote
JCP
2008
15 years 6 months ago
2008
Inter-Organizational Workflows (IOWF) become important as they provide solution for data sharing, heterogeneity in resources and work coordination at global level. However, a secur...
197
Voted
WWW
2011
ACM
15 years 1 months ago
2011
ACM
Many malicious activities on the Web today make use of compromised Web servers, because these servers often have high pageranks and provide free resources. Attackers are therefore...
176
click to vote
DEXA
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Engineering design is a knowledge intensive activity. Design is characterized as comprising a number of phases from requirements to detailed specification. Transitions be...
186
click to vote
AOSD
2007
ACM
15 years 10 months ago
2007
ACM
We define and study bisimulation for proving contextual equivalence in an aspect extension of the untyped lambda-calculus. To our knowledge, this is the first study of coinductive...
150
click to vote
EUROSYS
2007
ACM
16 years 3 months ago
2007
ACM
We describe a new design for authorization in operating systems in which applications are first-class entities. In this design, principals reflect application identities. Access c...