Sciweavers

13277 search results - page 50 / 2656
» An Approach to Clustering Abstracts
Sort
View
IWPC
2000
IEEE
14 years 2 days ago
Evaluating the Accessor Classification Approach to Detect Abstract Data Types
ng the Accessor Classification Approach to Detect Abstract Data Types icle presents an approach to identify abstract data types (ADTs) in source code. For each structured type deï...
Jean-Francois Girard, Martin Würthner
WER
2007
Springer
14 years 1 months ago
An Approach to Requirements Encapsulation with Clustering
Requirements encapsulation means organizing software requirements into a set of requirements clusters with tight cohesion along with external interfaces such that each cluster can...
Zude Li, Quazi Abidur Rahman, Nazim H. Madhavji
IIWAS
2008
13 years 9 months ago
A schema matching-based approach to XML schema clustering
The relationship between XML data clustering and schema matching is bidirectional. On one side, clustering techniques have been adopted to improve matching performance, and on the...
Alsayed Algergawy, Eike Schallehn, Gunter Saake
LICS
2002
IEEE
14 years 18 days ago
Probabilistic Abstraction for Model Checking: An Approach Based on Property Testing
istic Abstraction for Model Checking: an Approach Based on Property Testing∗ Sophie Laplante† Richard Lassaigne‡ Fr´ed´eric Magniez§ Sylvain Peyronnet† Michel de Rougemo...
Sophie Laplante, Richard Lassaigne, Fréd&ea...
FAC
2002
79views more  FAC 2002»
13 years 7 months ago
A New Approach to Abstract Syntax with Variable Binding
proach to Abstract Syntax with Variable Binding1 Murdoch J. Gabbay and Andrew M. Pitts Cambridge University Computer Laboratory, Cambridge, UK
Murdoch Gabbay, Andrew M. Pitts