Matjaz B. Juric Matjaz B. Juric holds a Ph.D. in computer and information science. He is Full Professor at the University of Ljubljana, Faculty of Computer and Information Science. He is the head of Laboratory for Integr

Source URL: suncontract.org

• Enterprise application integration
• Computing
• Oracle SOA Suite
• Matja
• Business Process Execution Language
• Oracle Fusion Middleware
• Rozman
• Economy
• Software architecture

An Ode to Arrows Hai Liu Paul Hudak Department of Computer Science

Source URL: thev.net

• Mathematics
• Mathematical analysis
• Theoretical computer science
• Lambda calculus
• Differential calculus
• Combinatory logic
• Fixed-point combinator
• Recursion
• Ordinary differential equation
• Derivative
• Function
• Monad

Science of Computer Programming, 14(2-3), 1990, ppAlgorithm Theories and Design Tactics Douglas R. Smith and Michael R. Lowry Kestrel Institute 3260 Hillview Avenue

Source URL: www.kestrel.edu

• Mathematics
• Algebra
• Combinatorial optimization
• Mathematical logic
• Mathematical optimization
• Operations research
• Algorithm
• Sheaf
• Branch and bound
• Universal property
• Equation solving
• Boolean algebra

Frequency Estimation of Virtual Call Targets for Object-Oriented Programs Cheng Zhang1 , Hao Xu2, , Sai Zhang3 , Jianjun Zhao1,2 , and Yuting Chen2 1 Department of Computer Science and Engineering, Shanghai Jiao Tong U

Source URL: zhang-sai.github.io

• Software engineering
• Computing
• Computer programming
• Object-oriented programming
• Method
• High-level programming languages
• Functional languages
• Programming languages
• Inheritance
• Method overriding
• Factory
• Polymorphism

Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that

Source URL: csl.sri.com

• Algorithm
• Mathematical logic
• Theoretical computer science
• IP
• Model checking
• Mathematics
• Machine learning

Curriculum Vitae Stefan Ratschan Office address: Institute of Computer Science Academy of Sciences of the Czech Republic Pod Vod´arenskou vˇeˇz´ı 2

Source URL: www2.cs.cas.cz

A Paged Domain Name System for Query Privacy Daniele E. Asoni, Samuel Hitz, and Adrian Perrig Network Security Group Department of Computer Science, ETH Zürich {daniele.asoni,samuel.hitz,adrian.perrig}@inf.ethz.ch

Source URL: www.netsec.ethz.ch

• Domain name system
• Internet
• Internet Standards
• Network architecture
• Computing
• Domain Name System Security Extensions
• Name server
• Domain name
• Root name server
• WHOIS
• Fully qualified domain name
• Second-level domain

CHAOS: Composable Highly Accurate OS-based Power Models John D. Davis†, Suzanne Rivoire‡, Moises Goldszmidt†, Ehsan K. Ardestani§ † Microsoft Research, Silicon Valley ‡ Dept. of Computer Science, Sonoma State

Source URL: rivoire.cs.sonoma.edu

• Opteron
• Central processing unit
• Parallel computing
• Run-time estimation of system and sub-system level power consumption

Computer Science_BS_General.pdf

Source URL: catalog.southernct.edu

Causal Commutative Arrows Hai (Paul) Liu, Eric Cheng, and Paul Hudak Computer Science Department Yale University The 14th ACM SIGPLAN ICFP 2009

Source URL: thev.net