Volume 23; Issue 7

Knowledge-Based Systems

Volume 23; Issue 7
1

Aiming strategy error analysis and verification of a billiard training system

Chihhsiong Shih
Journal:
Knowledge-Based Systems
Year:
2010
Language:
english
File:
PDF, 1.72 MB
english, 2010
2

Model correspondence as a basis for schema domination

Guy Davies, Love Ekenberg
Journal:
Knowledge-Based Systems
Year:
2010
Language:
english
File:
PDF, 1.07 MB
english, 2010
4

Developer-friendly verification of process-based systems

Elke Pulvermueller, Sven Feja, Andreas Speck
Journal:
Knowledge-Based Systems
Year:
2010
Language:
english
File:
PDF, 1.65 MB
english, 2010
5

Towards a framework for estimating system NFRs on behavioral models

Rabeb Mizouni, Aziz Salah
Journal:
Knowledge-Based Systems
Year:
2010
Language:
english
File:
PDF, 781 KB
english, 2010
6

Editors, Aims & Scope

Journal:
Knowledge-Based Systems
Year:
2010
Language:
english
File:
PDF, 34 KB
english, 2010
9

Special issue on “Intelligent Formal Techniques for Software Design: IFTSD”

Hamido Fujita
Journal:
Knowledge-Based Systems
Year:
2010
Language:
english
File:
PDF, 128 KB
english, 2010