Sciweavers

Share
FORTE
2007
9 years 7 months ago
Transactional Reduction of Component Compositions
Behavioural protocols are beneļ¬cial to Component-Based Software Engineering and Service-Oriented Computing as they foster automatic procedures for discovery, composition, composi...
Serge Haddad, Pascal Poizat
CHARME
2001
Springer
105views Hardware» more  CHARME 2001»
9 years 10 months ago
Net Reductions for LTL Model-Checking
We present a set of reduction rules for LTL model-checking of 1-safe Petri nets. Our reduction techniques are of two kinds: (1) Linear programming techniques which are based on wel...
Javier Esparza, Claus Schröter
ICDE
2002
IEEE
91views Database» more  ICDE 2002»
9 years 10 months ago
Lossy Reduction for Very High Dimensional Data
We consider the use of data reduction techniques for the problem of approximate query answering. We focus on applications for which accurate answers to selective queries are requi...
Chris Jermaine, Edward Omiecinski
books