2969 search results - page 475 / 594 » The Case for User-Centered CASE Tools |
182
click to vote
FORTEST
2008
15 years 8 months ago
2008
Algebraic specifications of data types provide a natural basis for testing data types implementations. In this framework, the conformance relation is based on the satisfaction of a...
166
click to vote
FSE
2008
Springer
15 years 8 months ago
2008
Springer
At Crypto 2007, Joux and Peyrin showed that the boomerang attack, a classical tool in block cipher cryptanalysis, can also be very useful when analyzing hash functions. They applie...
154
click to vote
ISSRE
2007
IEEE
15 years 8 months ago
2007
IEEE
Model-checkers are powerful tools that can find individual traces through models to satisfy desired properties. These traces provide solutions to a number of problems. Instead of...
174
click to vote
CCCG
2010
15 years 8 months ago
2010
A random polygon is the convex hull of uniformly distributed random points in a convex body K R2 . General upper bounds are established for the variance of the area of a random p...
188
click to vote
DGO
2010
15 years 8 months ago
2010
An applied research for the incremental evolution of a service oriented architecture for local eGovernment portals has been developed. Our reference eGovernment environment, curre...