Finding the Minimal DFA of Very Large Finite State Automata with an Application to Token Passing Networks

Fine-Grained Authorization for Job and Resource Management Using Akenti and the Globus Toolkit

Fixing Data Anomalies with Prediction Based Algorithm in Wireless Sensor Networks

Flat Holonomies on Automata Networks

Flexible Session Management in a Distributed Environment

Fork Sequential Consistency is Blocking

Formal Aspects of Grid Brokering

Formal Derivation of Concurrent Garbage Collectors

Formal Relationships Between Geometrical and Classical Models for Concurrency

Framework to Solve Load Balancing Problem in Heterogeneous Web Servers

From Grid Middleware to a Grid Operating System

From Sequential to Concurrent: Correctness and Relative Efficiency

FTOS-Verify: Analysis and Verification of Non-Functional Properties for Fault-Tolerant Systems

Fully distributed and fault tolerant task management based on diffusions

Fully Empirical Autotuned QR Factorization For Multicore Architectures

Fully Sequential and Distributed Dynamic Algorithms for Minimum Spanning Trees

Further Results on Languages of Membrane Structures