4211 search results - page 178 / 843 » A formal approach to MASQ |
171
click to vote
CSCW
1996
ACM
15 years 10 months ago
1996
ACM
Concurrency control and group undo are important issues in the design of groupware, especially for interactive group editors. We present an improved versionofanexistingdistributed...
160
click to vote
PST
2008
15 years 8 months ago
2008
In this paper, we propose an approach for systematic security hardening of software based on aspect-oriented programming and Gimple language. We also present the first steps towar...
174
click to vote
WICSA
2004
15 years 8 months ago
2004
COMMUNITY is a formal approach to software architecture. Its main characteristics are: a precise, yet intuitive mathematical semantics based on categorical diagrams; a clear separ...
175
click to vote
JODS
2008
15 years 6 months ago
2008
This paper proposes a cooperative approach for composite ontology mapping. We first present an extended classification of automated ontology matching and propose an automatic compo...
141
click to vote
DIS
2009
Springer
16 years 1 months ago
2009
Springer
The promotion analysis problem has been proposed in [16], where ranking-based promotion query processing techniques are studied to effectively and efficiently promote a given obje...