1802 search results - page 314 / 361 » Using Declarative Specifications in Business Process Design |
113
click to vote
CA
1998
IEEE
15 years 3 months ago
1998
IEEE
We present MikeTalk, a text-to-audiovisual speech synthesizer which converts input text into an audiovisual speech stream. MikeTalk is built using visemes, which are a set of imag...
COMPSAC
1997
IEEE
15 years 3 months ago
1997
IEEE
I n this paper, we propose an approach to reuse-based software development using formal method. I n our approach, each software component is annotated with a set of predicates to ...
COMPSAC
2007
IEEE
15 years 3 months ago
2007
IEEE
Despite the availability of a variety of program analysis tools, evaluation of these tools is difficult, as only few benchmark suites exist. Existing benchmark suites lack the uni...
GEOINFO
2003
15 years 18 days ago
2003
This paper introduces the Telecommunication Outside Plant Markup Language (TOPML), an OpenGis GML (Geographic Markup Language) application schema designed to describe telecommunica...
SERP
2003
15 years 17 days ago
2003
The role that design by contract plays in the specification, monitoring, and reuse of classes is of increasing importance in the OO community. Although recognizably useful, neverth...