The maven repository dataset of metrics, changes, and dependencies
S Raemaekers, A Van Deursen… - 2013 10th Working …, 2013 - ieeexplore.ieee.org
We present the Maven Dependency Dataset (MDD), containing metrics, changes and
dependencies of 148,253 jar files. Metrics and changes have been calculated at the level of …
dependencies of 148,253 jar files. Metrics and changes have been calculated at the level of …
Specification and verification for concurrent systems with graphical and textual editors
Software for, and a method of using a computer for, Speci fying and Verifying Synchronous
and asynchronous concur rent Systems. The method comprises Specifying Software in a …
and asynchronous concur rent Systems. The method comprises Specifying Software in a …
[HTML][HTML] A formal approach to open multiparty interactions
We present a process algebra aimed at describing interactions that are multiparty, ie that
may involve more than two processes and that are open, ie the number of the processes …
may involve more than two processes and that are open, ie the number of the processes …
A scenario-based verification technique to assess the compatibility of collaborative business processes
Successful E-Business is based on seamless collaborative business processes. Each
partner in the collaboration specifies its own rules and interaction preconditions. The …
partner in the collaboration specifies its own rules and interaction preconditions. The …
[BOOK][B] A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors
R Kurki-Suonio - 2005 - Springer
A man may imagine he understands something, but still not understand anything in the way
that he ought to.(Paul of Tarsus, 1 Corinthians 8: 2) Calling this a 'practical theory'may …
that he ought to.(Paul of Tarsus, 1 Corinthians 8: 2) Calling this a 'practical theory'may …
An order‐based algorithm for implementing multiparty synchronization
Multiparty interactions are a powerful mechanism for coordinating several entities that need
to cooperate in order to achieve a common goal. In this paper, we present an algorithm for …
to cooperate in order to achieve a common goal. In this paper, we present an algorithm for …
A distributed object-oriented framework for dependable multiparty interactions
AF Zorzo, RJ Stroud - ACM Sigplan Notices, 1999 - dl.acm.org
In programming distributed object-oriented systems, there are several approaches for
achieving binary interactions in a multiprocess environment. Usually these approaches take …
achieving binary interactions in a multiprocess environment. Usually these approaches take …
Feature interaction resolution using fuzzy rules
A method of detecting feature interaction conflicts between agents in response to events in a
multi-agent system comprises posting said events as tuples and event requests as anti …
multi-agent system comprises posting said events as tuples and event requests as anti …
Video coding with spatio-temporal texture synthesis
This paper presents a video coding scheme in which some texture regions are selectively
removed at the encoder and recovered by synthesis at the decoder. We present region …
removed at the encoder and recovered by synthesis at the decoder. We present region …
Events as atomic contracts for component integration
Today many companies rely on third party applications and application services for (part of)
their information systems. When applications from different parties are used together, an …
their information systems. When applications from different parties are used together, an …