395 search results - page 26 / 79 » Development of a formal REA-ontology Representation |
103
click to vote
EUROMICRO
1996
IEEE
15 years 4 months ago
1996
IEEE
Transformational design integrates design and verification. It combines "correctness by construciion" and design creativity by the use ofpre-proven behaviour preserving ...
TSMC
2010
14 years 6 months ago
2010
Computer system reliability is conventionally modeled and analyzed using techniques such as fault tree analysis (FTA) and reliability block diagrams (RBD), which provide static rep...
163
click to vote
DOCENG
2011
ACM
13 years 11 months ago
2011
ACM
A use case involving integrating results from search engines illustrates how the meta-metadata language facilitates interoperable metadata semantics. Formal semantics can be hard ...
ICCS
2007
Springer
15 years 6 months ago
2007
Springer
After decades of concurrent development of symbolic and connectionist methods, recent years have shown intensifying efforts of integrating those two paradigms. This paper contribu...
153
click to vote
DCEIS
2006
15 years 1 months ago
2006
During software engineering processes lots of artifacts are produced to document the development of a concrete software. For artifacts which are related with respect to their meani...