Sciweavers

1407 search results - page 20 / 282
» Using Use Cases in Executable Z
Sort
View
143
Voted
ICST
2010
IEEE
15 years 26 days ago
Repairing GUI Test Suites Using a Genetic Algorithm
—Recent advances in automated functional testing of Graphical User Interfaces (GUIs) rely on deriving graph models that approximate all possible sequences of events that may be e...
Si Huang, Myra B. Cohen, Atif M. Memon
ETS
2002
IEEE
201views Hardware» more  ETS 2002»
15 years 2 months ago
Case study on technology and distance in education at the Harvard Business School
For almost a century, the Harvard Business School has used case studies as the basis for experiential learning in both MBA and Executive Education courses. This article presents a...
Brian J. DeLacey, Dorothy A. Leonard
MICRO
1993
IEEE
131views Hardware» more  MICRO 1993»
15 years 6 months ago
Superblock formation using static program analysis
Compile-time code transformations which expose instruction-level parallelism (ILP) typically take into account the constraints imposed by all execution scenarios in the program. H...
Richard E. Hank, Scott A. Mahlke, Roger A. Bringma...
JSW
2007
156views more  JSW 2007»
15 years 2 months ago
An Automatic Test Case Generation Framework for Web Services
— BPEL (Business Process Execution Language) as a de-facto standard for web service orchestration has drawn particularly attention from researchers and industries. BPEL is a semi...
Yongyan Zheng, Jiong Zhou, Paul Krause
101
Voted
TIT
2008
80views more  TIT 2008»
15 years 2 months ago
Entropy Amplification Property and the Loss for Writing on Dirty Paper
Costa's celebrated "writing on dirty paper" (WDP) shows that the powerconstrained channel Y = X + S + Z, with Gaussian Z, has the same capacity as the standard AWGN...
Aaron S. Cohen, Ram Zamir