1432 search results - page 234 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
132
Voted
ER
2007
Springer
15 years 9 months ago
2007
Springer
Schema mappings come in different flavors: simple correspondences are produced by schema matchers, intensional mappings are used for schema integration. However, the execution of ...
110
click to vote
PADS
1996
ACM
15 years 7 months ago
1996
ACM
One of the promises of parallelized discrete-event simulation is that it might provide significant speedups over sequential simulation. In reality, high performance cannot be achi...
107
click to vote
CAV
2008
Springer
15 years 5 months ago
2008
Springer
Ideally, a model checking tool should successfully tackle state space explosion for complete system validation, while providing short counterexamples when an error exists. Techniqu...
111
Voted
IUI
2004
ACM
15 years 8 months ago
2004
ACM
Expert critiquing systems in education can support teachers in providing high quality individualized feedback to students. These systems, however, require significant development ...
106
click to vote
DOCENG
2010
ACM
15 years 4 months ago
2010
ACM
Modern GUI toolkits, and especially RIA ones, propose the concept of binding to dynamically link domain data and their presentations. Bindings are very simple to use for predefine...