2748 search results - page 356 / 550 » Generating Object-Z Specifications from Use Cases |
140
click to vote
ACL
2007
15 years 5 months ago
2007
While the average performance of statistical parsers gradually improves, they still attach to many sentences annotations of rather low quality. The number of such sentences grows ...
114
click to vote
MICCAI
2005
Springer
16 years 5 months ago
2005
Springer
This paper deals with the modeling of a vascular C-arm to generate 3D augmented fluoroscopic images in an interventional radiology context. A methodology based on the use of a mult...
113
click to vote
ICCAD
2006
IEEE
16 years 1 months ago
2006
IEEE
We devise a central triangular sequence to minimize the escape routing layers in area array packaging. We use a network flow model to analyze the bottleneck of the routable pins. ...
127
click to vote
ICSM
2008
IEEE
15 years 10 months ago
2008
IEEE
Annotations are often mentioned as a potential alternative to tackle the fragile nature of AspectJ pointcuts. However, annotations themselves can be considered crosscutting elemen...
120
click to vote
ICST
2008
IEEE
15 years 10 months ago
2008
IEEE
We present a model-based approach to testing access control requirements. By using combinatorial testing, we first automatically generate test cases from and without access contro...