6474 search results - page 1242 / 1295 » Towards a Systemic Approach to Autonomic Systems Engineering |
138
click to vote
UIST
2006
ACM
15 years 12 months ago
2006
ACM
Current paper-based interfaces such as PapierCraft, provide very little feedback and this limits the scope of possible interactions. So far, there has been little systematic explo...
176
click to vote
IRI
2005
IEEE
15 years 11 months ago
2005
IEEE
Although data integration has been a research subject for decades in the AEC (Architecture Engineering Construction) industry whose data is usually highly fragmented, nowadays we ...
146
click to vote
GECCO
2005
Springer
15 years 11 months ago
2005
Springer
Designing technical plants is a complex and demanding process. It has been shown that the optimization of the simple facility placement problem is already NP-hard. Optimization of...
192
click to vote
APWEB
2004
Springer
15 years 11 months ago
2004
Springer
Today, search engine is the most commonly used tool for Web information retrieval, however, its current status is still far from satisfaction. This paper focuses on clustering Web...
139
click to vote
CAV
2004
Springer
15 years 11 months ago
2004
Springer
The logic of equality with uninterpreted functions (EUF) and its extensions have been widely applied to processor verification, by means of a large variety of progressively more s...