3799 search results - page 564 / 760 » An Engineering Approach to Formal Methods |
168
click to vote
ADC
2003
Springer
15 years 11 months ago
2003
Springer
The rapid increase of web complexity and size makes web searched results far from satisfaction in many cases due to a huge amount of information returned by search engines. How to...
209
click to vote
EUROMICRO
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we propose a method for predicting the consequences of adding new components to an existing product line in the real-time systems domain. We refer to such a predicti...
126
click to vote
WSC
2008
15 years 8 months ago
2008
Life cycle cost is an essential approach to decide on alternative rehabilitation strategies for infrastructure systems. Monte Carlo simulation approach is used to develop a stocha...
189
click to vote
LREC
2010
15 years 8 months ago
2010
With the proliferation of applications sharing information represented in multiple ontologies, the development of automatic methods for robust and accurate ontology matching will ...
185
click to vote
INFORSID
2008
15 years 8 months ago
2008
This paper deals with an acronym/definition extraction approach from textual data (corpora) and the disambiguation of these definitions (or expansions). Both steps of our global pr...