11374 search results - page 2162 / 2275 » Demonstration of the CROSSMARC System |
194
click to vote
SEMWEB
2009
Springer
16 years 29 days ago
2009
Springer
A key question regarding the future of the semantic web is “how will we acquire structured information to populate the semantic web on a vast scale?” One approach is to enter t...
179
click to vote
SG
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. Most information visualisation methods are based on abstract visual representations without any concrete manifestation in the “real world”. However, a variety of abst...
167
click to vote
SPIN
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
173
click to vote
ISSTA
2009
ACM
16 years 29 days ago
2009
ACM
Mixed concrete and symbolic execution is an important technique for finding and understanding software bugs, including securityrelevant ones. However, existing symbolic execution...
166
click to vote
MM
2009
ACM
16 years 29 days ago
2009
ACM
Until recently, QoE (Quality of Experience) experiments had to be conducted in academic laboratories; however, with the advent of ubiquitous Internet access, it is now possible to...