21430 search results - page 6 / 4286 » Abstract Effective Models |
DSRT
2009
IEEE
15 years 2 months ago
2009
IEEE
Abstract--With the emergence of pervasive computing technologies into vehicles, driving has moved from an active task of steering towards an interaction or adaptation task with res...
CIE
2008
Springer
15 years 2 days ago
2008
Springer
d abstract) John Longley Laboratory for Foundations of Computer Science School of Informatics, University of Edinburgh The King's Buildings, Mayfield Road Edinburgh EH9 3JZ, U...
CAV
2003
Springer
15 years 3 months ago
2003
Springer
ion and BDDs Complement SAT-based BMC in DiVer Aarti Gupta1, Malay Ganai1 , Chao Wang2, Zijiang Yang1, Pranav Ashar1 1 NEC Laboratories America, Princeton, NJ, U.S.A. 2 University ...
CORR
2008
Springer
14 years 10 months ago
2008
Springer
rexample Guided Abstraction-Refinement Framework for Markov Decision Processes ROHIT CHADHA and MAHESH VISWANATHAN Dept. of Computer Science, University of Illinois at Urbana-Champ...
122
click to vote
CASCON
2010
14 years 5 months ago
2010
ion and giving them a medium to express and implement change. One of the keys to achieve agility for creating business processes depends on close interaction between IT department ...