1271 search results - page 87 / 255 » On Simulation-Checking with Sequential Systems |
ICML
2009
IEEE
14 years 11 months ago
2009
IEEE
This paper addresses the problem of active model selection for nonlinear dynamical systems. We propose a novel learning approach that selects the most informative subset of time-d...
DSN
2009
IEEE
14 years 5 months ago
2009
IEEE
The use of mobile devices is limited by the battery lifetime. Some devices have the option to connect an extra battery, or to use smart battery-packs with multiple cells to extend...
ICC
2007
IEEE
14 years 5 months ago
2007
IEEE
—Ubiquitous service composition provides new services and applications seamlessly by establishing cooperation among any devices in home networks and any services in service provi...
AIIA
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. When dealing with real systems, it is unrealistic to suppose that observations can be totally ordered according to their emission dates. The partially ordered observation...
SIGMETRICS
2004
ACM
14 years 4 months ago
2004
ACM
Binary search tree (BST) based data structures, such as AVL trees, red-black trees, and splay trees, are often used in system software, such as operating system kernels. Choosing ...