Sciweavers

6931 search results - page 902 / 1387
» Context and Design Agents
Sort
View
IIE
2007
154views more  IIE 2007»
15 years 7 months ago
Computer Aided Modelling Exercises
This paper describes a didactical Computer Aided Software Engineering (CASE)-tool that was developed for use within the context of a course in object-oriented domain modelling. In...
Monique Snoeck, Raf Haesen, Herman Buelens, Manu D...
INFSOF
2007
74views more  INFSOF 2007»
15 years 7 months ago
Software process improvement as emergent change: A structurational analysis
This paper presents a framework that draws on Structuration theory and dialectical hermeneutics to explicate the dynamics of software process improvement (SPI) in a packaged softw...
I. Allison, Yasmin Merali
ASE
2005
140views more  ASE 2005»
15 years 7 months ago
Aspect-Capable Call Path Profiling of Multi-Threaded Java Applications
A primary goal of program performance understanding tools is to focus the user's attention directly on optimization opportunities where significant cost savings may be found....
Robert J. Hall
TVCG
2008
127views more  TVCG 2008»
15 years 7 months ago
EMDialog: Bringing Information Visualization into the Museum
Digital interactive information displays are becoming more common in public spaces such as museums, galleries, and libraries. However, the public nature of these locations requires...
Uta Hinrichs, Holly Schmidt, M. Sheelagh T. Carpen...
TVLSI
2008
124views more  TVLSI 2008»
15 years 7 months ago
A Refinement-Based Compositional Reasoning Framework for Pipelined Machine Verification
Abstract--We present a refinement-based compositional framework for showing that pipelined machines satisfy the same safety and liveness properties as their non-pipelined specifica...
Panagiotis Manolios, Sudarshan K. Srinivasan