Lifting Infinite Normal Form Definitions From Term Rewriting to Term Graph Rewriting Fulltext Access 13 Pages 2007
A Mechanism for Communication-Efficient Broadcast Encryption over Wireless Ad Hoc Networks Fulltext Access 13 Pages 2007
Algorithmic Techniques for Maintaining Shortest Routes in Dynamic Networks Fulltext Access 13 Pages 2007
A Linear–time Tissue P System Based Solution for the 3–coloring Problem Fulltext Access 13 Pages 2007
Secure Information Sharing in a Virtual Multi-Agency Team Environment 1 Fulltext Access 13 Pages 2007
PiXL: Applying xml standards to support the integration of analysis tools for protocols Fulltext Access 13 Pages 2007
A refinement-tree based partitioning method for dynamic load balancing with adaptively refined grids Fulltext Access 13 Pages 2007
Parallelisation of genetic algorithms for the 2-page crossing number problem Fulltext Access 13 Pages 2007
A distributed integrated request processing algorithm for QoS assurance in large-scale media-based systems Fulltext Access 13 Pages 2007
On the probabilistic behaviour of a heuristic algorithm for maximal Hamiltonian tours Fulltext Access 13 Pages 2007
The MoR-Trust Distributed Trust Management System: Design and Simulation Results Fulltext Access 13 Pages 2007
Routing permutations and involutions on optical ring networks: complexity results and solution to an open problem Fulltext Access 13 Pages 2007
A normal form which preserves tautologies and contradictions in a class of fuzzy logics Fulltext Access 13 Pages 2007
Bio-STEER: A Semantic Web workflow tool for Grid computing in the life sciences Fulltext Access 13 Pages 2007
A layered workflow knowledge Grid/P2P architecture and its models for future generation workflow systems Fulltext Access 13 Pages 2007
Efficient Hierarchical Parallel Genetic Algorithms using Grid computing Fulltext Access 13 Pages 2007
Semiparametric regression for assessing agreement using tolerance bands Fulltext Access 13 Pages 2007
Plug-in bandwidth selection in kernel hazard estimation from dependent data Fulltext Access 13 Pages 2007
Efficient hybrid EM for linear and nonlinear mixed effects models with censored response Fulltext Access 13 Pages 2007
Mathematical modeling and analysis of a unified power flow controller: A comparison of two approaches in power flow studies and effects of UPFC location Fulltext Access 13 Pages 2007
Provision of financial transmission rights including assessment of maximum volumes of obligations and options Fulltext Access 13 Pages 2007
Dynamic load modeling of an Egyptian primary distribution system using neural networks Fulltext Access 13 Pages 2007
Intelligent power management strategy of hybrid distributed generation system Fulltext Access 13 Pages 2007
A model for selecting an ERP system based on linguistic information processing Fulltext Access 13 Pages 2007
Human-level artificial general intelligence and the possibility of a technological singularity: A reaction to Ray Kurzweil's The Singularity Is Near, and McDermott's critique of Kurzweil Fulltext Access 13 Pages 2007
On testing equality of intraclass correlations under unequal family sizes Fulltext Access 13 Pages 2007
A Framework for Timed Concurrent Constraint Programming with External Functions 1 Fulltext Access 13 Pages 2007
Automated Verification of Completeness and Consistency of Abstract State Machine Specifications using a SAT Solver Fulltext Access 13 Pages 2007
Molecular gene expression signature patterns for gastric cancer diagnosis Fulltext Access 13 Pages 2007
Using Verified Data-Flow Analysis-based Optimizations in Attribute Grammars 1 Fulltext Access 14 Pages 2007
Architecting Fault-tolerant Component-based Systems: from requirements to testing Fulltext Access 14 Pages 2007
Extending Symmetry Reduction Techniques to a Realistic Model of Computation Fulltext Access 14 Pages 2007