Sciweavers

1036 search results - page 96 / 208
» Design methods as discourse on practice
Sort
View
GECCO
2006
Springer
137views Optimization» more  GECCO 2006»
13 years 11 months ago
A unified optimization framework for microelectronics industry
In this paper, an object-oriented unified optimization framework (UOF) for general problem optimization is proposed. Based on evolutionary algorithms, numerical deterministic meth...
Yiming Li, Cheng-Kai Chen, Yen-Yu Cho
ACE
2003
130views Education» more  ACE 2003»
13 years 9 months ago
Bootstrapping Computer Science in Old North Wales
We describe our experiences in setting up a new Computer Science department in an established University within the UK. We drew upon our experiences in teaching Computing in Austr...
Kenneth A. Hawick, Heath A. James
SEC
2000
13 years 9 months ago
Using Mobile Agent Results to Create Hard-to-Detect Computer Viruses
The theory of computer viruses has been studied by several authors, though there is no systematic theoretical study up to now. The long time open question in this area is as follo...
Yongge Wang
AC
2005
Springer
13 years 7 months ago
Software model checking with SPIN
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
Gerard J. Holzmann
ISAMI
2010
13 years 5 months ago
Adaptive Experience Sampling: Addressing the Dynamic Nature of In-Situ User Studies
Experience sampling techniques can be used to study user experiences with products in a natural setting and over time. Nowadays, researchers can use selective sampling to link the ...
Martijn H. Vastenburg, Natalia Romero Herrera