2835 search results - page 256 / 567 » Common Semantics for Use Cases and Task Models |
169
click to vote
ADAPTIVE
2007
Springer
15 years 11 months ago
2007
Springer
In recent years, technological developments have made it possible to build interactive 3D models of objects and 3D Virtual Environments that can be experienced through the Web, usi...
132
Voted
WEBI
2005
Springer
15 years 10 months ago
2005
Springer
The performance of an ontology alignment technique largely depends on the amount of information that can be leveraged for the alignment task. On the Semantic Web, end-users may ex...
138
click to vote
DAGSTUHL
2006
15 years 6 months ago
2006
Verification and Simulation share many issues, one is that simulation models require validation and verification. In the context of simulation, verification is understood as the ta...
143
click to vote
CADUI
2004
15 years 6 months ago
2004
Abstract Questionnaires are nowadays widely used usability evaluation instruments, and several generic usability questionnaires are available. But these generic artifacts are not a...
152
click to vote
CAV
2012
Springer
13 years 7 months ago
2012
Springer
A SAT-based incremental, inductive algorithm for model checking CTL properties is proposed. As in classic CTL model checking, the parse graph of the property shapes the analysis. H...