1219 search results - page 106 / 244 » Towards automatization of domain modeling |
182
click to vote
ICST
2010
IEEE
15 years 4 months ago
2010
IEEE
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
190
click to vote
MICRO
2008
IEEE
16 years 22 days ago
2008
IEEE
Significant improvement to visual quality for real-time 3D graphics requires modeling of complex illumination effects like soft-shadows, reflections, and diffuse lighting intera...
181
click to vote
IJMMS
2007
15 years 6 months ago
2007
: In information systems that support knowledge-discovery applications such as scientific exploration, reliance on highly structured ontologies as data-organization aids can be lim...
160
click to vote
APSEC
2000
IEEE
15 years 10 months ago
2000
IEEE
Explosive increase in end-user computing on distributed systems requires that end-users develop application software by themselves. One solution is given as a formula of “a doma...
151
click to vote
ATAL
2004
Springer
15 years 11 months ago
2004
Springer
Decision-theoretic models have become increasingly popular as a basis for solving agent and multiagent problems, due to their ability to quantify the complex uncertainty and prefe...