Sciweavers

549 search results - page 77 / 110
» Using Formal Concept Analysis in Mathematical Discovery
Sort
View
APN
1992
Springer
15 years 8 months ago
Towards a Modular Analysis of Coloured Petri Nets
The use of different High-level Petri net formalisms has made it possible to create Petri net models of large systems. Even though the use of such models allows the modeller to cr...
Søren Christensen, Laure Petrucci
133
Voted
VISUALIZATION
1998
IEEE
15 years 8 months ago
Comparing LIC and spot noise
Spot noise and line integral convolution (LIC) are two texture synthesis techniques for vector field visualization. In this paper the two techniques are compared. Continuous direc...
Wim C. de Leeuw, Robert van Liere
MMMACNS
2005
Springer
15 years 9 months ago
Models and Analysis of Active Worm Defense
Abstract. The recent proliferation of Internet worms has raised questions about defensive measures. To date most techniques proposed are passive, in-so-far as they attempt to block...
David M. Nicol, Michael Liljenstam
IWPSE
2007
IEEE
15 years 10 months ago
Modification analysis support at the requirements level
Modification analysis is part of most maintenance processes and includes among other activities, early prediction of potential change impacts, feasibility studies, cost estimation...
Maryam Shiri, Jameleddine Hassine, Juergen Rilling
HYBRID
2005
Springer
15 years 9 months ago
Interchange Formats for Hybrid Systems: Review and Proposal
Interchange formats have been the backbone of the EDA industry for several years. They are used as a way of helping the development of design flows that integrate foreign tools us...
Alessandro Pinto, Alberto L. Sangiovanni-Vincentel...