5200 search results - page 364 / 1040 » Symbolic models for control systems |
179
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
The primary contribution of this paper is an algorithm capable of identifying parameters in certain mixed linear/nonlinear state-space models, containing conditionally linear Gauss...
175
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Switching between two modes of operation is a common property of biological systems. In continuous-time differential equation models, this is often realised by bistability, i.e. th...
187
Voted
IFIP
2005
Springer
16 years 11 days ago
2005
Springer
This paper considers the effect of untyped attackers inside a distributed system where security is enforced by the type system. In previous work we introduced the Key-Based Decentr...
166
click to vote
INFOCOM
1999
IEEE
15 years 11 months ago
1999
IEEE
We are facing a growing user demand for ubiquitous Internet access. As a result, network ports and wireless LANs are becoming common in public spaces inside buildings such as loung...
195
Voted
CHI
2011
ACM
14 years 10 months ago
2011
ACM
As users store and share more digital content at home, access control becomes increasingly important. One promising approach for helping non-expert users create accurate access po...