920 search results - page 88 / 184 » Architectural Interaction Diagrams: AIDs for System Modeling |
COMAD
2008
14 years 11 months ago
2008
Personalized rendering of web pages gives the users greater control to view only what they prefer. The goal of this work is to provide a tool that will let users customize the con...
94
Voted
FAC
2007
14 years 10 months ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
93
Voted
ITS
2000
Springer
15 years 1 months ago
2000
Springer
We are designing a computational architecture for a "learning economy" based on personal software agents who represent users in a virtual society and assist them in find...
108
click to vote
ECAI
2008
Springer
14 years 12 months ago
2008
Springer
Abstract. The paper presents an implemented model for priming speech recognition, using contextual information about salient entities. The underlying hypothesis is that, in human-r...
ISOLA
2010
Springer
14 years 8 months ago
2010
Springer
This article comprehensively surveys the work accomplished during the past decade on an approach to analyze concurrent systems qualitatively and quantitatively, by combining functi...