12981 search results - page 2309 / 2597 » Model Checking (Abstract) |
150
click to vote
PRIMA
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Network games are attracting attention as simulation platforms for social experiments because of their rich visualization performance and scalability. Our objective in th...
130
click to vote
RE
2009
Springer
15 years 9 months ago
2009
Springer
Requirements traceability is a challenge for modern software projects where task dependencies and technical experspread across system developers, abstract model representations su...
176
click to vote
SEMWEB
2009
Springer
15 years 9 months ago
2009
Springer
Abstract—For many tasks, such as the integration of knowledge bases in the semantic web, one must not only handle the knowledge itself, but also characterizations of this knowled...
135
click to vote
SG
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Modern premium automobiles are equipped with an increasing number of Electronic Control Units (ECUs). These ECUs are interconnected and form a complex network to provide ...
134
click to vote
SPIRE
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. A set of sequences S is pairwise bounded if the Hamming distance between any pair of sequences in S is at most 2d. The Consensus Sequence problem aims to discern between ...