7080 search results - page 357 / 1416 » Designing High Integrity Systems Using Aspects |
115
click to vote
ADBIS
2007
Springer
15 years 10 months ago
2007
Springer
The Message Transformation Model (MTM), for modeling complex message transformation processes in data centric application scenarios, provides strong capabilities for describing the...
147
click to vote
ICDE
2006
IEEE
15 years 10 months ago
2006
IEEE
To realize the Semantic Web, it will be necessary to make existing database content available for emerging Semantic Web applications, such as web agents and services, which use on...
140
click to vote
FAST
2009
15 years 1 months ago
2009
We present DIADS, an integrated DIAgnosis tool for Databases and Storage area networks (SANs). Existing diagnosis tools in this domain have a database-only (e.g., [11]) or SAN-onl...
121
Voted
PDC
2004
ACM
15 years 9 months ago
2004
ACM
How can the documentation of concepts for complex sociotechnical systems, such as the adoption of groupware, be incorporated into practices of PD? Documents are important in suppo...
140
click to vote
JAR
1998
15 years 3 months ago
1998
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...