9698 search results - page 161 / 1940 » models 2010 |
155
click to vote
ENTCS
2007
15 years 6 months ago
2007
Modern software is increasingly concurrent, timed, distributed, and therefore, non-deterministic. While it is well known that tests can be generated as LTL or CTL model checker co...
157
click to vote
OTM
2010
Springer
15 years 4 months ago
2010
Springer
Nowadays, due to the growing development of eGovernment information systems, there is an increasing need to handle Public Sector Information (PSI) in a homogeneous way. Ontologies ...
140
click to vote
SIGIR
2010
ACM
15 years 10 months ago
2010
ACM
We propose a cross-language retrieval model that is solely based on Wikipedia as a training corpus. The main contri
172
click to vote
SPLC
2010
15 years 8 months ago
2010
Abstract. Understanding the challenges faced by real projects in evolving variability models, is a prerequisite for providing adequate support for such undertakings. We study the e...
181
click to vote
VSGAMES
2010
15 years 4 months ago
2010
—The paper introduces a conceptual model for the design of serious games and uses the Technology Acceptance Model (TAM) for its validation. A specially developed game introduced ...