Sciweavers

355 search results - page 57 / 71
» Validation and Test Generation for Object-Oriented Distribut...
Sort
View
SIGDOC
2005
ACM
15 years 3 months ago
Usability over time
Testing of usability could perhaps be more accurately described as testing of learnability. We know more about the problems of novice users than we know of the problems of experie...
Valerie Mendoza, David G. Novick
ATAL
2010
Springer
14 years 10 months ago
Virtual world builder toolkit
In this paper we present a system that automatically generates a 3D virtual world from a virtual institution (VI) specification, namely of activities that will take place in the v...
T. Trescak, M. Esteva, I. Rodriguez, J. Morales
SIGSOFT
2008
ACM
15 years 10 months ago
Deriving input syntactic structure from execution
Program input syntactic structure is essential for a wide range of applications such as test case generation, software debugging and network security. However, such important info...
Zhiqiang Lin, Xiangyu Zhang
SPIN
2004
Springer
15 years 2 months ago
Translation from Adapted UML to Promela for CORBA-Based Applications
Nowadays, many distributed applications take advantage of the transparent distributed object systems provided by CORBA middlewares. While greatly reduce the design and coding effo...
Jessica Chen, Hanmei Cui
ICPP
2007
IEEE
15 years 3 months ago
Tempest: A portable tool to identify hot spots in parallel code
Compute clusters are consuming more power at higher densities than ever before. This results in increased thermal dissipation, the need for powerful cooling systems, and ultimatel...
Kirk W. Cameron, Hari K. Pyla, Srinidhi Varadaraja...