5668 search results - page 796 / 1134 » Overlaps in Requirements Engineering |
219
click to vote
ISSTA
2004
ACM
16 years 1 months ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
199
click to vote
GCB
2004
Springer
16 years 1 months ago
2004
Springer
: Carbon Labeling Systems (CLS) are large equation systems that describe the dynamics of labeled carbon atoms in a metabolic network. The rapid solution of these systems is the alg...
205
click to vote
UML
2004
Springer
16 years 29 days ago
2004
Springer
We believe that there is a very strong need for an environment to support research and experiments on model-driven engineering. Therefore we have started the TopModL project, an o...
235
click to vote
AOSD
2003
ACM
16 years 26 days ago
2003
ACM
Middleware technologies such as Web Services, CORBA and DCOM have been very successful in solving distributed computing problems for a large family of application domains. As midd...
200
click to vote
IUI
2003
ACM
16 years 26 days ago
2003
ACM
This paper describes lessons learned in developing the linguistic, cognitive, emotional, and gestural models underlying virtual human behavior in a training application designed t...