7027 search results - page 1178 / 1406 » Software process: a roadmap |
172
click to vote
ISSRE
2006
IEEE
16 years 20 days ago
2006
IEEE
BPEL is a language that could express complex concurrent behaviors. This paper presents a novel method of BPEL test case generation, which is based on concurrent path analysis. Th...
162
click to vote
MEMOCODE
2006
IEEE
16 years 20 days ago
2006
IEEE
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...
208
click to vote
RSP
2006
IEEE
16 years 20 days ago
2006
IEEE
Embedded real-time multimedia applications usually imply data parallel processing. SIMD processors embedded in SOCs are cost-effective to exploit the underlying parallelism. Howev...
181
click to vote
SIPS
2006
IEEE
16 years 20 days ago
2006
IEEE
—A wide variety of DSP design tools have been developed that incorporate dataflow graph representations into their GUI-based design environments. However, as the complexity of ap...
148
click to vote
SMI
2006
IEEE
16 years 20 days ago
2006
IEEE
Polygonal meshes obtained from acquisition of real-world objects may easily exhibit topological or geometrical defects, which often prevent subsequent processing and analysis to p...