22560 search results - page 380 / 4512 » Development of Transportation Systems |
165
click to vote
ISOLA
2010
Springer
15 years 5 months ago
2010
Springer
SMT—building flexible yet efficient abstraction/refinement solvers. International Journal on Software Tools for Technology Transfer, 12(1):23–37, February 2010. Wolfgang Hab...
169
click to vote
HCI
2009
15 years 4 months ago
2009
The conflicts in Afghanistan and Iraq and the more recent war in the Gaza Strip have emphasized the need for novel platforms which provide for greater situational awareness in the ...
201
click to vote
HCI
2011
14 years 10 months ago
2011
Validation is critically important when human performance models are used to predict the effect of future system designs on human performance. A model of flight deck operations was...
222
click to vote
CHI
1997
ACM
15 years 11 months ago
1997
ACM
MOBI-D (Model-Based Interface Designer) is a software environment the design and development of user interfaces from declarative interface models. End-users informally describe ta...
170
click to vote
ISCAS
2005
IEEE
16 years 14 days ago
2005
IEEE
— Open source software are becoming more widely-used, notably in the server and desktop applications. For embedded systems development, usage of open source software can also red...