NDLI: Tarski: a platform for automated analysis of dynamically configurable traceability semantics

Please wait, while we are loading the content...

LIF: a method to infer disease-gene relationships using literature data and impact factor

Ranking novel regulatory genes in gene expression profiles using NetExpress

Computational study of inward rectifying ion channel in urinary bladder over activity: student research abstract

SmartOrch: an adaptive orchestration system for human-machine collectives

Runtime verification method for self-adaptive software using reachability of transition system model

Fraud detection in water meters using pattern recognition techniques

Nearest neighbor search on total bregman balls tree

Learning and reasoning in logic tensor networks: theory and application to semantic image interpretation

CogVis: attention-driven cognitive architecture for visual change detection

Variational non rigid registration with bregman divergences

An automatic method for identification of cystine crystals in urine sediment

ClusterVis: visualizing nodes attributes in multivariate graphs

Driver information system: a combination of augmented reality and deep learning

Distributed smart street LED lights for human satisfaction in smart city: student research abstract

Exportation to the cloud of distributed robotic tasks implemented in ROS

On-the-fly transformation synthesis for information sharing in heterogeneous multi-agent systems

A semantic federated search engine for domain-specific document retrieval

Syntactic and semantic validation of SPARQL queries

Discovering and linking with life sciences linked open data cloud: student research abstract

StopGap: elastic VMs to enhance server consolidation

Towards scalable and dynamic data encryption for multi-tenant SaaS

ICE: self-configuration of information processing in heterogeneous agent teams

Prepared scan: efficient retrieval of structured data from HBase

An evaluation of service discovery protocols in the internet of things

ProfilIoT: a machine learning approach for IoT device identification based on network traffic analysis

A novel IoT-based wireless system to monitor heart rate: student research abstract

Secure policy-based device-to-device offloading for mobile applications

Usability evaluation and development of heuristics for second-screen applications

Analysing the vulnerability exploitation in Android with the device-mapper-verity (dm-verity): student research abstract

Prediction of the domain name system (DNS) quality attributes

Research of the interest packet popple broadcast diffusion attack in NDN VANET

Joint workload scheduling and BBU allocation in cloud-RAN for 5G networks

Signal strength as support to mobility detection on failure detectors

A linked open data schema-driven approach for Top-N recommendations

A smart MobiWeb mashup trip planner tool

Automatic detection of cross-browser incompatibilities using machine learning and screenshot similarity: student research abstract

Optimal acquisition of input data for decision taking in business processes

A descriptive clustering approach to the analysis of quantitative business-process deviances

Ontology-based workflow pattern mining: application to bioinformatics expertise acquisition

Improving random projection with genetic algorithms: student research abstract

Fast mutual information computation for dependency-monitoring on data streams

Understanding the bigger picture: batch-free exploration of streaming sequential patterns with accurate prediction

Similarity search through one-dimensional embeddings

The similarity-aware relational division database operator

Fixed budget pooling strategies based on fusion methods

Finding duplicate images in biology papers

Using chord distance descriptors to enhance music information retrieval: student research abstract

Probabilistic quantitative temporal reasoning

A gold-standard social media corpus for urban issues

Exploring the viability of tie strength and tags in access controls for photo sharing

User preferences dynamics on evolving social networks - learning, modeling and prediction: student research abstract

Trust in requirements elicitation: how does it build, and why does it matter to requirements engineers?

A new comprehensive approach to security requirements engineering: student research abstract

Exploring anomaly detection in systems of systems

Encoding asynchrony in choreographies

Prioritizing random combinatorial test suites

Empirical evaluation of fuzzy analogy for software development effort estimation

Predicting the quality of contests on crowdsourcing-based software development platforms: student research abstract

Interleaving sessions with predicates

Generating runtime verification specifications based on static code analysis alerts

SmartSen: smart sensing for enhancing real-time activity recognition in phone-based interactive CPS

Identity management for cyber-physical production workflows and individualized manufacturing in industry 4.0

A pattern-aware write strategy to enhance the reliability of flash-memory storage systems

A time-triggered message-based multi-core architecture for AUTOSAR: student research abstract

From object-oriented code with assertions to behavioural types

A type and effect system for sharing

The influence of resource allocation on cloud computing performance

A dynamic duty cycle control mechanism based on mobility for animal tracking

Multiple back-end support for the armadillo linear algebra interface

CATS: a big network clustering algorithm based on triangle structures

Business apps with MAML: a model-driven approach to process-oriented mobile app development

Computing super reduced program slices by composing slicing techniques

Leveraging multi-dimensional user models for personalized next-track music recommendation

How item discovery enabled by diversity leads to increased recommendation list attractiveness

Hiding debuggers from malware with apate

On computing similarity of android executables using text mining: student research abstract

A process to establish, model and validate missions of systems-of-systems in reference architectures

Modeling traceability in system of systems

TransReport: collaborative supervision of the public transportation

Genetic algorithm based patching scheme for worm containment on social network

A computational model to evaluate honesty in social internet of things

On enhancing trust in cryptographic solutions: student research abstract

A profile-based probabilistic approach for the detection of anomalies in the cytochrome C oxidase I amplicon sequences

Biclustering of time series data using factor graphs

A deep learning framework for identification of microRNA regulatory modules: student research abstract

Coordinated execution of adaptation operations in distributed role-based software systems

Leveraging the adoption of electronic identities and electronic-signature solutions in Europe

Semantic recognition: unified framework for joint object detection and semantic segmentation

Deep learning traffic sign detection, recognition and augmentation

Towards adaptation of named entity classification

Fully anisotropic morlet transform for the study of the trabecular bone texture variations

Towards a hypothetical framework of humans related success factors for process improvement in global software development: systematic review

Multicriteria optimization in distributed micro-conveying platform

Automated seam tracking system based on passive monocular vision for automated linear robotic welding process

Utilizing Wikipedia knowledge in open directory project-based text classification

Towards integration of ontology and text-extracted data for event coreference reasoning

Secure storage of user credentials and attributes in federation of clouds

Evidence-based security configurations for cloud datastores

Fault-tolerant clock synchronization in ring-networks

Sensing by proxy in buildings with agglomerative clustering of indoor temperature movements

Security software module update for heterogeneous VoT

An effective and efficient hybrid scan matching algorithm for mobile object applications

Utilizing nearby computing resources for resource-limited mobile devices

Upper bound computation for buffer backlog on AFDX networks with multiple priority virtual links

Moving away from the crowd: channel selection in uncoordinated unplanned dense wireless LANs

UAV-assisted reactive routing for urban VANETs

WebRTC: your privacy is at risk

Situation-aware multi-criteria recommender system: using criteria preferences as contexts

A key-entity graph for clustering multichannel news: student research abstract

Lightweight approach for seamless modeling of process flows in case management models

Self-tuning techniques for large scale cluster analysis on textual data collections

Feature ranking in hoeffding algorithms for regression

Personalised fading for stream data

A log-structured buffer for database systems using non-volatile memory

Next generation JDBC database drivers for performance, transparent caching, load balancing, and scale-out

Emphasizing temporal-based user profile modeling in the context of session search

Personalized ranking for context-aware venue suggestion

Temporal reasoning techniques for the analysis of interactions in the treatment of comorbid patients

Identifying authoritative researchers in digital libraries using external a priori knowledge

Identical user tracking with behavior pattern analysis in online community

Self-adaptive quality requirement elicitation process for legacy systems: a case study in healthcare

Knowledge based decision framework for architecting complex systems

Defining an architecture for evolving environments

Feedback on how MDE tools are used prior to academic collaboration

A methodology to predict the instable classes: student research abstract

Semantic similarity based web services composition framework

Moving from Event-B to probabilistic Event-B

Multi-CNN and decision tree based driving behavior evaluation

Exploring the trade-off between processing resources and settling time in image-based control through LQR tuning

Synthesis of ada code from graph-based task models

Crossing abstraction barriers when debugging in dynamic languages

A page replacement algorithm based on frequency derived from reference history

DACS: dynamic allocation credit scheduler for virtual machines

Scalable subgraph counting using MapReduce

Enabling efficient use of algorithmic skeletons in cloud environments: container-based virtualization for hybrid CPU-GPU execution of data-parallel skeletons

Tarski: a platform for automated analysis of dynamically configurable traceability semantics

Determining characteristics of successful recommendations from log data: a case study

A language modeling approach for the recommendation of tourism-related services

Decentralized privacy-aware collaborative filtering of smart spammers in a telecommunication network

IoTA-MD: a model-driven approach for applying QoS attributes in the development of the IoT systems

Towards safe and secure systems of systems: challenges and opportunities

Design and implementation of a message-service oriented middleware for fog of things platforms

An end-to-end voting-system based on bitcoin

Inference of regulatory networks with MCMC sampler guided by mutual information

Efficient compensation handling via subjective updates

Enhanced fraud detection as a service supporting merchant-specific runtime customization

Improving OR-PCA via smoothed spatially-consistent low-rank modeling for background subtraction

Gender-based multimodal deception detection

DyNetVis: a system for visualization of dynamic networks

Forecasting battery state of charge for robot missions

A semantic-enabled platform for supporting healthy lifestyles

Verifiable outsourced database in the cloud using game theory

Deconstructing source location privacy-aware routing protocols

From IoT big data to IoT big services

Observation-based detection of femtocell attacks in wireless mobile networks

RALL: routing-aware of path length, link quality and traffic load for wireless sensor networks

Design and implementation of a fast handoff scheme supporting vehicular mobility over IEEE 802.11 WLAN

Automatic identification of client-side JavaScript libraries in web applications

Mitigating distributed denial of service attacks at the application layer

Reduction techniques for efficient behavioral model checking in adaptive case management

Towards transforming FDA adverse event narratives into actionable structured data for improved pharmacovigilance

Enhanced situation space mining for data streams

Numerical similarity-aware data partitioning for recommendations as a service

Part-of-speech tagging for web search queries using a large-scale web corpus

A reconstruction of default conditionals within epistemic logic

Understanding how user activities are related to profile images on Twitter through regression analysis

A gamification requirements catalog for educational software: results from a systematic literature review and a survey with experts

Reconfigurable service-based architecture based on variability description

Learning environment model at runtime for self-adaptive systems

Petri nets and dynamic causality for service-oriented computations

Statistical model checking of an energy-saving cyber-physical system in the railway domain

Resource constrained real-time lane-vehicle detection for advanced driver assistance on mobile devices

Modeling and generation of secure component communications in AUTOSAR

Detecting spring configurations errors

Quantitative analysis of measurement overhead for integrity verification

$P^{3}ARSEC:$ towards parallel patterns benchmarking

Code Spartanization: one rational approach for resolving religious style wars

Offline performance vs. subjective quality experience: a case study in video game recommendation

R-PackDroid: API package-based characterization and detection of mobile ransomware

Iterative multi-scale modeling of software-intensive systems of systems architectures

MetricStore repository: on the leveraging of performance metrics in databases

Learning nuanced cross-disciplinary citation metric normalization using the hierarchical dirichlet process on big scholarly data

Doctrine based multi-resolution HLA distributed simulation

Video popularity prediction in data streams based on context-independent features

Linking knowledge bases to social media profiles

SBMI-LTD: stationary background model initialization based on low-rank tensor decomposition

Efficient scene encoding for programmable matter self-reconfiguration algorithms

Influence of semantic similarity measures on ontology cross-language mappings

HyViDE: a framework for virtual data center network embedding

Choreographing cyber-physical distributed control systems for the energy sector

Knowledge discovery and sharing in the IoT: the physical semantic web vision

Cyber security patrol: detecting fake and vulnerable wifi-enabled printers

Mathematical model for a collaborative indoor position system (IPS) and movement detection of devices within IoT environment

NDN goes deep: foreseeing the underwater named data networks

A quadtree replication method to optimize web and mobile applications dealing with large sets of objects on a map

Modeling and handling duration constraints in BPMN 2.0

Feature extraction for the author name disambiguation problem in a bibliographic database

Graph-based clustering with DRepStream

Processing skyline queries in temporal databases

ToPI: an approach to identify places of interest using geo-tagged images

Decidability and complexity of threshold description logics induced by concept similarity measures

TSViz: a data stream architecture to online collect, analyze, and visualize tweets

An approach based on design practices to specify requirements in agile projects

Collaborative development of feature models and evaluation of performance bounds

On continuous deployment maturity in customer projects

Compatibility flooding: measuring interaction of services interfaces

Mutation tools for Java

Self-adaptive control in cyber-physical systems: the autonomous train experiment

Hardware resource estimation for heterogeneous FPGA-based SoCs

Coarse-grained mtime update for better fsync() performance

LARA as a language-independent aspect-oriented programming approach

Action prediction models for recommender systems based on collaborative filtering and sequence mining hybridization

Preventing relay attacks in mobile transactions using infrared light

A tool for modeling SoS architectures using bigraphs

How to extend the use of the discrete orthogonal stockwell transform to image watermarking

Recommendations to improve user experience in second screen applications: a case study

Path efficient level set estimation for mobile sensors

Schema-summarization in linked-data-based feature selection for recommender systems

A predictive approach for enhancing resource utilization in PaaS clouds

Handling bitcoin conflicts through a glimpse of structure

Distributed algorithm for traffic dissemination in manhattan networks with optimal routing-time

MOMOS-MT: mobile monophonic system for music transcription: sheet music generation on mobile devices

Phantom walkabouts in wireless sensor networks

Recommendation patterns for business process imperative modeling

Hierarchical multi-label classification with chained neural networks

Modeling discrete dynamic topics

One index to dominate them all: domain indexes for improving queries across multiple tables

ES-Rank: evolution strategy learning to rank approach

Reasoning by cases in structured argumentation.

Using stratified privacy for personal reputation defense in online social networks

i* in practice: identifying frequent problems in its application

Formal verification of storm topologies through D-VerT

Model-based testing of end-user collaboration intensive systems

Specification, design, and verification of an accountability-aware surveillance protocol

Towards trusted execution of multi-modal continuous authentication schemes

An empirical study on patterns of failure causes in a mass-market operating system

A framework for unexpectedness evaluation in recommendation

Security and privacy preserving data aggregation in cloud computing

System of systems software architecture description using the ISO/IEC/IEEE 42010 standard

Multi-shot person re-identification using a novel video covariance approach

Human enabled green IoT in 5G networks

An asynchronous distributed constraint optimization approach to multi-robot path planning with complex constraints

Bridging context and data warehouses through ontologies

ElaScript: a DSL for coding elasticity in cloud computing

Automated generation of policies to support elastic scaling in cloud environments

BaaS (Bluetooth-as-a-sensor): conception, design and implementation on mobile platforms

Driving time-dependent paths in clinical BPMN processes

Discovering spatial contrast and common sets with statistically significant co-location patterns

Exploiting photo location and direction for clustering-based points-of-interest discovery

Decaying inverted quadtree: index structure for supporting spatio-temporal-keyword query processing of microblog data

Propagating degrees of truth on an argumentation framework: an abstract account of fuzzy argumentation

Marketing campaign targeting using bridge extraction

A semantic model for action-based adaptive security

Nonconformance between programs and contracts: a study on C#/code contracts open source systems

Runtime verification of LTL on lossy traces

Improving service time with a multicore aware middleware

Improving recommender systems with an intention-based algorithm switching strategy

Attacks landscape in the dark side of the web

Convolutions through time for multi-label movie genre classification

Exploring music rankings with interactive visualization

A versatile high-performance visual fiducial marker detection system with scalable identity encoding

Reasoning and discovering novel treatments in linked social health records

A multi-swarm based approach with cooperative learning strategy for composite SaaS placement

Performance trade-offs on a secure multi-party relational database

Requirements for a mobile personal health record to improve cardiovascular healthcare services

Service-oriented domain and business process modelling

Exploiting implicit and explicit signed trust relationships for effective recommendations

Analysing the effect of candidate selection and instance ordering in a realtime algorithm configuration system

Evolutionary role mining in complex networks by ensemble clustering

APR: architectural pattern recommender

GiGAn: evolutionary mutation testing for C++ object-oriented systems

Towards energy-efficient storage servers

Text-based question routing for question answering communities via deep learning

TeICC: targeted execution of inter-component communications in Android

User generated soundscapes activating museum visitors

Cloud-based cooperative navigation for mobile service robots in dynamic industrial environments

Assessing end-to-end performance and security in cloud computing

Flamingo: a framework for smartphone security context management

Declarative process mining for DCR graphs

MILES: multiclass imbalanced learning in ensembles through selective sampling

Incremental maximum flow computation on evolving networks

A theoretical model for capturing the impact of design patterns on quality: the decorator case study

CARET model checking for pushdown systems

Learning hierarchical category influence on both users and items for effective recommendation

Measuring login webpage security

Predicting coordinated group movements of sharks with limited observations using AUVs

A novel ensemble approach on regionalized neural networks for brain disorder prediction

Survival analysis for modeling critical events that communities may undergo in dynamic social networks

On the significance of relationship directions in clustering algorithms for reverse engineering

An empirical study on the application of mutation testing for a safety-critical industrial software system

Dynamic elicitation of user preferences in a chat-based group recommender system

Irony detection on microposts with limited set of features

Sync/CC: continuations and aspects to tame callback dependencies on JavaScript handlers

Failure history data-based test case prioritization for effective regression test

Software effort estimation using classical analogy ensembles based on random subspace

Run-time component allocation in CPU-GPU embedded systems

On the randomness and seasonality of affective metrics for software development

SMT-based consistency analysis of industrial systems requirements

Analyzing emotion words to predict severity of software bugs: a case study of open source projects

Deriving use cases from business processes: a goal-oriented transformational approach

Generating test cases and procedures from use cases in dynamic software product lines

Tarski: a platform for automated analysis of dynamically configurable traceability semantics

Content Provider	ACM Digital Library
Author	Kardas, Geylani Challenger, Moharram Tekinerdogan, Bedir Erata, Ferhat Monceaux, Anne Tüzün, Eray
Abstract	Traceability can be defined as the degree to which a relationship can be established among work products of the development process. Traceability is important to support the consistency and likewise to ensure that a system is understandable, maintainable and reliable. Several approaches have been proposed to model traceability elements and reason about them by extending a predetermined set of possible trace links with fixed semantics. Furthermore, they do not cope with the need for dynamic adaptation and configuration of traceability semantics. However, different project types usually require various ways of tracing the system to obtain richer and precise automated traceability analysis. In this paper, we introduce a novel approach with its supporting platform which enables the user to rigorously configure the system based on project-specific needs and interactively specify the semantics of traceability elements. The semantics of traceability elements are formalized using first-order relational logic, which are used to facilitate different form of automated analysis. The use of the proposed approach and the corresponding tool is described within the context of an industrial application lifecycle management process.
Starting Page	1607
Ending Page	1614
Page Count	8
File Format	PDF
ISBN	9781450344869
DOI	10.1145/3019612.3019747
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2017-04-03
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Traceability Formal trace semantics Kodkod Automated analysis Domain-specific modeling Alloy
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in