2748 search results - page 124 / 550 » Generating Object-Z Specifications from Use Cases |
117
click to vote
COMPSAC
2008
IEEE
15 years 7 months ago
2008
IEEE
The rapid growth of Internet population leads to the shortage of IP addresses. The next generation IP protocol, IPv6, which extends the IP address length from 32 bits to 128 bits,...
103
Voted
MICCAI
2008
Springer
16 years 1 months ago
2008
Springer
Aortic valve disease is an important cardio-vascular disorder, which affects 2.5% of the global population and often requires elaborate clinical management. Experts agree that visu...
129
click to vote
VLSISP
2008
15 years 11 days ago
2008
Modern multimedia applications usually have real-time constraints and they are implemented using application-domain specific embedded processors. Dimensioning a system requires acc...
122
Voted
ENTCS
2006
15 years 15 days ago
2006
We describe an automatic complexity analysis mechanism for programs extracted from proofs carried out with the proof assistant Coq. By extraction, we mean the automatic generation...
81
Voted
VIROLOGY
2010
14 years 11 months ago
2010
This research proposes a novel automatic method (termed Auto-Sign) for extracting unique signatures of malware executables to be used by high-speed malware filtering devices based...