全部 标题 作者
关键词 摘要

OALib Journal期刊
ISSN: 2333-9721
费用：99美元
投递稿件

为什么选择我们？ >>
- 开源期刊
- 同行审议
- 快速出刊
- 终身存储
- 免费检索
- 免费推广
- 更多...
- 搜索引擎

Computer Science

ISSN Print:

ISSN Online:

主页: http://arxiv.org/corr

分享:




Go

Solving the Petri-Nets to Statecharts Transformation Case with FunnyQT

Tassilo Horn

A Solution to the Flowgraphs Case Study using Triple Graph Grammars and eMoflon

Anthony Anjorin,Marius Lauder

An NMF solution for the Flowgraphs case at the TTC 2013

Georg Hinkel,Thomas Goldschmidt,Lucia Happe

Monotonic References for Gradual Typing

Jeremy G. Siek,Michael M. Vitousek

An NMF solution for the Petri Nets to State Charts case study at the TTC 2013

Georg Hinkel,Thomas Goldschmidt,Lucia Happe

Strategy pattern: payment pattern for Internet banking

A. Meiappane,J. Prabavadhi,V. Prasanna Venkatesan

Accelerating Parametric Probabilistic Verification

Nils Jansen,Florian Corzilius,Matthias Volk,Ralf Wimmer,Erika ábrahám,Joost-Pieter Katoen,Bernd Becker

Visitor Pattern: Implementation of Enquiry Pattern for Internet Banking

A. Meiappane,V. Prasanna Venkatesan,J. Prabavadhi

The Relevance of Assumptions and Context Factors for the Integration of Inspections and Testing

Frank Elberzhager,Robert Eschbach,Jürgen Münch

Various models of process of the learning, based on the numerical solution of the differential equations

R. V. Mayer

Vulnerability of LTE to Hostile Interference

Marc Lichtman,Jeffrey H. Reed,T. Charles Clancy,Mark Norton

Beyond Reuse Distance Analysis: Dynamic Analysis for Characterization of Data Locality Potential

Naznin Fauzia,Venmugil Elango,Mahesh Ravishankar,J. Ramanujam,Fabrice Rastello,Atanas Rountev,Louis-No？l Pouchet,P. Sadayappan

Advanced Data Processing in the Business Network System

Daniel Ritter

Unconventional research in USSR and Russia: short overview

Serge Kernbach

Technical Report: A New Multi-Device Wireless Power Transfer Scheme Using an Intermediate Energy Storage Circuit

Changseok Yoon,Sung Sik Nam,Sung Ho Cho

A New Variable Step-size Zero-point Attracting Projection Algorithm

Jianming Liu,Steven L Grant

Abridged Petri Nets

Vitali Volovoi

On the Proxy Identity Crisis

Matthias Keil,Peter Thiemann

Shape and Content: Incorporating Domain Knowledge into Shape Analysis

Diego Calvanese,Tomer Kotek,Mantas ？imkus,Helmut Veith,Florian Zuleger

The Petri-Nets to Statecharts Transformation Case

Pieter Van Gorp,Louis M. Rose

Analyzing Flowgraphs with ATL

Valerio Cosentino,Massimo Tisi,Fabian Büttner

Session Types Go Dynamic or How to Verify Your Python Conversations

Rumyana Neykova

Efficient Dynamic Access Analysis Using JavaScript Proxies

Matthias Keil,Peter Thiemann

Semantics of (Resilient) X10

Silvia Crafa,David Cunningham,Vijay Saraswat,Avraham Shinnar,Olivier Tardieu

Probabilistic Programming Concepts

Luc De Raedt,Angelika Kimmig

Multi-dimensional Conversation Analysis across Online Social Networks

William Lucia,Cuneyt Gurcan Akcora,Elena Ferrari

Generic criticality of community structure in random graphs

Adam Lipowski,Dorota Lipowska

Reasoning and Improving on Software Resilience against Unanticipated Exceptions

Benoit Cornu,Lionel Seinturier,Martin Monperrus

A Platform for Teaching Applied Distributed Software Development: The Ongoing Journey of the Helsinki Software Factory

Fabian Fagerholm,Nilay Oza,Jürgen Münch

Semantic Jira - Semantic Expert Finder in the Bug Tracking Tool Jira

Velten Heyn,Adrian Paschke

Clustering online social network communities using genetic algorithms

Mustafa H. Hajeer,Alka Singh,Dipankar Dasgupta,Sugata Sanyal

Memory effects induce structure in social networks with activity-driven agents

A. D. Medus,C. O. Dorso

A message-passing approach for threshold models of behavior in networks

Munik Shrestha,Cristopher Moore

Parallelization in Extracting Fresh Information from Online Social Network

Rui Guo,Hongzhi Wang,Mengwen Chen,Jianzhong Li,Hong Gao

Self-organized coordination in collective response of non-interacting agents: Emergence of bimodality in box-office success

Anindya S. Chakrabarti,Sitabhra Sinha

PSN: Portfolio Social Network

Jordi M. Cortes,Sarwat Nizamani,Nasrullah Memon

Why It's Nice to be Quoted: Quasiquoting for Prolog

Jan Wielemaker,Michael Hendricks

Spreading dynamics in complex networks

Sen Pei,Hernan A. Makse

Suppressing epidemics on networks by exploiting observer nodes

Taro Takaguchi,Takehisa Hasegawa,Yuichi Yoshida

Shadow networks: Discovering hidden nodes with models of information flow

James P. Bagrow,Suma Desu,Morgan R. Frank,Narine Manukyan,Lewis Mitchell,Andrew Reagan,Eric E. Bloedorn,Lashon B. Booker,Luther K. Branting,Michael J. Smith,Brian F. Tivnan,Christopher M. Danforth,Peter S. Dodds,Joshua C. Bongard

Detecting Data Races on OpenCL Kernels with Symbolic Execution

Dino Distefano,Jeremy Dubreil

Towards supporting simultaneous use of process-based quality approaches

Zádor Dániel Kelemen,Katalin Balla,Jos Trienekens,Rob Kusters

Compiling Finite Domain Constraints to SAT with BEE: the Director's Cut

Michael Codish,Yoav Fekete,Amit Metodi

Network histograms and universality of blockmodel approximation

Sofia C. Olhede,Patrick J. Wolfe

Strict majority bootstrap percolation in the r-wheel

Marcos Kiwi,Pablo Moisset de Espanés,Ivan Rapaport,Sergio Rica,Guillaume Theyssier

Fuzzy Logic Approach for Threat Prioritization in Agile Security Framework using DREAD Model

Sonia,Archana Singhal,Hema Banati

Proceedings of the 23rd Workshop on Logic-based methods in Programming Environments (WLPE 2013)

Rémy Haemmerlé,Jose Morales

Detection of Syntactic Aspect Interaction in UML State Diagrams Using Critical Pair Analysis in Graph Transformation

Zaid Altahat,Tzilla Elrad,Luay Tahat,Nada Almasri

Low-Rank Approximations for Conditional Feedforward Computation in Deep Neural Networks

Andrew Davis,Itamar Arel

Parametric Modelling of Multivariate Count Data Using Probabilistic Graphical Models

Pierre Fernique,Jean-Baptiste Durand,Yann Guédon

Go




©2008-2020 OALib, Inc | Public user content licensed CC-BY 4.0 unless otherwise specified. OALib ISSN Online: 2333-9721 OALib ISSN Print: 2333-9705