8083 search results - page 1508 / 1617 » A Formalization of Software Architecture |
187
click to vote
PE
2010
Springer
15 years 1 months ago
2010
Springer
Fluid modelling is a next-generation technique for analysing massive performance models. Passive cooperation is a popular cooperation mechanism frequently used by performance engi...
156
click to vote
TASLP
2010
15 years 1 months ago
2010
Abstract-The CALO Meeting Assistant (MA) provides for distributed meeting capture, annotation, automatic transcription and semantic analysis of multiparty meetings, and is part of ...
195
click to vote
EUROCRYPT
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. We describe efficient formulas for computing pairings on ordinary elliptic curves over prime fields. First, we generalize lazy reduction techniques, previously considere...
188
click to vote
ICDE
2011
IEEE
14 years 9 months ago
2011
IEEE
Abstract— In recent years, XML-based Publish-Subscribe Systems have become popular due to the increased demand of timely event-notification. Users (or subscribers) pose complex ...
180
click to vote
ATAL
2011
Springer
14 years 6 months ago
2011
Springer
We propose that the trust an agent places in another agent declaratively captures an architectural connector between the two agents. We formulate trust as a generic modality expre...