Sciweavers

42 search results - page 9 / 9
» Incorporating Application Semantics and Control into Compila...
Sort
View
ICCS
2001
Springer
13 years 10 months ago
Inclusion-Based Approximate Reasoning
Nowadays, people start to accept fuzzy rule–based systems as flexible and convenient tools to solve a myriad of ill–defined but otherwise (for humans) straightforward tasks s...
Chris Cornelis, Etienne E. Kerre
FM
1997
Springer
258views Formal Methods» more  FM 1997»
13 years 10 months ago
Consistent Graphical Specification of Distributed Systems
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
Franz Huber, Bernhard Schätz, Geralf Einert