Articles - Computer Science
Browse by
Recent Submissions
-
Compliance in business processes with incomplete information and time constraints: A general framework based on abductive reasoning
(2018)The capability to store data about Business Process (BP) executions in so-called Event Logs has brought to the identification of a range of key reasoning services (consistency, compliance, runtime monitoring, prediction) ... -
Multi-party business process compliance monitoring through IoT-enabled artifacts
(2018)Monitoring the compliance of the execution of multi-party business processes is a complex and challenging task: each actor only has the visibility of the portion of the process under its direct control, and the physical ... -
Architectural principles for cloud software
(2018)A cloud is a distributed Internet-based software system providing resources as tiered services. Through service-orientation and virtualization for resource provisioning, cloud applications can be deployed and managed ... -
Block-accelerated aggregation multigrid for Markov chains with application to PageRank problems
(2018)Recently, the adaptive algebraic aggregation multigrid method has been proposed for computing stationary distributions of Markov chains. This method updates aggregates on every iterative cycle to keep high accuracies of ... -
Restarted Hessenberg method for solving shifted nonsymmetric linear systems
(2018)It is known that the restarted full orthogonalization method (FOM) outperforms the restarted generalized minimum residual (GMRES) method in several circumstances for solving shifted linear systems when the shifts are handled ... -
Parsing as semantically guided constraint solving: The role of ontologies
(Springer Netherlands, 2018)In the Parsing-as-Constraint-Solving model of language processing, grammar syntax is described modularly through independent constraints among direct constituents of a phrase - constraints such as: “in verb phrases, a verb ... -
A block GMRES method with deflated restarting for solving linear systems with multiple shifts and multiple right-hand sides
(2018)The restarted block generalized minimum residual method (BGMRES) with deflated restarting (BGMRES-DR) was proposed by Morgan to dump the negative effect of small eigenvalues from the convergence of the BGMRES method. More ... -
Improved lower bounds for graph edit distance
(2018)The problem of deriving lower and upper bounds for the edit distance between undirected, labeled graphs has recently received increasing attention. However, only one algorithm has been proposed that allegedly computes not ... -
On the reaction to deprecation of clients of 4 + 1 popular Java APIs and the JDK
(2018)Application Programming Interfaces (APIs) are a tremendous resource—that is, when they are stable. Several studies have shown that this is unfortunately not the case. Of those, a large-scale study of API changes in the ... -
On the use of replacement messages in API deprecation: An empirical study
(2018)Libraries are commonly used to support code reuse and increase productivity. As any other system, they evolve over time, and so do their APIs. Consequently, client applications should be updated to benefit from better APIs. ... -
Innovation Initiatives in Large Software Companies: A Systematic Mapping Study
(2018)Context: To keep the competitive advantage and adapt to changes in the market and technology, companies need to innovate in an organised, purposeful and systematic manner. However, due to their size and complexity, large ... -
Lean Internal Startups for Software Product Innovation in Large Companies: Enablers and Inhibitors
(2018)Context: Startups are disrupting traditional markets and replacing well-established actors with their innovative products.To compete in this age of disruption, large and established companies cannot rely on traditional ... -
Current challenges and visions in music recommender systems research
(2018)Music recommender systems (MRSs) have experienced a boom in recent years, thanks to the emergence and success of online streaming services, which nowadays make available almost all music in the world at the user’s fingertip. ... -
Using visual features based on MPEG-7 and deep learning for movie recommendation
(2018)Item features play an important role in movie recommender systems, where recommendations can be generated by using explicit or implicit preferences of users on traditional features (attributes) such as tag, genre, and cast. ... -
Optique: Zooming in on Big Data
(2015)Optique overcomes problems in current ontology-based data access systems pertaining to installation overhead, usability, scalability, and scope by integrating a user-oriented query interface, semi-automated managing methods, ... -
Toward Process Control from Formal Models of Transformable Manufacturing Systems
(Elsevier, 2017)The automation and flexibility of production systems is a key step towards improved profitability and competitiveness in high labour cost areas, when producing high-complexity, low-volume products. In the Evolvable Assembly ... -
Supervisory Control for Behavior Composition
(IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2017)We relate behavior composition, a synthesis task studied in AI, to supervisory control theory from the discrete event systems field. In particular, we show that realizing (i.e., implementing) a target behavior (e.g., a ... -
Query Answering with DBoxes is Hard
(2011)Data in description logic knowledge bases is stored in the form of an ABox. ABoxes are often confusing for developers coming from relational databases because an ABox, in contrast to a database instance, provides an ... -
Tractability and intractability of controlled languages for data access
(2012)In this paper we study the semantic data complexity of several controlled fragments of English designed for natural language front-ends to OWL (Web Ontology Language) and description logic ontology-based systems. Controlled ... -
Query Processing under GLAV Mappings for Relational and Graph Databases
(2012)Schema mappings establish a correspondence between data stored in two databases, called source and target respectively. Query processing under schema mappings has been investigated extensively in the two cases where each ...
RSS 1.0