Sciweavers

8808 search results - page 436 / 1762
» Process of Software Evolution
Sort
View
FPL
2007
Springer
101views Hardware» more  FPL 2007»
16 years 1 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...
AAI
2007
66views more  AAI 2007»
15 years 7 months ago
Simulation and Analysis of Controlled Multi-Representational Reasoning Processes
Multi-representation reasoning processes often show a variety of reasoning paths that can be followed. To analyse such reasoning processes with special attention for differences b...
Tibor Bosse, Catholijn M. Jonker, Jan Treur
EUROSYS
2007
ACM
16 years 4 months ago
Sprint: a middleware for high-performance transaction processing
Sprint is a middleware infrastructure for high performance and high availability data management. It extends the functionality of a standalone in-memory database (IMDB) server to ...
Lásaro J. Camargos, Fernando Pedone, Marcin...
CODES
2007
IEEE
16 years 1 months ago
On the impact of manufacturing process variations on the lifetime of sensor networks
As an emerging technology, sensor networks provide the ability to accurately monitor the characteristics of wide geographical areas over long periods of time. The lifetime of indi...
Siddharth Garg, Diana Marculescu
ERLANG
2004
ACM
16 years 1 months ago
Structured programming using processes
Structured Programming techniques are applied to a personal accounting software application implemented in erlang as a demonstration of the utility of processes as design construc...
Jay Nelson