2748 search results - page 222 / 550 » Generating Object-Z Specifications from Use Cases |
98
Voted
ICSE
2009
IEEE-ACM
16 years 1 months ago
2009
IEEE-ACM
Automatic repair of programs has been a longstanding goal in software engineering, yet debugging remains a largely manual process. We introduce a fully automated method for locati...
94
Voted
COOPIS
2004
IEEE
15 years 4 months ago
2004
IEEE
More and more companies use "process aware" information systems to make their business processes more efficient. To do this, workflow definitions must be formulated in a ...
95
Voted
JMM2
2007
15 years 21 days ago
2007
— In this paper, the use of active illumination is extended to image segmentation, specifically in the case of overlapping particles. This work is based on Multi-Flash Imaging (M...
109
Voted
IPPS
2003
IEEE
15 years 6 months ago
2003
IEEE
Reconfigurable hardware resources are very expensive, and yet can be underutilized. This paper describes a middleware capable of discovering underutilized computing nodes with FPG...
90
Voted
DATE
2009
IEEE
15 years 4 months ago
2009
IEEE
Traditional digital circuit synthesis flows start from an HDL behavioral definition and assume that circuit functions are almost completely defined, making don't-care conditio...