1724 search results - page 276 / 345 » Industrial applications |
FORTE
1994
14 years 11 months ago
1994
The record of successful applications of formal verification techniques is slowly growing. Our ultimate aim, however, is not to perform small pilot projects that show that verific...
WCE
2007
14 years 11 months ago
2007
— Industrial plants makes a carefully trace of the human intervention on the process. This intervention happens at different points in the history of the facility, since the desi...
ATAL
2010
Springer
14 years 11 months ago
2010
Springer
An ever-growing infrastructure, including existing and newly built power plants, as well as a rising environmental awareness in society call for inspection and maintenance systems...
CAISE
2010
Springer
14 years 11 months ago
2010
Springer
Abstract As service-based Internet systems get increasingly complex they become harder to manage at design time as well as at runtime. Nowadays, many systems are described in terms...
CIDR
2009
14 years 11 months ago
2009
To date, the principal use case for schema matching research has been as a precursor for code generation, i.e., constructing mappings between schema elements with the end goal of ...