2136 search results - page 290 / 428 » Learning Behavior Models for Hybrid Timed Systems |
145
click to vote
SERP
2003
15 years 5 months ago
2003
Modern approaches in software development propose the use of software architectures to help handle the complexity of large software system developments. An important technique to ...
119
click to vote
HOTOS
1999
IEEE
15 years 8 months ago
1999
IEEE
Modern file systems associate the deletion of a file with the release of the storage associated with that file, and file writes with the irrevocable change of file contents. We pr...
110
click to vote
SSS
2010
Springer
15 years 2 months ago
2010
Springer
The earlier work on predicate detection has assumed that the given computation is finite. Detecting violation of a liveness predicate requires that the predicate be evaluated on a...
114
click to vote
WACV
2005
IEEE
15 years 10 months ago
2005
IEEE
Adaptive background modeling/subtraction techniques are popular, in particular, because they are able to cope with background variations that are due to lighting variations. Unfor...
158
click to vote
TPDS
2010
14 years 11 months ago
2010
In the past, some research has been done on how to use proactive recovery to build intrusion-tolerant replicated systems that are resilient to any number of faults, as long as reco...