5232 search results - page 242 / 1047 » Generative modeling: a symbolic system for geometric modelin... |
166
click to vote
FORTEST
2008
15 years 8 months ago
2008
Testing is one of the costliest aspects of commercial software development. Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testin...
176
click to vote
ICECCS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a novel application involving two important Software Engineering research areas: process modeling and software reuse. The Spiral Model is a risk-driven process...
197
click to vote
PTS
2008
15 years 8 months ago
2008
The state space explosion due to concurrency and timing constraints of concurrent real-time systems (CRTS) presents significant challenges to the verification engineers. In this pa...
142
click to vote
BC
2005
15 years 6 months ago
2005
Recent physiological findings revealed that about one-third of motion-sensitive neurons in the pigeon's pretectal nucleus encoded the acceleration of visual motion. Here we pr...
190
click to vote
ASWEC
2005
IEEE
16 years 6 days ago
2005
IEEE
Starting with a UML specification that captures the underlying functionality of some given Java-based concurrent system, we describe a systematic way to construct, from this speci...