6581 search results - page 158 / 1317 » Formalizing Design Patterns |
111
Voted
GCC
2004
Springer
15 years 8 months ago
2004
Springer
Web services (WS) provide a technology for integrating applications over the Internet. The components of a WS are active and persistent computational entities that have autonomous ...
129
click to vote
TPHOL
2002
IEEE
15 years 8 months ago
2002
IEEE
Abstract We present a formal semantics as a conservative shallow embedding of the Object Constraint Language (OCL). OCL is currently under development within an open standardizatio...
137
Voted
MPC
2010
Springer
15 years 8 months ago
2010
Springer
Concurrent garbage collectors are notoriously difficult to implement correctly. Previous approaches to the issue of producing correct collectors have mainly been based on posit-and...
147
click to vote
HASE
2005
IEEE
15 years 9 months ago
2005
IEEE
Aspect-oriented modeling is proposed to design the architecture of fault tolerant systems. Notations are introduced that support the separate and modularized design of functional ...
110
click to vote
CHI
2002
ACM
16 years 3 months ago
2002
ACM
This paper presents patterns of cooperative interaction derived from ethnographic studies of cooperative work as devices for generalisation, re-use and design. These patterns cons...