Sciweavers

3796 search results - page 416 / 760
» Presentations by Programmers for Programmers
Sort
View
FPL
2007
Springer
101views Hardware» more  FPL 2007»
15 years 10 months ago
Formal Modeling of Process Migration
This paper develops a formal model of process migration that describes programs, processes, and the migration of those processes within a migration realm. A migration realm is a g...
Aric D. Blumer, Henning S. Mortveit, Cameron D. Pa...
HICSS
2006
IEEE
102views Biometrics» more  HICSS 2006»
15 years 10 months ago
Cultural Impact on Intergroup Coordination in Software Development in China: A Qualitative Analysis
Intergroup coordination is critical for the success of software projects. This paper examines the impact of Chinese national culture on intergroup coordination success factors thr...
Minghui Yuan, Doug Vogel
ICRA
2006
IEEE
86views Robotics» more  ICRA 2006»
15 years 10 months ago
The Statistical Dynamics of Programmed Self-assembly
Abstract— We describe how a graph grammar program for robotic self-assembly, together with measurements of kinetic rate data yield a Markov Process model of the dynamics of progr...
Nils Napp, Samuel Burden, Eric Klavins
ITNG
2006
IEEE
15 years 10 months ago
Rethinking Programming
The accepted view of programming, rooted in Turing’s fundamental characterization of algorithms, has had a profound impact on the theory and practice of computing with yet broad...
W. M. Beynon, R. C. Boyatt, S. B. Russ
KBSE
2006
IEEE
15 years 10 months ago
Model-driven Monitoring: Generating Assertions from Visual Contracts
The Visual Contract Workbench is a tool that supports model-driven development of software systems by lifting the Design by Contract idea, which is usually used at the code level,...
Marc Lohmann, Gregor Engels, Stefan Sauer