3828 search results - page 500 / 766 » Proof-Based System Engineering Using a Virtual System Model |
219
click to vote
EMSOFT
2003
Springer
16 years 6 days ago
2003
Springer
An important bottleneck in model-based design of embedded systems is the cost of constructing models. This cost can be significantly decreased by increasing the reuse of existing m...
171
click to vote
CSCW
1998
ACM
15 years 6 months ago
1998
ACM
MOOSE Crossing is a text-based virtual reality environment (or “MUD”) designed to be a constructionist learning environment for children ages eight to thirteen. The constructio...
203
click to vote
TOG
2008
15 years 6 months ago
2008
This paper addresses the problem of interactively modeling large street networks. We introduce a modeling framework that uses tensor fields to guide the generation of a street gra...
193
click to vote
SYNTHESE
2011
15 years 1 months ago
2011
Scientific and statistical inferences build heavily on explicit, parametric models, and often with good reasons. However, the limited scope of parametric models and the increasin...
173
click to vote
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
ISO 9001 is a standard for quality management systems while CMMI is a model for process improvement. If an organization that has achieved ISO registration wishes to improve proces...