3828 search results - page 138 / 766 » Proof-Based System Engineering Using a Virtual System Model |
176
click to vote
IWSAS
2001
Springer
15 years 10 months ago
2001
Springer
We seek to construct autonomous adaptive survivable systems that use active trust management to adapt their own behavior in the face of compromises in the computational environment...
164
click to vote
EICS
2009
ACM
15 years 10 months ago
2009
ACM
Complex and dynamic interaction behaviors in applications such as Virtual Reality (VR) systems are difficult to design and develop. Reasons for this include the complexity and lim...
155
click to vote
ESOA
2006
15 years 9 months ago
2006
Holonic Multi-Agent Systems (HMAS) are a convenient way to engineer complex and open systems. In such systems, agents have to be able to self-organize to satisfy their goals. Our w...
171
click to vote
AAAI
2004
15 years 7 months ago
2004
A growing number of applications seek to incorporate automatically generated narrative structure into interactive virtual environments. In this paper, we evaluate a representation...
157
click to vote
FSTTCS
2007
Springer
16 years 5 days ago
2007
Springer
Abstract. Pushdown systems (PDSs) are an automata-theoretic formalism for specifying a class of infinite-state transition systems. Infiniteness comes from the fact that each con...