6836 search results - page 446 / 1368 » Modelling Web-Oriented Architectures |
172
click to vote
CSFW
1999
IEEE
15 years 11 months ago
1999
IEEE
We use a compositional framework to model security architectures involving heterogeneous and distributed security functions. Our goal is to assist the ITSEC evaluation of suitabil...
197
Voted
WADT
1999
Springer
15 years 11 months ago
1999
Springer
Based on the FOCUS theory of distributed systems (see [Broy, Stølen 01]) that are composed of interacting components we introduce a formal model of services and layered architectu...
193
Voted
PPSN
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. This paper describes a parallel model for a distributed memory architecture of a non traditional evolutionary computation method, which integrates constraint propagation ...
171
click to vote
DAC
1996
ACM
15 years 11 months ago
1996
ACM
We reduce the state explosion problem in automatic verification of finite-state systems by automatically collapsing subgraphs of the aph into abstract states. The key idea of the ...
166
click to vote
AIIDE
2007
15 years 9 months ago
2007
We discuss the extension of an emotionally-driven agent architecture already applied to the creation of emergent narratives. Synthetic characters are enhanced to perform as actors...