3073 search results - page 48 / 615 » Real World Verification |
ACE
2003
13 years 9 months ago
2003
An important aspect of University teaching is to promote deeper learning by ensuring students have good exposure to problems they will encounter in their working life. While it is...
DAGSTUHL
2003
13 years 9 months ago
2003
NLUCS
2004
13 years 9 months ago
2004
The advantage of cognitively motivated automatic summarizing is that human users can better understand what happens. This improves acceptability. The basic empirical finding in hum...
WICSA
2004
13 years 9 months ago
2004
Industrial systems are examples of complex and often long-lived systems in which software is playing an increasingly important role. Their architectures play a crucial role in mai...
WSC
2004
13 years 9 months ago
2004
Hybrid system modeling refers to the construction of system models combining both continuous and discrete dynamics. These models can greatly reduce the complexity of a phystem mod...