6197 search results - page 907 / 1240 » Sandbridge Software Tools |
152
click to vote
COMPSAC
2006
IEEE
16 years 25 days 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...
153
click to vote
ICDE
2006
IEEE
16 years 24 days 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...
162
click to vote
IPPS
2006
IEEE
16 years 24 days 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 ...
154
click to vote
KBSE
2006
IEEE
16 years 23 days 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...
168
click to vote
SEFM
2006
IEEE
16 years 23 days 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...