Sciweavers

3330 search results - page 337 / 666
» software 2010
Sort
View
ACIVS
2010
Springer
15 years 2 months ago
Projection Selection Algorithms for Discrete Tomography
In this paper we study how the choice of projection angles affect the quality of the discrete tomographic reconstruction of an object. We supply four different strategies for selec...
László Varga, Péter Bal&aacut...
DATESO
2010
369views Database» more  DATESO 2010»
15 years 2 months ago
Database Trends and Directions: Current Challenges and Opportunities
Database management has undergone more than four decades of evolution producing vast range of research and extensive array of technology solutions. The database research community ...
George Feuerlicht
IFM
2010
Springer
152views Formal Methods» more  IFM 2010»
15 years 2 months ago
Specification and Verification of Model Transformations Using UML-RSDS
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
Kevin Lano, Shekoufeh Kolahdouz Rahimi
SEMWEB
2010
Springer
15 years 2 months ago
Assessing Trust in Uncertain Information
On the Semantic Web, decision makers (humans or software agents alike) are faced with the challenge of examining large volumes of information originating from heterogeneous sources...
Achille Fokoue, Mudhakar Srivatsa, Robert Young
SICHERHEIT
2010
15 years 2 months ago
A Malware Instruction Set for Behavior-Based Analysis
We introduce a new representation for monitored behavior of malicious software called Malware Instruction Set (MIST). The representation is optimized for effective and efficient a...
Philipp Trinius, Carsten Willems, Thorsten Holz, K...