1432 search results - page 182 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
152
click to vote
ISPASS
2010
IEEE
15 years 11 months ago
2010
IEEE
—Software instrumentation is a powerful and flexible technique for analyzing the dynamic behavior of programs. By inserting extra code in an application, it is possible to study...
127
click to vote
KBSE
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract—We describe BPELCheck, a tool for statically analyzing interactions of composite web services implemented in BPEL. Our algorithm is compositional, and checks each proces...
175
click to vote
FASE
2006
Springer
15 years 7 months ago
2006
Springer
This paper describes the application of the Real-Time Maude tool to the formal specification and analysis of the CASH scheduling algorithm and its suggested modifications. The CASH...
207
click to vote
VL
2010
IEEE
15 years 2 months ago
2010
IEEE
Many errors in spreadsheet formulas can be avoided if spreadsheets are built automatically from higher-level models that can encode and enforce consistency constraints. However, d...
128
click to vote
ACSC
2003
IEEE
15 years 9 months ago
2003
IEEE
Grid computing is becoming an important framework for enabling applications to utilize widely distributed collections of computational and data resources, however current grid sof...