2135 search results - page 239 / 427 » Dimensions of Component Based Development |
122
click to vote
FM
2008
Springer
15 years 4 months ago
2008
Springer
In this article we would like to present some recent applications of the B formal method to the development of safety critical system. These SIL3/SIL41 compliant systems have their...
100
click to vote
LREC
2008
15 years 3 months ago
2008
Language resources and tools to create and process these resources are necessary components in human language technology and natural language applications. In this paper, we descr...
117
click to vote
FLAIRS
2006
15 years 3 months ago
2006
In this paper we describe a system for semantic interpretation of noun compounds that relies on world and domain knowledge from a knowledge base. This architecture combines domain...
122
click to vote
TREC
2001
15 years 3 months ago
2001
This paper presents the DIOGENE question/answering system developed at ITCIrst. The system is based on a rather standard architecture which includes three components for question ...
106
click to vote
ICSQP
1994
15 years 3 months ago
1994
: The cost of developing and maintaining high quality software remains at a premium. In this paper we introduce a practical approach for enhancement of software quality, based on c...