Sciweavers

3008 search results - page 481 / 602
» Independence in connected graphs
Sort
View
181
Voted
ISSRE
2007
IEEE
15 years 8 months ago
Testing Security Policies: Going Beyond Functional Testing
While important efforts are dedicated to system functional testing, very few works study how to test specifically security mechanisms, implementing a security policy. This paper i...
Yves Le Traon, Tejeddine Mouelhi, Benoit Baudry
BDA
2007
15 years 8 months ago
A Framework for Distributed Spatial Indexing in Shared-Nothing Architectures
The paper presents a complete framework for spatial indexing support in a distributed setting. We consider a shared-nothing environment where a set of servers provides independent...
Cédric du Mouza, Witold Litwin, Philippe Ri...
LREC
2010
150views Education» more  LREC 2010»
15 years 8 months ago
Wikipedia-based Approach for Linking Ontology Concepts to their Realisations in Text
A novel method to automatically associate ontological concepts to their realisations in texts is presented. The method has been developed in the context of the Papyrus project to ...
Giulio Paci, Giorgio Pedrazzi, Roberta Turra
VAMOS
2010
Springer
15 years 8 months ago
Semistructured Merge in Revision Control Systems
Revision control systems are a major means to manage versions and variants of today's software systems. An ongoing problem in these systems is how to resolve conflicts when me...
Sven Apel, Jörg Liebig, Christian Lengauer, C...
CCCG
2006
15 years 8 months ago
Polygons Flip Finitely: Flaws and a Fix
Every simple planar polygon can undergo only a finite number of pocket flips before becoming convex. Since Erdos posed this as an open problem in 1935, several independent purport...
Erik D. Demaine, Blaise Gassend, Joseph O'Rourke, ...