Sciweavers

4919 search results - page 636 / 984
» A Process-Ontological Model for Software Engineering
Sort
View
121
Voted
COMPSAC
2004
IEEE
15 years 8 months ago
Protein Functional Motion Query and Visualization
Function is a dynamic property closely related to the conformational mechanisms of the protein structure in its physiological environment. Efficient methods and tools for predicti...
Xiong Liu, Hassan A. Karimi, Lee-Wei Yang, Ivet Ba...
APSEC
2003
IEEE
15 years 8 months ago
An Analysis of Backward Simulation Data-Refinement for Partial Relation Semantics
This paper investigates data-refinement by backward simulation for specifications whose semantics is given by partial relations. The standard model-theoretic approach is based on ...
Moshe Deutsch, Martin C. Henson
AADEBUG
1995
Springer
15 years 8 months ago
Transparency Debugging with Explanations for Novice Programmers
Novice programmers often find programming to be a difficult and frustrating task. Because of their lack of experience in programming novices have different needs to experts when i...
Philip A. Smith, Geoffrey I. Webb
SOFT
2000
15 years 8 months ago
Problems and Prospects in Fuzzy Data Analysis
In meeting the challenges that resulted from the explosion of collected, stored, and transferred data, Knowledge Discovery in Databases or Data Mining has emerged as a new research...
Rudolf Kruse, Christian Borgelt, Detlef Nauck
ICFEM
1997
Springer
15 years 8 months ago
Refinement of Information Flow Architectures
A calculus is presented for the stepwise refinement of abstract information flow architectures. We give a mathematical model for information flow components based on relations bet...
Jan Philipps, Bernhard Rumpe