4305 search results - page 318 / 861 » Analysing Protocol Implementations |
184
click to vote
CC
2007
Springer
16 years 26 days ago
2007
Springer
As the amount of data used by programs increases due to the growth of hardware storage capacity and computing power, efficient memory usage becomes a key factor for performance. Si...
194
click to vote
FASE
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Software architecture constitutes a promising approach to the development of large-scale distributed systems, but architecture description languages (ADLs) and their asso...
158
click to vote
SAS
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Shape analyses are often imprecise in their numerical reasoning, whereas numerical static analyses are often largely unaware of the shape of a program’s heap. In this p...
174
click to vote
VAMOS
2007
Springer
16 years 23 days ago
2007
Springer
The automated analysis of feature models is recognized as one of the key challenges for automated software development in the context of Software Product Lines (SPL). However, aft...
143
click to vote
IV
2006
IEEE
16 years 21 days ago
2006
IEEE
We introduce a multiple-view tool called AlViz, which supports the alignment of ontologies visually. Ontologies play an important role for interoperability between organizations a...