11168 search results - page 101 / 2234 » Abstract State Processes |
117
click to vote
DASFAA
2006
IEEE
15 years 10 months ago
2006
IEEE
straction for Information Management Michael Franklin University of California, Berkeley Alon Halevy Google Inc. and U. Washington David Maier Portland State University The develo...
178
click to vote
CCE
2005
15 years 4 months ago
2005
This paper presents a comprehensive formulation of a linearized state space process model for a generic two-reactant-two-product reactive distillation system. The development of t...
115
click to vote
FDL
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper describes a scenario-based methodology em-level design validation based on the Abstract State Machines formal method. This scenario-based approach complements an existi...
225
click to vote
ICDE
2005
IEEE
16 years 5 months ago
2005
IEEE
Extraction-Transformation-Loading (ETL) tools are pieces of software responsible for the extraction of data from several sources, their cleansing, customization and insertion into...
136
click to vote
LICS
2000
IEEE
15 years 8 months ago
2000
IEEE
We provide a general method for ameliorating state explosion via symmetry reduction in certain asymmetric systems, such as systems with many similar, but not identical, processes....