Sciweavers

51 search results - page 5 / 11
» Inferring Declarative Requirements Specifications from Opera...
Sort
View
NOMS
1998
IEEE
160views Communications» more  NOMS 1998»
13 years 11 months ago
SP-to-SP service ordering specification and its implementation
Network Management Forum (NMF) has defined a set of basic business processes dealing with major TMN service management functions such as performance management, fault management, b...
Graham Chen, Qinzheng Kong, Pierre-Yves Benain
PODS
1994
ACM
91views Database» more  PODS 1994»
13 years 11 months ago
A Polymorphic Calculus for Views and Object Sharing
We present a typed polymorphic calculus that supports a general mechanism for view definition and object sharing among classes. In this calculus, a class can contain inclusion spe...
Atsushi Ohori, Keishi Tajima
SIGMOD
2008
ACM
120views Database» more  SIGMOD 2008»
14 years 7 months ago
Muse: a system for understanding and designing mappings
Schema mappings are logical assertions that specify the relationships between a source and a target schema in a declarative way. The specification of such mappings is a fundamenta...
Bogdan Alexe, Laura Chiticariu, Renée J. Mi...
ECBS
1997
IEEE
144views Hardware» more  ECBS 1997»
13 years 11 months ago
An analysis of the Ariane 5 flight 501 failure-a system engineering perspective
The report issued by the Inquiry Board in charge of inspecting the Ariane 5 flight 501 failure concludes that causes of the failure are rooted into poor S/W Engineering practice. ...
Gérard Le Lann
AAI
2006
215views more  AAI 2006»
13 years 7 months ago
Extensive Evaluation of Efficient NLP-Driven Text Classification
Extensive experimental evidence is required to study the impact of text categorization approaches on real data and to assess the performance within operational scenarios. In this ...
Roberto Basili, Alessandro Moschitti, Maria Teresa...