5465 search results - page 453 / 1093 » Assigning Types to Processes |
164
click to vote
GI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract: Optimizations in compilers are the most error-prone phases in the compilation process. Since correct compilers are a vital precondition for software correctness, it is ne...
163
click to vote
ICWE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Engineering adaptable Web Information Systems (WIS) requires systematic design models and specification frameworks. A complete model-driven methodology like Hera disting...
191
click to vote
MICAI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Conventional artificial neural network models lack many physiological properties of the neuron. Current learning algorithms are more concerned to computational performanc...
147
click to vote
PATAT
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, we address the issue of ordering exams by simultaneously considering two separate heuristics using fuzzy methods. Combinations of two of the following three heuristi...
147
click to vote
SBIA
2004
Springer
15 years 11 months ago
2004
Springer
During the development of system requirements, software system specifications are often inconsistent. Inconsistencies may arise for different reasons, for example, when multiple...