Computer and information sciences topic list of research papers
-
Expansion: the Crucial Mechanism for Type Inference with Intersection Types: A Survey and Explanation
Abstract The operation of expansion on typings was introduced at the end of the 1970s by Coppo, Dezani, and Venneri for reasoning about the possible typings of a term when using intersection types. Until recently, it has remained somewhat mysterious ...
2005 / Sébastien Carlier, J.B. Wells -
Bunching for Regions and Locations
Abstract There are a number of applied lambda-calculi in which terms and types are annotated with parameters denoting either locations or locations in machine memory. Such calculi have been designed with safe memory-management operations in mind. ...
2006 / Matthew Collinson, David Pym -
A Data Model for Data Integration
Abstract Data integration systems provide a uniform query interface (UQI) to multiple, autonomous data sources [Alon Y. Halevy. Answering queries using views: A survey. The VLDB Journal, 10(4):270–294, 2001]. This paper presents the universal data...
2006 / James J. Lu -
SSEA: A System for Studying the Effectiveness of Animations
Abstract This paper describes SSEA (System for Studying the Effectiveness of Animations), an environment designed to support the empirical study of program visualizations.
2007 / Eileen T. Kraemer, Bina Reed, Philippa Rhodes, Ashley Hamilton-Taylor -
Distributing the Workload in a Lazy Theorem-Prover
Abstract Automated theorem proving consists in automatically (i.e. without any user interaction) discharging proof obligations which arise when applying rigorous methodologies for designing critical software systems. Recent developements in the...
2007 / David Deharbe, Silvio Ranise, Jorgiano Vidal -
FDR Explorer
Abstract In this paper we describe the internal structures of FDR, the refinement model checker for Hoare's Communicating Sequential Processes (CSP), as well as an Application Programming Interface (API) allowing one to interact more closely with,...
2007 / Leo Freitas, Jim Woodcock -
Type Preorders and Recursive Terms
Abstract We show how to use intersection types for building models of a λ-calculus enriched with recursive terms, whose intended meaning is of minimal fixed points. As a by-product we prove an interesting consistency result. ...
2005 / Fabio Alessi, Mariangiola Dezani-Ciancaglini -
User-Friendly Parallel Computations with Econometric Examples2005 / Michael Creel
-
Protecting query privacy in location-based services2013 / Xihui Chen, Jun Pang
-
Design of near-perfect-reconstructed transmultiplexer using different modulation techniques: A comparative study
Abstract In this paper, an efficient iterative method for design of near-perfect reconstructed transmultiplexer (NPR TMUX) is proposed for the prescribed roll-off factor (RF) and stop band attenuation (As ). In this method,...
2015 / A. Vishwakarma, A. Kumar, G.K. Singh -
STAMINA: a competition to encourage the development and assessment of software model inference techniques2012 / Neil Walkinshaw, Bernard Lambeau, Christophe Damas, Kirill Bogdanov, Pierre Dupont
-
Hedonic Analysis for Estimation of Condominium Rent Utilizing WEB Information
Abstract Information in web is introduced to hedonic analysis for real estate rent. 23 wards in Tokyo are chosen for the data collection areas and rents of condominiums are estimated. To utilize the web site information, variables signifying areal...
2011 / Takafumi Miura, Yasuhi Asami -
Managing Evacuation Networks
Abstract This paper proposes a non-anticipative, adaptive, decentralized strategy for managing evacuation networks. The strategy is non-anticipative because it does not rely on demand forecasts, adaptive because it uses real-time traffic...
2011 / Carlos F. Daganzo, Stella K. So -
Decomposition Methods for Network Design
Abstract Network design applications are prevalent in transportation and logistics. We consider the multicommodity capacitated fixed-charge network design problem (MCND), a generic model that captures three important features of network design...
2011 / Bernard Gendron -
Definition of a didactic model for digital media literacy by means of a community narrative of heritage reconstruction and interpretation
Abstract Using feedback between theory and practical experience in different informal and formal learning contexts, we’ve been refining the weak points of our proposal, arriving at the definition of the model we’d like to present at this conference. ...
2011 / Jose Miguel Correa, Margari Leon, Lorea Fernandez -
A New P2P Network Routing Algorithm Based on ISODATA Clustering Topology
Abstract Most P2P applications use the routing algorithm that selecting the neighbor nodes at random. These routing algorithms increase the routing hops. To get better routing efficiency, a new routing algorithm named RIDC was presented in this...
2011 / Yi Ma, Zhenhua Tan, Guiran Chang, Xueyi Wang -
An Electronic Auction Scheme Based on Group Signatures and Partially Blind Signatures
Abstract A new electronic auction scheme is proposed based on group signatures and partially blind signatures. At the same security strengthen, an optimization was done on the processes of electronic auction scheme and the dependence on trusted...
2011 / Ding Yong, Li Bin, Zheng Zhaoxia -
Basis expansion model for channel estimation in LTE-R communication system
Abstract This paper investigates fast time-varying channel estimation in LTE-R communication systems. The Basis Expansion Model (BEM) is adopted to fit the fast time-varying channel in a high-speed railway communication scenario. The channel impulse ...
2016 / Ling Deng, Zhonghui Chen, Yisheng Zhao -
Contrary to time conditionals in Talmudic logic2012 / M. Abraham, D. M. Gabbay, U. Schild
-
A modeling language to support early lifecycle requirements modeling for systems engineering
Abstract The current implementation of the SysML tends to be design-centric with minimal support for activities upstream of design such as product line engineering, goal conflict resolution and hazard/threat modeling. Furthermore, currently provided ...
2012 / Florian Schneider, Helmut Naughton, Brian Berenbach