4693 search results - page 833 / 939 » Verifying Hybrid Systems |
101
click to vote
JIRS
2007
15 years 18 days ago
2007
A detailed step-by-step approach is presented to optimize, standardize, and automate the process of unmanned vehicle controller design, evaluation, validation and verification, fol...
136
Voted
JOT
2007
15 years 18 days ago
2007
Aspect-Oriented Programming is an emerging software engineering paradigm. It offers new constructs and tools improving separation of crosscutting concerns into single units called...
128
Voted
JSAC
2007
15 years 17 days ago
2007
Abstract— The current approach in web searching, i.e., centralized search engines, rises issues that question their future applicability: 1) coverage and scalability, 2) freshnes...
90
Voted
TWC
2008
15 years 17 days ago
2008
Space-time block codes (STBCs) from coordinate interleaved orthogonal designs (CIODs) have attracted considerable attention lately due to their full-diversity and single-symbol dec...
106
Voted
ANOR
2004
15 years 17 days ago
2004
We present an iterative cutting plane method for minimizing staffing costs in a service system subject to satisfying acceptable service level requirements over multiple time perio...