249 search results - page 22 / 50 » Analyzing software process models with AVISPA |
108
click to vote
DAC
1997
ACM
15 years 4 months ago
1997
ACM
A methodology for architecture exploration of look-up table based decoders is presented. For the degree of parallel processing a trade-off can be made by exploring system level an...
88
Voted
PR
2007
14 years 12 months ago
2007
A major challenge in developing advanced thermal processess based on electromagnetic heating is to determine the location of cold spots in foods. A rapid and reliable method was d...
119
Voted
CISSE
2008
Springer
15 years 2 months ago
2008
Springer
We live in the information age, where the amount of data readily available already overwhelms our capacity to analyze and absorb it without help from our machines. In particular, ...
103
click to vote
DAC
2007
ACM
15 years 4 months ago
2007
ACM
A growing number of networked applications is implemented on increasingly complex automotive platforms with several bus standards and gateways. Together, they challenge the automo...
94
Voted
CISIS
2010
IEEE
15 years 5 months ago
2010
IEEE
—Structural ontology matching methods analyze mainly two factors: entity labels and relationships among entities. We propose to additionally consider an importance and relevance ...