68 search results - page 14 / 14 » Specifying generic Java programs: two case studies |
IHI
2010
13 years 4 days ago
2010
One goal of medical device certification is to show that a given medical device satisfies its requirements. The requirements that should be met by a device, however, depend on the...
SIGSOFT
2005
ACM
14 years 6 months ago
2005
ACM
A modular program analysis considers components independently and provides succinct summaries for each component, which can be used when checking the rest of the system. Consider ...
ORDER
2008
13 years 5 months ago
2008
Orthogonal surfaces are nice mathematical objects which have interesting connections to various fields, e.g., integer programming, monomial ideals and order dimension. While orthog...