Sciweavers

1574 search results - page 174 / 315
» Integrated Tools for Performance-Oriented Distributed Softwa...
Sort
View
HICSS
2005
IEEE
173views Biometrics» more  HICSS 2005»
15 years 10 months ago
Implementing Rule-Based Monitors within a Framework for Continuous Requirements Monitoring
With the increasing complexity of information systems, it is becoming increasingly unclear as to how information system behaviors relate to stated requirements. Although requireme...
William N. Robinson
IFM
2004
Springer
104views Formal Methods» more  IFM 2004»
15 years 10 months ago
Linking CSP-OZ with UML and Java: A Case Study
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
Michael Möller, Ernst-Rüdiger Olderog, H...
GROUP
2003
ACM
15 years 9 months ago
Awareness support in a groupware widget toolkit
Group awareness is an important part of synchronous collaboration, and support for group awareness can greatly improve groupware usability. However, it is still difficult to build...
Jason Hill, Carl Gutwin
IJHPCA
2002
101views more  IJHPCA 2002»
15 years 4 months ago
SCALA: A Performance System For Scalable Computing
Lack of effective performance-evaluation environments is a major barrier to the broader use of high performance computing. Conventional performance environments are based on profi...
Xian-He Sun, Thomas Fahringer, Mario Pantano
SIGSOFT
2003
ACM
16 years 5 months ago
Regression testing of GUIs
Although graphical user interfaces (GUIs) constitute a large part of the software being developed today and are typically created using rapid prototyping, there are no effective r...
Atif M. Memon, Mary Lou Soffa