IFIP
2004
Springer
14 years 7 months ago
2004
Springer
Data integration is one of the older research fields in the database area and has emerged shortly after database systems were first introduced into the business world. In this pa...
IFIP
2004
Springer
14 years 7 months ago
2004
Springer
Even though in recent years research and development of humanoid robots has increased, the major topics of research generally focus on how to make a robot perform specific motions...
IFIP
2004
Springer
14 years 7 months ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
IFIP
2004
Springer
14 years 7 months ago
2004
Springer
IFIP
2004
Springer
14 years 7 months ago
2004
Springer
IFIP
2004
Springer
14 years 7 months ago
2004
Springer
Geometrical place can be sometimes difficult to find by applying mathematical methods. Evolutionary algorithms deal with a population of solutions. This population (initially ran...
IFIP
2004
Springer
14 years 7 months ago
2004
Springer
IFIP
2004
Springer
14 years 7 months ago
2004
Springer
: Open Source Software (OSS) development needs to be considered during software development as to whether to develop an OSS packages, and/or whether to develop with OSS. In this pa...
IFIP
2004
Springer
14 years 7 months ago
2004
Springer
Interpretation∗ Soonho Kong http://ropas.snu.ac.kr/∼soon/ May 25, 2007 ∗ Work of P. Cousot and R.Cousot ncepts of Abstract Interpretation, 1 / 35
IFIP
2004
Springer
14 years 7 months ago
2004
Springer
