7519 search results - page 454 / 1504 » Optimizing Generic Functions |
177
click to vote
FDL
2007
IEEE
15 years 10 months ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. The informal specification document from which the various collaterals are ...
178
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
We propose in this paper an extension of Conceptual Graphs that allows to use datatypes (strings, numbers, ...) for typing concept nodes. Though the model-theoretic semantics of th...
187
click to vote
BPM
2006
Springer
15 years 10 months ago
2006
Springer
Many business solutions provide best practice process templates, both generic as well as for specific industry sectors. However, it is often the variance from template solutions th...
164
click to vote
ECTEL
2006
Springer
15 years 10 months ago
2006
Springer
Argumentation is considered as an essential element for effective learning since it enables learners to develop their points of view and refine their knowledge. Our aim being to fa...
175
click to vote
ER
2000
Springer
15 years 10 months ago
2000
Springer
Model management is a framework for supporting meta-data related applications where models and mappings are manipulated as first class objects using operations such as Match, Merge...