6197 search results - page 907 / 1240 » Sandbridge Software Tools |
171
Voted
COMPSAC
2006
IEEE
16 years 1 months ago
2006
IEEE
Combinatorial covering arrays have been used in several testing approaches. This paper first discusses some existing methods for finding such arrays. Then a SAT-based approach a...
185
Voted
ICDE
2006
IEEE
16 years 1 months ago
2006
IEEE
Development of sound approaches and software tools for specification, assembly, and deployment of composite Web services from independently developed components promises to enhan...
177
click to vote
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
In a network consisting of several thousands computers, the occurrence of faults is unavoidable. Being able to test the behaviour of a distributed program in an environment where ...
172
click to vote
KBSE
2006
IEEE
16 years 1 months ago
2006
IEEE
Hierarchical diagrams are well-suited for visualizing the structure and decomposition of complex systems. However, the current tools poorly support modeling, visualization and nav...
187
Voted
SEFM
2006
IEEE
16 years 1 months ago
2006
IEEE
We present a methodology for modeling heterogeneous real-time components. Components are obtained as the superposition of three layers : Behavior, specified as a set of transitio...