Sciweavers

4770 search results - page 578 / 954
» Flexible Type Analysis
Sort
View
178
Voted
ENDM
2000
174views more  ENDM 2000»
15 years 6 months ago
Hybrid Constraints in Automated Model Synthesis and Model Processing
Both parametric design tasks and analysis tasks of technical systems have a similar problem setting: The structure of the system to be configured or analyzed is defined already. W...
Klaus-Ulrich Leweling, Benno Stein
IWSEC
2010
Springer
15 years 5 months ago
Optimal Adversary Behavior for the Serial Model of Financial Attack Trees
Abstract. Attack tree analysis is used to estimate different parameters of general security threats based on information available for atomic subthreats. We focus on estimating the...
Margus Niitsoo
RULEML
2010
Springer
15 years 5 months ago
Visualizing Logical Dependencies in SWRL Rule Bases
Rule bases are common in many business rule applications, clinical decision support programs, and other types of intelligent systems. As the size of the rule bases grows and the in...
Saeed Hassanpour, Martin J. O'Connor, Amar K. Das
GPCE
2009
Springer
15 years 4 months ago
Generating safe template languages
Template languages are widely used within generative programming, because they provide intuitive means to generate software artefacts expressed in a specific object language. Howe...
Florian Heidenreich, Jendrik Johannes, Mirko Seife...
ICDAR
2009
IEEE
15 years 4 months ago
New Trends in Digital Scanning Processes
Handwritten document analysis and recognition deals with several different application fields. In document processing, one of the first problems that must be solved is data acquis...
Sebastiano Impedovo, Raffaele Modugno, Anna Ferran...