Sciweavers

1263 search results - page 47 / 253
» Packaging Mathematical Structures
Sort
View
INFSOF
2007
74views more  INFSOF 2007»
13 years 8 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
ADG
2006
Springer
204views Mathematics» more  ADG 2006»
14 years 2 months ago
Algorithmic Search for Flexibility Using Resultants of Polynomial Systems
This paper describes the recent convergence of four topics: polynomial systems, flexibility of three dimensional objects, computational chemistry, and computer algebra. We discuss...
Robert H. Lewis, Evangelos A. Coutsias
CALCO
2005
Springer
105views Mathematics» more  CALCO 2005»
14 years 2 months ago
A Categorical Approach to Simulations
Simulations are a very natural way of relating concurrent systems, which are mathematically modeled by Kripke structures. The range of available notions of simulations makes it ver...
Miguel Palomino, José Meseguer, Narciso Mar...
NPAR
2006
ACM
14 years 2 months ago
Modeling plant structures using concept sketches
Creating 3D plant models is often a hard and laborious task. To make it easier and more natural, we propose a sketch-based interface for modeling single-compound plant structures ...
Fabricio Anastacio, Mario Costa Sousa, Faramarz F....
ESERNET
2003
Springer
14 years 2 months ago
Functional Testing, Structural Testing, and Code Reading: What Fault Type Do They Each Detect?
The origin of the study described here is the experiment performed by Basili and Selby, further replicated by Kamsties and Lott, and once again by Wood et al. These experiments inv...
Natalia Juristo Juzgado, Sira Vegas