Sciweavers

340 search results - page 14 / 68
» formats 2009
Sort
View
MKM
2009
Springer
14 years 2 months ago
Unifying Math Ontologies: A Tale of Two Standards
Abstract. One of the fundamental and seemingly simple aims of mathematical knowledge management (MKM) is to develop and standardize formats that allow to “represent the meaning o...
James H. Davenport, Michael Kohlhase
GLOBECOM
2009
IEEE
13 years 11 months ago
Mobility-Based Clustering in VANETs Using Affinity Propagation
Abstract--The recent research in cluster-based MAC and routing schemes for Vehicle Ad Hoc Networks (VANETs) motivates the necessity for a stable VANET clustering algorithm. Due to ...
Christine Shea, Behnam Hassanabadi, Shahrokh Valae...
WWW
2009
ACM
14 years 8 months ago
C-SPARQL: SPARQL for continuous querying
C-SPARQL is an extension of SPARQL to support continuous queries over RDF data streams. Supporting streams in RDF format guarantees interoperability and opens up important applica...
Davide Francesco Barbieri, Daniele Braga, Stefano ...
ASE
2011
12 years 11 months ago
Alattin: mining alternative patterns for defect detection
Abstract To improve software quality, static or dynamic defect-detection tools accept programming rules as input and detect their violations in software as defects. As these progra...
Suresh Thummalapenta, Tao Xie
ESSOS
2009
Springer
13 years 11 months ago
Idea: Measuring the Effect of Code Complexity on Static Analysis Results
Abstract. To understand the effect of code complexity on static analysis, thirty-five format string vulnerabilities were studied. We analyzed two code samples for each vulnerabilit...
James Walden, Adam Messer, Alex Kuhl