Strong equivalence of logic programs under the infinite-valued semantics Fulltext Access 6 Pages 2009
Real-time reconfiguration for guaranteeing QoS provisioning levels in Grid environments Fulltext Access 6 Pages 2009
Model-based simulation and performance evaluation of grid scheduling strategies Fulltext Access 6 Pages 2009
Real time switching and streaming transmission of uncompressed 4K motion pictures Fulltext Access 6 Pages 2009
Integrated resource management for lambda-grids: The Distributed Virtual Computer (DVC) Fulltext Access 6 Pages 2009
A mechanism for grid service composition behavior specification and verification Fulltext Access 6 Pages 2009
Structure design and test of enterprise security management system with advanced internal security Fulltext Access 6 Pages 2009
Secure verifiable non-interactive oblivious transfer protocol using RSA and Bit commitment on distributed environment Fulltext Access 6 Pages 2009
A compensation cost analysis of service-aggregate transaction for DTNs clients Fulltext Access 7 Pages 2009
Dynamic workload balancing of parallel applications with user-level scheduling on the Grid Fulltext Access 7 Pages 2009
Rule-based curation and preservation of data: A data grid approach using iRODS Fulltext Access 7 Pages 2009
The design and realisation of the Experimentmy Virtual Research Environment for social sharing of workflows Fulltext Access 7 Pages 2009
Cooperative negotiation and scheduling of scientific workflows in the collaborative climate community data and processing grid Fulltext Access 7 Pages 2009
Job monitoring and steering in D-Grid’s High Energy Physics Community Grid Fulltext Access 7 Pages 2009
A multilayered digital content distribution using a group-key based on web Fulltext Access 7 Pages 2009
Efficient construction of maximal and minimal representations of motifs of a string Fulltext Access 7 Pages 2009
The hitting and cover times of random walks on finite graphs using local degree information Fulltext Access 7 Pages 2009
Linear-size log-depth negation-limited inverter for k-tonic binary sequences Fulltext Access 7 Pages 2009
Online scheduling on two uniform machines subject to eligibility constraints Fulltext Access 7 Pages 2009
A fast algorithm for finding the positions of all squares in a run-length encoded string Fulltext Access 7 Pages 2009
Online scheduling on m uniform machines to minimize total (weighted) completion time Fulltext Access 7 Pages 2009
Counting feasible solutions of the traveling salesman problem with pickups and deliveries is #P#P-complete Fulltext Access 7 Pages 2009
Enhancement of transient stability by fuzzy logic-controlled SMES considering communication delay Fulltext Access 7 Pages 2009
Measurement of a power system nominal voltage, frequency and voltage flicker parameters Fulltext Access 7 Pages 2009
Decentralized tap changer blocking and load shedding against voltage instability: Prospective tests on the RTE system Fulltext Access 7 Pages 2009
Practical aspects in solving the medium-term operation planning problem of hydrothermal power systems by using the progressive hedging method Fulltext Access 7 Pages 2009
Structural vulnerability of energy distribution systems: Incorporating infrastructural dependencies Fulltext Access 7 Pages 2009
Parallel solution of large power system networks using the Multi-Area Thévenin Equivalents (MATE) algorithm Fulltext Access 7 Pages 2009
Improvements in current European network regulation to facilitate the integration of distributed generation Fulltext Access 7 Pages 2009
Active and reactive power sharing and frequency restoration in a distributed power system consisting of two UPS units Fulltext Access 7 Pages 2009
A novel wavelet transform aided neural network based transmission line fault analysis method Fulltext Access 7 Pages 2009
Power quality analysis applying a hybrid methodology with wavelet transforms and neural networks Fulltext Access 7 Pages 2009
Quantitative versus qualitative modeling: A complementary approach in ecosystem study Fulltext Access 7 Pages 2009
Whole genome assembly from 454 sequencing output via modified DNA graph concept Fulltext Access 7 Pages 2009
A comparative study of the single crystal X-ray determination and molecular modelling of the binding of oligomycin to ATP Synthase Fulltext Access 7 Pages 2009
RNA-binding residues in sequence space: Conservation and interaction patterns Fulltext Access 7 Pages 2009
Computational analyses of mammalian lactate dehydrogenases: Human, mouse, opossum and platypus LDHs Fulltext Access 7 Pages 2009
Work in Progress: Automatic Generation of Algorithm Animations for Lecture Slides Fulltext Access 7 Pages 2009
Using Graphviz as a Low-cost Option to Facilitate the Understanding of Unix Process System Calls Fulltext Access 7 Pages 2009
On the Role of Formal Methods in Software Certification: An Experience Report Fulltext Access 7 Pages 2009
On the minimal energy of unicyclic Hückel molecular graphs possessing Kekulé structures Fulltext Access 7 Pages 2009
Algebraic methods for inferring biochemical networks: A maximum likelihood approach Fulltext Access 7 Pages 2009
A generalization of Sperner’s theorem and an application to graph orientations Fulltext Access 7 Pages 2009
More on “Connected (n, m)-graphs with minimum and maximum zeroth-order general Randić index” Fulltext Access 7 Pages 2009
Planar graphs with maximum degree 8 and without adjacent triangles are 9-totally-colorable Fulltext Access 7 Pages 2009
Edge intersection graphs of systems of paths on a grid with a bounded number of bends Fulltext Access 7 Pages 2009
Coloring the square of the Kneser graph KG(2k+1,k) and the Schrijver graph SG(2k+2,k) Fulltext Access 7 Pages 2009