3082 search results - page 118 / 617 » Deviation Analysis: A New Use of Model Checking |
186
click to vote
JGO
2011
14 years 9 months ago
2011
Abstract In many problems from different disciplines such as engineering, physics, medicine, and biology, a series of experimental data is used in order to generate a model that ca...
171
click to vote
AAAI
2006
15 years 7 months ago
2006
In this paper we propose a model for human learning and decision making in environments of repeated Cliff-Edge (CE) interactions. In CE environments, which include common daily in...
241
click to vote
WSC
2004
15 years 7 months ago
2004
This paper discusses a two-step virtual reality based conceptual design tool that enables industrial designers to create sketches of their ideas in 3-dimensional space in real tim...
194
click to vote
CCGRID
2006
IEEE
16 years 11 days ago
2006
IEEE
Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems ...
203
click to vote
WIFT
1998
IEEE
15 years 10 months ago
1998
IEEE
The Unified Modeling Language (UML) is likely to become an important industry standard language for modelling object-oriented systems. However, its use as a precise analysis tool ...