7393 search results - page 1308 / 1479 » Synthesis-for-testability using transformations |
139
click to vote
IJISMD
2010
15 years 13 days ago
2010
UML is now widely accepted as the standard modeling language for software construction. The Class Diagram is its core view, having well formed semantics and providing the backbone...
241
click to vote
CASCON
2010
14 years 12 months ago
2010
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. However, web services are dis...
127
click to vote
DAGM
2010
Springer
14 years 12 months ago
2010
Springer
We present a model-driven approach to the segmentation of nasal cavity and paranasal sinus boundaries. Based on computed tomography data of a patients head, our approach aims to ex...
145
click to vote
DSS
2002
15 years 3 months ago
2002
Recent research has sought to develop formal languages for business communication as more expressive, flexible and powerful alternatives to current electronic data interchange (ED...
159
click to vote
CVPR
2011
IEEE
14 years 11 months ago
2011
IEEE
Automatic face photo-sketch recognition has important applications to law enforcement. Recent research has focused on transforming photos and sketches into the same modality for m...