Sciweavers

8154 search results - page 280 / 1631
» Understanding changes in use cases: A case study
Sort
View
TOOLS
2009
IEEE
16 years 1 months ago
PyGirl: Generating Whole-System VMs from High-Level Prototypes Using PyPy
Abstract. Virtual machines (VMs) emulating hardware devices are generally implemented in low-level languages for performance reasons. This results in unmaintainable systems that ar...
Camillo Bruni, Toon Verwaest
SIGDOC
2003
ACM
15 years 12 months ago
Using AI techniques to aid hypermedia design
Artificial intelligence techniques have found a number of applications in hypermedia, mostly in two specific areas, user interface, particularly adaptive ones and information sear...
Elena I. Gaura, Robert M. Newman
GRID
2008
Springer
15 years 7 months ago
Troubleshooting thousands of jobs on production grids using data mining techniques
Large scale production computing grids introduce new challenges in debugging and troubleshooting. A user that submits a workload consisting of tens of thousands of jobs to a grid ...
David A. Cieslak, Nitesh V. Chawla, Douglas Thain
IJMTM
2007
147views more  IJMTM 2007»
15 years 6 months ago
Value chain modelling using system dynamics
: We consider a new type of value chain that includes both production and service capabilities for existing product lines and that incorporates new product and service development....
Thomas Speller, Luis Rabelo, Albert Jones
TAP
2010
Springer
145views Hardware» more  TAP 2010»
15 years 4 months ago
QuickSpec: Guessing Formal Specifications Using Testing
We present QuickSpec, a tool that automatically generates algebraic specifications for sets of pure functions. The tool is based on testing, rather than static analysis or theorem ...
Koen Claessen, Nicholas Smallbone, John Hughes