6348 search results - page 195 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
146
click to vote
DOCENG
2010
ACM
15 years 5 months ago
2010
ACM
Building authoring applications is a tedious and complex task that requires a high programming effort. Document technologies, especially XML based ones, can help in reducing such ...
127
click to vote
ACSC
2004
IEEE
15 years 7 months ago
2004
IEEE
An approach to system verification is described in which design artefacts produced during forward engineering are automatically compared to corresponding artefacts produced during...
243
click to vote
ICDE
2008
IEEE
16 years 5 months ago
2008
IEEE
Abstract-- A decomposition of a binary matrix into two matrices gives a set of basis vectors and their appropriate combination to form the original matrix. Such decomposition solut...
130
click to vote
DSN
2003
IEEE
15 years 9 months ago
2003
IEEE
In a recent paper [2] we have proposed FT-TCP: an architecture that allows a replicated service to survive crashes without breaking its TCP connections. FT-TCP is attractive in pr...
129
click to vote
DAS
2006
Springer
15 years 7 months ago
2006
Springer
Engineering diagnosis often involves analyzing complex records of system states printed to large, textual log files. Typically the logs are designed to accommodate the widest debug...