2850 search results - page 465 / 570 » On Timed Models and Full Abstraction |
188
click to vote
FM
2009
Springer
16 years 16 days ago
2009
Springer
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
158
click to vote
SPIN
2009
Springer
16 years 15 days ago
2009
Springer
Abstract. We present a new decision procedure for detecting property violations in pushdown models for concurrent programs that use lock-based synchronization, where each thread’...
176
click to vote
CEC
2008
IEEE
16 years 13 days ago
2008
IEEE
Abstract— The Learnable Evolution Model (LEM) was introduced by Michalski in 2000, and involves interleaved bouts of evolution and learning. Here we investigate LEM in (we think)...
193
click to vote
ICRA
2008
IEEE
16 years 12 days ago
2008
IEEE
Abstract— This paper describes a novel approach for incremental learning of human motion pattern primitives through on-line observation of human motion. The observed motion time ...
159
Voted
INFOCOM
2008
IEEE
16 years 11 days ago
2008
IEEE
Abstract—Radio channel quality of real-world wireless networks tends to exhibit both short-term and long-term temporal variations that are in general difficult to model. To maxi...