17054 search results - page 330 / 3411 » Logics of Dynamical Systems |
185
click to vote
BIOADIT
2004
Springer
16 years 25 days ago
2004
Springer
We present two ways in which dynamic self-assembly can be used to perform computation, via stochastic protein networks and self-assembling software. We describe our protein-emulati...
124
Voted
ICEIS
2009
IEEE
16 years 2 months ago
2009
IEEE
185
click to vote
HICSS
2002
IEEE
2002
IEEE
Development of a Decision Logic to Support Group Improvisation: An Application to Emergency Response
16 years 12 days ago
This paper reviews recent progress in the development of a computer-based system for supporting improvised group decision making in risky, time-constrained situations. One goal of...
191
click to vote
SP
1996
IEEE
15 years 11 months ago
1996
IEEE
Covert channels are a critical concern for multilevel secure (MLS) systems. Due to their subtlety, it is desirable to use formal methods to analyze MLS systems for the presence of...