565 search results - page 71 / 113 » Compositional dynamic test generation |
121
Voted
CPP
2011
14 years 3 months ago
2011
Abstract. In this paper we present a new technique for automatically verifying typing constraints in the setting of Dminor, a first-order data processing language with refinement...
123
Voted
EJC
2003
15 years 5 months ago
2003
Abstract. A faceted taxonomy is a set of taxonomies, each describing a given domain from a different aspect, or facet. The indexing of domain objects is done through conjunctive c...
149
Voted
TASE
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract Web services choreography describes global models of service interactions among a set of participants. For an interaction to be executed, the participants taken part in it...
160
Voted
IASTEDSE
2004
15 years 5 months ago
2004
The Unified Modeling Language (UML) statechart diagram is used for modeling the dynamic aspects of systems. The UML statechart diagrams include many concepts that are not present ...
163
Voted
CGVR
2006
15 years 5 months ago
2006
Texture mapping with vector graphics, rather than raster graphics generates better rendering quality. This paper discusses a fully developed approach of texture mapping 3D objects...