6348 search results - page 348 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
153
click to vote
TSE
2010
15 years 3 months ago
2010
We present an algorithm Dash to check if a program P satisfies a safety property ϕ. The unique feature of the algorithm is that it uses only test generation operations, and nes ...
128
click to vote
ICSE
1993
IEEE-ACM
15 years 9 months ago
1993
IEEE-ACM
Over the past 15 years there has been increasing recognition that careful attention to the design of a system’s software architecture is critical to satisfying its requirements ...
167
click to vote
WWW
2008
ACM
16 years 5 months ago
2008
ACM
We conduct the first systematical adoption of the Semantic Web solution in the integration, management, and utilization of TCM information and knowledge resources. As the results,...
160
click to vote
ACMSE
2005
ACM
15 years 10 months ago
2005
ACM
As the field of human-computer interaction matures, the need for proven, dependable engineering processes for interface development becomes apparent. Our continuing work in develo...
156
click to vote
FLAIRS
2004
15 years 6 months ago
2004
The Semantic Web is intended for knowledge sharing among agents as well as humans. To achieve this goal, Ontologies, which express knowledge in a certain vitality as well as in a ...