3799 search results - page 311 / 760 » An Engineering Approach to Formal Methods |
184
click to vote
MEMOCODE
2010
IEEE
15 years 4 months ago
2010
IEEE
Electronic System Level (ESL) design manages the complexity of todays systems by using abstract models. In this context Transaction Level Modeling (TLM) is state-of-theart for desc...
209
click to vote
WWW
2009
ACM
16 years 1 months ago
2009
ACM
Geographical context is very important for images. Millions of images on the Web have been already assigned latitude and longitude information. Due to the rapid proliferation of s...
173
click to vote
VLDB
2001
ACM
15 years 11 months ago
2001
ACM
In recent years, several methods have been proposed for implementing interactive similarity queries on multimedia databases. Common to all these methods is the idea to exploit use...
172
click to vote
GECCO
2005
Springer
16 years 7 days ago
2005
Springer
In this paper, we present the application of evolutionary optimization methods to a demanding, industrially relevant engineering domain, the three-dimensional optimization of gas ...
189
click to vote
JUCS
2002
15 years 6 months ago
2002
: Different models and methodologies for the development of hypermedia systems and applications have emerged in the recent years. Software-technical methods and principles enriched...