Sciweavers

4658 search results - page 277 / 932
» Swarms in Dynamic Environments
Sort
View
WCRE
2002
IEEE
15 years 11 months ago
Dynamic Component Program Visualization
Dynamic program visualization, i.e. the visualization of the runtime behavior of a program as opposed to the static structure of its source code has been investigated for various ...
Ludger Martin, Anke Giesl, Johannes Martin
ISCOPE
1998
Springer
15 years 11 months ago
Dynamic Reconfiguration and Virtual Machine Management in the Harness Metacomputing System
Metacomputing frameworks have received renewed attention of late, fueled both by advances in hardware and networking, and by novel concepts such as computational grids. However the...
Mauro Migliardi, Jack Dongarra, Al Geist, Vaidy S....
TYPES
1995
Springer
15 years 10 months ago
A Natural Deduction Approach to Dynamic Logic
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...
Furio Honsell, Marino Miculan
WSC
2004
15 years 8 months ago
Analysis of Supply Chains Using System Dynamics, Neural Nets, and Eigenvalues
Supply chain management is a critically significant strategy that enterprises depend on in meeting the challenges of today's highly competitive and dynamic business environme...
Luis Rabelo, Magdy Helal, Chalermmon Lertpattarapo...
PUK
2000
15 years 8 months ago
Dynamic Scheduling of Progressive Processing Plans
Progressive processing plans allow systems to tradeoff computational resources against the quality of service by specifying alternative ways in which to accomplish each step. When ...
Shlomo Zilberstein, Abdel-Illah Mouaddib, Andrew A...