Sciweavers

IFIP
2004
Springer
13 years 9 months ago
Three decades of data integration - All problems solved?
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...
Patrick Ziegler, Klaus R. Dittrich
IFIP
2004
Springer
13 years 9 months ago
Realization of tai-chi motion using a humanoid robot
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...
Takenori Wama, Masayuki Higuchi, Hajime Sakamoto, ...
IFIP
2004
Springer
13 years 9 months ago
Static program transformations for efficient software model checking
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...
Shobha Vasudevan, Jacob A. Abraham
IFIP
2004
Springer
13 years 9 months ago
Software Rejuvenation - Modeling and Analysis
Kishor S. Trivedi, Kalyanaraman Vaidyanathan
IFIP
2004
Springer
13 years 9 months ago
Airbus fly-by-wire - A total approach to dependability
Pascal Traverse, Isabelle Lacaze, Jean Souyris
IFIP
2004
Springer
13 years 9 months ago
Solving Geometrical Place Problems by using Evolutionary Algorithms
Geometrical place can be sometimes difficult to find by applying mathematical methods. Evolutionary algorithms deal with a population of solutions. This population (initially ran...
Crina Grosan
IFIP
2004
Springer
13 years 9 months ago
An interdisciplinary perspective of dependability in open source software
: 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...
Cristina Gacek
IFIP
2004
Springer
13 years 9 months ago
Basic concepts of abstract interpretation
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
Patrick Cousot, Radhia Cousot