Presents effective new solutions in engineering and educational methods and the First International Conference on Computer Science, Engineering and Education The state-of-the-art papers discuss topics in computer science, such as . Series Title: Advances in Intelligent Systems and Computing; Series Volume:
Table of contents
Future Generation Computer Systems. Elsevier, Vol 26, No. Model of Computation, Language, and Execution Environment. A standards-based Grid resource brokering service supporting advance reservations, coallocation and cross-Grid interoperability. Practice and Experience , Volume 21, No. Accounting and Billing for Federated Cloud Infrastructures. Portable Tools for Interoperable Grids: Combining local and Grid resources in scientific workflows for bioinformatics.
Authorizing Grid Resource Access and Consumption. Also available in N. Practice and Experience , Vol. Elsevier, Vol 24, No.
- Institute for Information and Communication Technologies, Electronics and Applied Mathematics.
- The Brides Guide to Musicians: Live Wedding Music Made Easy and Affordable!
- Recent Distributed Systems (Cloud and Grid Computing) Publications.
- Ghost of a Chance.
- Articles in Refereed Conferences.
- Deja Vu?
- A Little Resource Guide to Making Money Online.
A light-weight Grid workflow execution service enabling client and middleware independence. Designing general, composable, and middleware-independent Grid infrastructure tools for multi-tiered job management. Towards Next Generation Grids. Practice and Experience , 18 10 , pp. Componentwise asymptotic stability from flowinvariance. Independent component analysis with application. Discrete time linear periodic Hamiltonian systems and applications. Slicotbased advanced automatic control computations On the connection between Riccati inequalities and equations.
Robots for humanitarian demining. Parametrization of stabilizing controllers with applications. Methodology for the design offeedback active vibration. Juan Caballero , Zhiqiang Lin. Type Inference on Executables. Roberto Giacobazzi , Isabella Mastroeni. Making abstract models complete.
MPI Magdeburg: CSC: Staff: Peter Benner: Publikationen
Mathematical Structures in Computer Science, Vol. Objectives and System Evaluation. No solvable lambda-value term left behind. Logical Methods in Computer Science, Vol. Product programs and relational program logics. Programming language techniques for differential privacy. A rapid-prototyping framework for extracting small-scale incident-related information in microblogs: Application of multi-label classification on tweets. Foundations of Boolean Stream Runtime Verification.
Theoretical Computer Science, Vol. Special issue on temporal representation and reasoning TIME' Giovanni Bernardi , Matthew Hennessy. Using higher-order contracts to model session types. Guillermo Vigueras , Juan M. Isabella Mastroeni, Roberto Giacobazzi. Weakening Additivity in Adjoining Closures. Formal Aspects of Computing, To Appear, Theory and Practice of Logic Programming, 31st Int'l. System, Man, and Cybernetics: Antonio Nappa , M. Zubair Rafique, Juan Caballero.
Identification and Analysis of Drive-by Download Operations. Krishnaswami, Aleksandar Nanevski , Viktor Vafeiadis. Exploiting the Intrinsic Redundancy of Web Applications. Cryptographic Software We can Trust. Software Engineering and Formal Methods. Software and System Modeling, Vol. Quantifying information flow in cryptographic systems. Parametrized Invariance for Infinite State Processes. Algebraic trapdoor one-way functions: Pavithra Prabhakar , Geir E. Pavithra Prabhakar , Miriam Garcia Soto. An Algorithmic Verifier for Stability.
A decidable class of planar linear hybrid systems. Unveiling metamorphism by abstract interpretation of code properties. On the syntactic and functional correspondence between hybrid or layered normalisers and abstract machines. Alexander Malkis , Anindya Banerjee. On Automation in the Verification of Software Barriers: Theory and Practice of Logic Programming, 30th Int'l. Dupressoir, Francois , Gordon, Andrew D.
Also appears as tech. Accelerating collision detection for large-scale crowd simulation on multi-core and many-core architectures. Pushdown flow analysis with abstract garbage collection. Gallagher , Bishoksan Kafle. Juan Caballero , Simson Garfinkel. Ahmed Bouajjani, Michael Emmi. Bounded phase analysis of message-passing programs. Pattern-based Verification for Multithreaded Programs. Alexey Gotsman , Hongseok Yang. Linearizability with ownership transfer. How to make ad hoc proof automation less ad hoc. Modular verification of preemptive OS kernels. Journal of Functional Programming, Vol.
Denotation of syntax and metaprogramming in contextual modal type theory CMTT. Juan Caballero , Dawn Song. Message Format Extraction and Field Semantics. Anindya Banerjee , David A. Journal of the ACM, Vol. Fusing Statecharts and Java. Abstracting Runtime Heaps for Program Understanding. A Survey on Service Quality Description.
A Read-Copy Update based parallel server for distributed crowd simulations. The Journal of Supercomputing, Vol. A computationally efficient framework for the simulation of cardiac perfusion using a multi-compartment Darcy porous-media flow model.
Clay Shields, Juan Caballero. Analysis of Recursively Parallel Programs. Secure distributed programming with value-dependent types. Understanding the Role of Malware in Cybercrime. An Overview of Ciao and its Design Philosophy. Journal of Computer Security, Vol. Quantitative Security Analysis Dagstuhl Seminar Diagrammatic confluence for Constraint Handling Rules. Theory and Practice of Logic Programming, 28th Int'l.
Quick Links
Ganty, Pierre , Majumdar, Rupak. Algorithmic verification of asynchronous programs. Isabella Mastroeni, Anindya Banerjee. Secure Information Flow by Self-Composition. An Abstract Model of Certificate Translation. Theory and Practice of Logic Programming, 27th Int'l. Efficient Local Unfolding with Ancestor Stacks.
Software Engineering Notes, Vol. Specifications for decidable hybrid games. A simple and direct automaton construction. Information Processing Letters, Vol. Security of Multithreaded Programs by Compilation. Lock-free Parallel Dynamic Programming. Journal of Parallel and Distributed Computing, Vol.
New Generation Computing, Vol. Innovations in Systems and Software Engineering, Vol. Certificate Translation for Optimizing Compilers. Elvira Albert, John P. Type-based homeomorphic embedding for online termination. Implementing Constructive Intensional Negation. Automated Analysis of Security-Design Models. A Model for Mobile Code Safety. Demandedness Analysis with Partial Predicates.
Analyzing the User Interface of Android Apps. Arianna Blasi, Alessandra Gorla. Identifying Clones in Code Comments. What did Really Change with the new Release of the App?. Safe privatization in transactional memory. Paxos consensus, deconstructed and abstracted. Compositional verification of compiler optimisations on relaxed memory. Fixing the State Budget: Parikh Image of Pushdown Automata. Detecting behavior anomalies in graphical user interfaces. Paolo Calciati, Alessandra Gorla. A Lustrum of Malware Network Communication: Cost-Efficient Testing in the Cloud.
Filter design for delay-based anonymous communications. P, pages , GI, February Concurrent Data Structures Linked in Time. Alexey Gotsman , Sebastian Burckhardt. Consistency models with global operation sequencing and their composition. Algebraic laws for weak consistency. Proving linearizability using partial orders. High-Assurance and High-Speed Cryptography. Automated Proofs and New Constructions. Verified Translation Validation of Static Analyses. Generic Transformations of Predicate Encodings: Proving uniformity and independence by self-composition and coupling.
Is Your Software on Dope? Coupling proofs are probabilistic product programs. Security Analysis of Cache Replacement Polices. Back to the Drawing Board: Yevgeniy Dodis, Dario Fiore. Rule Formats for Nominal Process Calculi. Zero-knowledge contingent payments revisited: Attacks and payments for services.
Proceedings of the 20th International Conference on Hybrid Systems: Verified Translation-Validation of Static Analyses. Computer-aided verification in mechanism design. A Tool for Massive Malware Labeling. Automatic Generation of Oracles for Exceptional Behaviors. Specification and Complexity of Collaborative Text Editing. A Generic Logic for Proving Linearizability. Giovanni Bernardi , Alexey Gotsman.
Robustness against Consistency Models with Atomic Visibility. Symposium on Principles of Programming Languages, St. Torben Amtoft, Anindya Banerjee. Relational Logic with Framing and Hypotheses. Proving Differential Privacy via Probabilistic Couplings. Advanced Probabilistic Couplings for Differential Privacy. Differentially Private Bayesian Programming.
Gilles Barthe , Pedro R. Facets of Software Doping. A Program Logic for Union Bounds.
Publications
Synthesizing Probabilistic Invariants via Doob's Decomposition. What Belongs Together Comes Together: Activity-centric Document Clustering for Information Work. Key Confirmation in Key Exchange: Hash First, Argue Later: Adaptive Verifiable Computations on Outsourced Data. Dario Fiore , Anca Nitulescu. Nearly Optimal Verifiable Data Streaming. Xueliang Li, John P. Michael Emmi , Constantin Enea.
