Your Search Results

Use materials about this topic in your textbook!

AcademicPub holds over eight million pieces of educational content - such as case studies and journal articles - for you to mix-and-match your way.

Experience the freedom of customizing your course pack with AcademicPub!

Not an educator but still interested in using this content? No problem! Visit our provider's page to contact the publisher and get permission directly.

Topic: Abstraction

Results

Structured programming and formal specification

1975 / IEEE
By: Noonan, R.E.;

HPC: A model of structure and change in distributed systems

1985 / IEEE
By: Friedberg, S.A.; LeBlanc, T.J.;

Development of a debugger for a concurrent language

1986 / IEEE
By: Baiardi, F.; Vaglini, G.; De Francesco, N.;

On hierarchical design of computer systems for critical applications

1986 / IEEE
By: Neumann, P.G.;

Online Video Stream Abstraction and Stylization

2011 / IEEE
By: Shi-Min Hu; Xian-Ying Li; Song-Hai Zhang; Martin, R.R.;

Semantic Perception: Converting Sensory Observations to Abstractions

2012 / IEEE
By: Henson, C.; Thirunarayan, K.; Sheth, A.;

Design by Units: Abstractions for Human and Compute Resources for Elastic Systems

2012 / IEEE
By: Dustdar, S.; Leitner, P.; Tai, S.;

Statistical Mechanics-Inspired Modeling of Heterogeneous Packet Transmission in Communication Networks

2012 / IEEE
By: Srivastav, A.; Ray, A.; Mukherjee, K.; Sarkar, S.; Wettergren, T.A.;

Abstraction and Standardization in Hardware Design

2012 / IEEE
By: Sanguinetti, J.;

Efficient Abstractions for the Supervisory Control of Modular Discrete Event Systems

2012 / IEEE
By: Cury, J.E.R.; Schmidt, K.W.;

QED: a proof system based on reduction and abstraction for the static verification of concurrent software

2010 / IEEE / 978-1-60558-719-6
By: Elmas, T.;

Formal hardware/software co-verification by interval property checking with abstraction

2011 / IEEE / 978-1-4503-0636-2
By: Nguyen, M.D.; Wedler, M.; Stoffel, D.; Kunz, W.;

Spectral control of mobile robot networks

2011 / IEEE / 978-1-4577-0081-1
By: Zavlanos, M.M.; Jadbabaie, A.; Preciado, V.M.;

Domain-Specific Modeling Approach to Support Instructional Design Rationale

2011 / IEEE / 978-1-61284-209-7
By: Cottier, P.; Choquet, C.; Ouraiba, E.A.;

Movie abstraction and content understanding tool based on shot boundary key frame selection

2011 / IEEE / 978-1-4577-0234-1
By: Grinenko, E.; Glasman, K.; Bul, M.; Andronov, V.;

Target container: A target-centric parallel programming abstraction for video-based surveillance

2011 / IEEE / 978-1-4577-1707-9
By: Kirak Hong; Ramachandran, U.; Iftode, L.; Lillethun, D.; Junsuk Shin; Smaldone, S.;

2011 / IEEE / 978-1-4577-1487-0
By: Nestmann, U.; Lau, H.;

Symbolic simulation on complicated loops for WCET Path Analysis

2011 / IEEE / 978-1-4503-0714-7
By: Duc-Hiep Chu; Jaffar, J.;

Diagnosis of Software Models with Multiple Levels of Abstraction Using Ontological Metamodeling

2011 / IEEE / 978-0-7695-4439-7
By: Jekjantuk, N.; Yuzhong Qu; Pan, J.Z.;

An Abstraction Method for Mobility and Interaction in Process Algebra Using Behavior Ontology

2011 / IEEE / 978-0-7695-4439-7
By: Jinho On; Sujeong Woo; Moonkun Lee;

Controlling Modelling Artifacts

2011 / IEEE / 978-1-4577-0973-9
By: Smith, M.J.A.; Nielson, H.R.; Nielson, F.;

Correct and non-defensive glue design using abstract models

2011 / IEEE / 978-1-4503-0715-4
By: Kornerup, J.; Guang Yang; Guoqiang Wang; Ravindran, K.; Wong, I.; Ghosal, A.; Andrade, H.; Tripakis, S.; Limaye, R.;

Inheritance and Modularity in Specification and Verification of OO Programs

2011 / IEEE / 978-1-4577-1487-0
By: Qiu Zongyan; Ali, H.; Liu Yijing;

Computational thinking

2011 / IEEE / 978-1-4577-1247-0
By: Wing, J.M.;

IEEE 802.21: A shift in the Media Independence

2011 / IEEE / 978-1-905824-25-0
By: Bernardos, C.J.; Eznarriaga, L.; De La Oliva, A.; Vidal, A.; Serrano, P.;

Automatic formal verification of multithreaded pipelined microprocessors

2011 / IEEE / 978-1-4577-1400-9
By: Ping Gao; Velev, M.N.;

Reconstruction of gene regulatory networks by stepwise multiple linear regression from time-series microarray data

2011 / IEEE / 978-1-4577-1613-3
By: Gerhart, J.; Yiqian Zhou; Sacan, A.;

Formal Refinement of BSP Programs with Early Cost Evaluation

2011 / IEEE / 978-1-4577-1536-5
By: Niculescu, V.;

MODE: Mix Driven On-line Resource Demand Estimation

2011 / IEEE / 978-3-901882-44-9
By: Krishnamurthy, D.; Kalbasi, A.; Richter, M.; Rolia, J.;

A method of constructing product ontology for collabrative semantics sharing

2011 / IEEE / 978-1-4244-9352-4
By: Yichao Lou;

Virtualization security for cloud computing service

2011 / IEEE / 978-1-4577-1637-9
By: Zhaoji Lin; Shengmei Luo; Jianyong Chen; Zhuolin Yang; Xiaohua Chen;

Clock Number Reduction Abstraction on CEGAR Loop Approach to Timed Automaton

2011 / IEEE / 978-1-4577-1796-3
By: Okano, K.; Nagaoka, T.; Bordbar, B.;

Relation between UML Models

2011 / IEEE / 978-1-4577-0571-7
By: Jeong Ah Kim; Ran Jung;

Real-time status: How often should one update?

2012 / IEEE / 978-1-4673-0775-8
By: Kaul, S.; Gruteser, M.; Yates, R.;

Abstract Reasoning in Collaborative Modeling

2012 / IEEE / 978-1-4577-1925-7
By: Wilmont, I.; Hengeveld, S.; Hoppenbrouwers, S.; Barendsen, E.;

Reconstruction of gene regulatory networks by stepwise multiple linear regression from time-series microarray data

2012 / IEEE / 978-1-4673-0878-6
By: Yiqian Zhou; Sacan, A.; Qureshi, R.;

A model-driven engineering framework for architecting and analysing Wireless Sensor Networks

2012 / IEEE / 978-1-4673-1793-1
By: Mostarda, L.; Malavolta, I.; Gemikonakli, O.; Ever, E.; Doddapaneni, K.; Muccini, H.;

Simulation-based abstractions for software product-line model checking

2012 / IEEE / 978-1-4673-1067-3
By: Legay, A.; Heymans, P.; Schobbens, P.; Perrouin, G.; Classen, A.; Cordy, M.;

Encapsulating Coordination in the Context of Distributed Systems

2012 / IEEE / 978-1-4673-0767-3
By: Chia-Chu Chiang;

A language for feedback loops in self-adaptive systems: Executable runtime megamodels

2012 / IEEE / 978-1-4673-1787-0
By: Giese, H.; Vogel, T.;

Transaction-accurate interface scheduling in high-level synthesis

2012 / IEEE / 978-2-9539987-1-9
By: Sanguinetti, J.; Dart, S.; Meredith, M.;

System verification of concurrent RTL modules by compositional path predicate abstraction

2012 / IEEE / 978-1-4503-1199-1
By: Stoffel, D.; Urdahl, J.; Kunz, W.; Wedler, M.;

Generic virtual filesystems for reconfigurable devices

2012 / IEEE / 978-1-4673-0219-7
By: Rabah, Hassan; Amira, Abbes; Krill, Benjamin;

Verification of Modular Diagnosability With Local Specifications for Discrete-Event Systems

2013 / IEEE
By: Schmidt, K. W.;

Behavior Ontology: A Framework to Detect Attack Patterns for Security

2013 / IEEE
By: Lee, Moonkun; On, Jinho; Woo, Sujeong;

Towards a generic composition of specific domain models

2013 / IEEE
By: EL Asri, Bouchra; Baya, Asmaa; Nassar, Mahmoud;

Exploiting abstraction, learning from random simulation, and SVM classification for efficient dynamic prediction of software health problems

2015 / IEEE
By: Velev, Miroslav N.; Groce, Alex D.; Gao, Ping; Zhang, Chaoqiang;

A scalable protocol agnostic backup server

2014 / IEEE
By: Manoranjitham, R.; Sardar, Vandana S; Devi, Meera; Jha, Ajeet; Hudli, Shrinidhi;

Multilevel semantic foundation for digital logic diagrams

2014 / IEEE
By: Aljallal, Noura; Al-Fedaghi, Sabah;

Similar patient search using the results of heartbeat classification

2014 / IEEE
By: Park, Juyoung; Kang, Kyungtae;

Formal Foundations for Hierarchical Safety Cases

2015 / IEEE
By: Whiteside, Iain; Pai, Ganesh; Denney, Ewen;

Multi-agent sentiment analysis using abstraction-based methodology

2014 / IEEE
By: Inggriani, M. M.; Levandi, Timotius Kevin; Maulidevi, Nur Ulfa;

Research into the computational thinking for the teaching of computer science

2014 / IEEE
By: Li, Ying;

Monitoring and debugging in networked factories

1999 / IEEE
By: Kabitzsch, K.; Kotte, G.;

iArch - An IDE for supporting abstraction-aware design traceability

2014 / IEEE
By: Hosoai, Shintaro; Li, Peiyuan; Ubayashi, Naoyasu; Ai, Di; Kamei, Yasutaka;

Multi-domain simulation as a foundation for the engineering of smart systems: Challenges and the SMAC vision

2014 / IEEE
By: Gangemi, Giuliana; Gillon, Renaud; Poncino, Massimo; Fummi, Franco; Grosso, Michelangelo;

Classification of short duration faults (voltage sags) in transmission and distribution power systems

2003 / IEEE
By: Llanos, D.; Corbella, X.; Sanchez, J.; Colomer, J.; Ruiz, M.; Melendez, J.; Mora, J.;

Architectures for complex semantic models

2015 / IEEE
By: Allen, Robert B.; Chu, Yoonmi;

Modeling & simulation framework for the inclusion of simulation objectives by abstraction

2014 / IEEE
By: Ponnusamy, Sangeeth saagar; Thebault, Patrice; Albert, Vincent;

A simulation fidelity assessment framework

2014 / IEEE
By: Thebault, Patrice; Albert, Vincent; Ponnusamy, Sangeeth saagar;

Effective Liveness Verification Using a Transformation-Based Framework

2014 / IEEE
By: Kanzelman, Robert; Baumgartner, Jason; Mony, Hari; Gajavelly, Raj Kumar; Nalla, Pradeep Kumar;

A pragmatic approach to develop computational thinking skills in novices in Computing Education

2013 / IEEE
By: Gopeekrishnan, R; Renumol, V. G.; Philip, Mintu;

Design of the interfaces based on approximate hierarchies

2014 / IEEE
By: Ji, Haibo; Yang, Kaihong;

A Profitable Online No-Limit Poker Playing Agent

2014 / IEEE
By: Teofilo, Luis Filipe; Cardoso, Henrique Lopes; Reis, Luis Paulo;

CAPPA: Context Aware Privacy Protecting Advertising - An Extension to CLOPRO Framework

2014 / IEEE
By: Kumar, Anup; Polina, Phani; Pandit, Anala; Xie, Bin;

A study on visual abstraction for reinforcement learning problem using Learning Vector Quantization

2013 / IEEE
By: Takano, Hirotaka; Faudzi, Ahmad Afif Mohd; Murata, Junichi;

Formal verification of safety of polymorphic heterogeneous multi-core architectures

2014 / IEEE
By: Gao, Ping; Velev, Miroslav N.;

CLOPRO: A Framework for Context Cloaking Privacy Protection

2014 / IEEE
By: Polina, Phani; Pandit, Anala; Kumar, Anup;

The Adolescent Brain - Ch 3: Representation and Transfer of Abstract Mathematical Concepts in Adolescence and Young Adulthood

2012 / American Psychological Association / 9781433810701
By: Sloutsky, Vladimir M.; Kaminski, Jennifer A.;

Hydrogen abstraction from neurotransmitters by active oxygen species facilitated by intramolecular hydrogen bonding in the radical intermediates

2006 / RSC Publishing
By: Yoshihiko Morooka; Kei Ohkubo; Shunichi Fukuzumi;

Photochemical asymmetric synthesis of phenyl-bearing quaternary chiral carbons using chiral-memory effect on -hydrogen abstraction by thiocarbonyl group

2006 / RSC Publishing
By: Hiroya Kawanishi; Masami Sakamoto; Tsutomu Fujita; Yoshio Kasashima; Takashi Mino;

Allylic hydrogen abstraction II.

2007 / RSC Publishing
By: Milan Szori; Tamas AbouAbdo; Christa Fittschen; Imre G. Csizmadia; Bela Viskolcz;

Is hydrogen abstraction an important pathway in the reaction of alkenes with the OH radical?

2007 / RSC Publishing
By: Carl J. Percival; Max R. McGillen; Jeremy N. Harvey; Dudley E. Shallcross;

Rate coefficients of H-atom abstraction from ethers and isomerization of alkoxyalkylperoxy radicals

2007 / RSC Publishing
By: Teppei Ogura; Mitsuo Koshi; Akira Miyoshi;

Explosive evolution of hydrogen abstraction of water on oxidized Ag(110) surfaces studied by scanning tunnelling microscopy

2007 / RSC Publishing
By: Noriaki Takagi; Osamu Nakagoe; Yoshiyasu Matsumoto; Kazuya Watanabe;

Hydrogen abstraction from deoxyribose by a neighbouring uracil-5-yl radical

2007 / RSC Publishing
By: Patric Schyman; Aatto Laaksonen; Leif A. Eriksson; Ru bo Zhang;

H-atom abstraction reaction for organic substrates via mononuclear copper(ii)-superoxo species as a model for DM and PHM

2007 / RSC Publishing
By: Syuhei Yamaguchi; Tatsuya Fujii; Hideki Masuda; Shun Hirota;

Asymmetric synthesis of Î²-lactams using chiral-memory effect on photochemical Î³-hydrogen abstraction by thiocarbonyl group

2008 / RSC Publishing
By: Masami Sakamoto; Tsutomu Fujita; Takashi Mino; Hiroya Kawanishi;

Colorimetric response to mercury-induced abstraction of triethylene glycol ligands from a gold nanoparticle surface

2008 / RSC Publishing
By: Masayasu Taki; Tasuku Hirayama; Yukio Yamamoto; Shinobu Itoh; Atsushi Kunishita; Masami Nakamoto; Yukiyasu Kashiwagi;

Quasi-classical trajectory calculations in asymmetrically substituted polyatomic systems of the type A + CX3Y → products: the H + CH3Cl hydrogen abstraction reaction channel

2008 / RSC Publishing
By: Cipriano Rangel; Joaquiacuten EspinosaGarciacutea; Joseacute C. Corchado;

Hydrogen atom abstraction from C-H bonds of benzylamides by the aminoxyl radical BTNO: A kinetic study

2008 / RSC Publishing
By: Carlo Galli; AlessandraPub Caret Coniglio; Raffaella Vadalagrave; Patrizia Gentili;

Studies on the Cl + C2H5I reaction; site specific abstraction reactions and thermodynamics of adduct formation studied by observation of HCL product

2009 / RSC Publishing
By: R. Wada; P. W. Seakins; M. A. Blitz; R. C. Sharma;

Synthesis of natural products containing spiroketals via intramolecular hydrogen abstraction

2009 / RSC Publishing
By: Jonathan Sperry; Margaret A. Brimble; YenCheng William Liu;

Quantum chemical study of benzimidazole derivatives to tune the second-order nonlinear optical molecular switching by proton abstraction

2010 / RSC Publishing
By: Hongliang Xu; Shabbir Muhammad; Muhammad Nadeem; Zhongmin Su; Muhammad Ramzan Saeed Ashraf Janjua;

A laser flash photolysis and theoretical study of hydrogen abstraction from phenols by triplet -naphthoflavone

2010 / RSC Publishing
By: Cristiane P. Cardoso; Helena S. Fraga; Nanci C. de Lucas; J. C. NettoFerreira; Simon J. Garden; Rodrigo J. Correcirca;

Union Design Pattern

2007 / Connexions
By: Stephen Wong;

Strategy Design Pattern

2009 / Connexions
By: Stephen Wong;

Breaking Paths of Broken Light: Luminal Darkness

2009 / Connexions
By: Marcia Brennan;

By the Light of Our Wounds: Inkblood

2009 / Connexions
By: Marcia Brennan;

Erasing Inscription, Inscripting Erasure: Palimpsest

2009 / Connexions
By: Marcia Brennan;

Oneiric Coils: Serpent's Dream and Pistis Sophia

2009 / Connexions
By: Marcia Brennan;

Saying His Own Unsaying: Passion

2009 / Connexions
By: Marcia Brennan;

The Book of Wings: Skytree

2009 / Connexions
By: Marcia Brennan;

The Painted Heartbeat: On Purple Wings

2009 / Connexions
By: Marcia Brennan;

To Write the Cut: The Circumscripture of (E)met

2009 / Connexions
By: Marcia Brennan;

Toward an Ending, by Way of Snowfall: Self-Portrait in the Snow

2009 / Connexions
By: Marcia Brennan;

Unsaying Eros: Fractured Androgyne

2009 / Connexions
By: Marcia Brennan;

Where Light Draws Breath: Green Angel

2009 / Connexions
By: Marcia Brennan;

Breaking Views of Falling Light: Vitreous Detachment and Free Fall

2009 / Connexions
By: Marcia Brennan;

"Breaking Brokenness" and Splitting the Difference: Marriage

2009 / Connexions
By: Marcia Brennan;

Next Page