12115 search results - page 373 / 2423 » Bisimulation of Dynamical Systems |
148
click to vote
ICSM
2003
IEEE
16 years 1 days ago
2003
IEEE
Moving to smaller libraries can be considered as a relevant task when porting software systems to limited-resource devices (e.g., hand-helds). Library miniaturization will be part...
167
click to vote
SACMAT
2003
ACM
16 years 19 hour ago
2003
ACM
Traditional network security technologies such as firewalls and intrusion detection systems usually work according to a static ruleset only. We believe that a better approach to ...
205
click to vote
PKDD
2009
Springer
15 years 11 months ago
2009
Springer
Monitoring the variables of real world dynamic systems is a difficult task due to their inherent complexity and uncertainty. Particle Filters (PF) perform that task, yielding prob...
198
click to vote
LCPC
1998
Springer
15 years 11 months ago
1998
Springer
There is a class of sparse matrix computations, such as direct solvers of systems of linear equations, that change the fill-in (nonzero entries) of the coefficient matrix, and invo...
158
click to vote
CSFW
1992
IEEE
15 years 11 months ago
1992
IEEE
Most security models explicitly (or implicitly) include the tranquillity principle which prohibits changing the security level of a given piece of information. Yet in practical sy...