1497 search results - page 204 / 300 » Extended static checking |
101
click to vote
WIOPT
2010
IEEE
15 years 23 days ago
2010
IEEE
—K-shell (or k-core) graph decomposition methods were introduced as a tool for studying the structure of large graphs. K-shell decomposition methods have been recently proposed [...
143
click to vote
SEMWEB
2010
Springer
15 years 9 days ago
2010
Springer
RDF(S) and OWL 2 currently support only static ontologies. In practice, however, the truth of statements often changes with time, and Semantic Web applications often need to repres...
120
click to vote
EUSFLAT
2009
15 years 6 days ago
2009
Previously we proposed a scheme to generate fuzzy rule-based multiclassification systems by means of bagging, mutual information-based feature selection, and a multicriteria geneti...
117
Voted
ICNS
2009
IEEE
15 years 4 days ago
2009
IEEE
In this paper we introduce the idea of integrating high security level services to support law enforcement with high-tech crime investigation. We take advantage of a process-orien...
124
click to vote
ECEASST
2010
14 years 11 months ago
2010
Abstract. The precise specification of software models is a major concern in model-driven design of object-oriented software. In this paper, we investigate how program graphs, a la...