2748 search results - page 20 / 550 » Generating Object-Z Specifications from Use Cases |
ICSEA
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract—Nondeterminism is used as a means of underspecification or implementation choice in specifications, and it is often necessary if part of a system or the environment is...
EOR
2007
13 years 8 months ago
2007
The no-fit polygon is a construct that can be used between pairs of shapes for fast and efficient handling of geometry within irregular two-dimensional stock cutting problems. Pre...
ACMSE
2005
ACM
13 years 10 months ago
2005
ACM
The popularity of mobile devices has propelled the development of many useful location-aware applications. However, the heterogeneity of mobile devices necessitates that the softw...
RE
1995
Springer
14 years 3 days ago
1995
Springer
In an evolving specification, considerable development time and effort is spent handling recurrent inconsistencies. Tools and techniques for detecting and resolving inconsistencie...
CVPR
2010
IEEE
14 years 5 months ago
2010
IEEE
Optical character recognition (OCR) remains a difficult problem for noisy documents or documents not scanned at high resolution. Many current approaches rely on stored font models...