Search

Your search keyword '"Agha, Gul"' showing total 669 results

Search Constraints

Start Over You searched for: Author "Agha, Gul" Remove constraint Author: "Agha, Gul"
669 results on '"Agha, Gul"'

Search Results

401. An Optimal Offloading Partitioning Algorithm in Mobile Cloud Computing

402. Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement

403. A Comparison of Different Intrusion Detection Approaches in an Advanced Metering Infrastructure Network Using ADVISE

404. Traffic Modeling with Phase-Type Distributions and VARMA Processes

405. Decoupling Passenger Flows for Improved Load Prediction

406. Performance Evaluation of Train Moving-Block Control

407. Maintenance Analysis and Optimization via Statistical Model Checking : Evaluating a Train Pneumatic Compressor

408. Policy Learning for Time-Bounded Reachability in Continuous-Time Markov Decision Processes via Doubly-Stochastic Gradient Ascent

409. Inferring Covariances for Probabilistic Programs

410. Compact Representation of Solution Vectors in Kronecker-Based Markovian Analysis

411. Approximation of Probabilistic Reachability for Chemical Reaction Networks Using the Linear Noise Approximation

412. Should Network Calculus Relocate? An Assessment of Current Algebraic and Optimization-Based Analyses

413. C ARMA Eclipse Plug-in: A Tool Supporting Design and Analysis of Collective Adaptive Systems

414. Uniform Sampling for Timed Automata with Application to Language Inclusion Measurement

415. Spnps: A Tool for Perfect Sampling in Stochastic Petri Nets

416. Polynomial Analysis Algorithms for Free Choice Probabilistic Workflow Nets

417. Moment-Based Probabilistic Prediction of Bike Availability for Bike-Sharing Systems

418. Attack Trees for Practical Security Assessment: Ranking of Attack Scenarios with ADTool 2.0

419. Optimal Aggregation of Components for the Solution of Markov Regenerative Processes

420. Exploiting Robust Optimization for Interval Probabilistic Bisimulation

421. Dynamic Control of the Join-Queue Lengths in Saturated Fork-Join Stations

422. Data-Efficient Bayesian Verification of Parametric Markov Chains

423. Energy-Aware Server with SRPT Scheduling: Analysis and Optimization

424. Property-Driven State-Space Coarsening for Continuous Time Markov Chains

425. SALSA Lite: A Hash-Based Actor Runtime for Efficient Local Concurrency

426. Controlling Concurrency and Expressing Synchronization in Charm++ Programs

427. Building Safe Concurrency Abstractions

428. Structuring Communication with Session Types

429. From Linear Types to Behavioural Types and Model Checking

430. Past and Future Directions for Concurrent Task Scheduling

431. Reflection in an Object-Oriented Concurrent Language

432. Object-Oriented Concurrent Programming in ABCL/1

433. My Early Education and Concurrent Objects

434. Event-Based Modularization of Reactive Systems

435. Objects in Space

436. Towards a Substrate Framework of Computation

437. From Actors and Concurrent Objects to Agent-Oriented Programming in simpAL

438. Verifiable Object-Oriented Transactions

439. On Efficient Load Balancing for Irregular Applications

440. MassiveThreads: A Thread Library for High Productivity Languages

441. Applications of Pathway Logic Modeling to Target Identification

442. Multisimulations: Towards Next Generation Integrated Simulation Environments

443. Computational Biology: A Programming Perspective

444. Towards a Maude Formal Environment

445. Semantics, Simulation, and Formal Analysis of Modeling Languages for Embedded Systems in Real-Time Maude

446. From Service Identification to Service Selection: An Interleaved Perspective

447. Algorithmic Aspects of Risk Management

448. Fast Sort Computations for Order-Sorted Matching and Unification

449. Solving the First Verified Software Competition Problems Using PVS

450. Parameterized Metareasoning in Membership Equational Logic

Catalog

Books, media, physical & digital resources