4359 search results - page 95 / 872 » Automated Pipeline Design |
FCCM
1998
IEEE
14 years 1 months ago
1998
IEEE
DATE
2007
IEEE
14 years 1 months ago
2007
IEEE
ICFEM
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...
CAISE
2006
Springer
14 years 1 months ago
2006
Springer
Recently, schema mapping has found considerable interest in both research and practice. Determining matching components of database or XML schemas is needed in many applications, e...
DSN
2004
IEEE
14 years 1 months ago
2004
IEEE