3799 search results - page 274 / 760 » An Engineering Approach to Formal Methods |
194
click to vote
AOSE
2008
Springer
15 years 8 months ago
2008
Springer
The construction of ad-hoc design processes is more and more required today. In this paper we present our approach for the construction of a new design process following the Situat...
198
Voted
IJAOSE
2010
15 years 4 months ago
2010
: The complexity and scope of software systems continues to grow. One approach to dealing with this growing complexity is the use of intelligent, multi-agent systems. However, due ...
169
click to vote
CEC
2003
IEEE
15 years 12 months ago
2003
IEEE
The aim of this work is to utilize an evolutationary algorithm to evolve the microstructure of an object created by a stereolithography machine. This should be optimised to be able...
175
click to vote
ASWC
2008
Springer
15 years 8 months ago
2008
Springer
Finding the justifications for an entailment (i.e., minimal sets of axioms responsible for it) is a prominent reasoning service in ontology engineering, as justifications facilitat...
258
click to vote
DEXAW
2010
IEEE
15 years 7 months ago
2010
IEEE
-- This paper proposes to enhance search query log analysis by taking into account the semantic properties of query terms. We first describe a method for extracting a global semant...