4150 search results - page 350 / 830 » A Practical Approach to Model Extension |
150
click to vote
P2P
2008
IEEE
15 years 11 months ago
2008
IEEE
Several protocol efficiency metrics (e.g., scalability, search success rate, routing reachability and stability) depend on the capability of preserving structure even over the ch...
122
click to vote
DATE
2006
IEEE
15 years 11 months ago
2006
IEEE
Practitioners of formal property verification often work around the capacity limitations of formal verification tools by breaking down properties into smaller properties that ca...
145
click to vote
SOFTVIS
2006
ACM
15 years 11 months ago
2006
ACM
It is vital for any developer to keep track of changes during his project. Thus, it is common practice to take static snapshots of single class diagrams. But to preserve the menta...
254
click to vote
ASWSD
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Test processes in the automotive industry are tool-intensive and affected by technologically heterogeneous test infrastructures. In the industrial practice a product has ...
149
click to vote
PPNA
2011
14 years 7 months ago
2011
Several protocol efficiency metrics (e.g., scalability, search success rate, routing reachability and stability) depend on the capability of preserving structure even over the ch...