Ponències/Comunicacions de congressos
Recent Submissions
-
Algebraic definition of iStar2.0 models
(CEUR-WS.org, 2019)
Conference report
Open AccessiStar2.0 was delivered in 2016 with the intention of becoming a standard de facto for the i* community. It includes a lightweight definition of the language adorned with a metamodel (in the form of a UML class diagram) ... -
Enhanced equal frequency partition method for the identification of a water demand system
(Sarjoughian,H.S.; Cellier, F.E.; Marefat, M.M.; Rozenblit, J.W. (eds.) Institute of Electrical and Electronics Engineers, 2000)
Conference report
Open AccessThis paper deals with unsupervised partitioning. A first goal of this paper is to present an enhancement to the Equal Frequency Partition (EFP) method that allows to reduce, to some extent, the main drawback of this classical ... -
On the power of symmetric linear programs
(Institute of Electrical and Electronics Engineers (IEEE), 2019)
Conference report
Open AccessWe consider families of symmetric linear programs (LPs) that decide a property of graphs (or other relational structures) in the sense that, for each size of graph, there is an LP defining a polyhedral lift that separates ... -
An automatic tool to facilitate authoring animation blending in game engines
(Association for Computing Machinery (ACM), 2019)
Conference report
Open AccessAchieving realistic virtual humans is crucial in virtual reality applications and video games. Nowadays there are software and game development tools, that are of great help to generate and simulate characters. They offer ... -
Integrated monitoring approach for seamless service provisioning in federated clouds
(Institute of Electrical and Electronics Engineers (IEEE), 2012)
Conference report
Open AccessCloud Computing offers simple and cost effective outsourcing in dynamic service environments, and allows the construction of service-based applications using virtualization. By aggregating the capabilities of various IaaS ... -
Automatic detection of at-most-one and exactly-one relations for improved SAT encodings of pseudo-boolean constraints
(Springer, 2019)
Conference report
Open AccessPseudo-Boolean (PB) constraints often have a critical role in constraint satisfaction and optimisation problems. Encoding PB constraints to SAT has proven to be an efficient approach in many applications, however care must ... -
A quality model for the Ada standard container library
(Springer, 2003)
Conference report
Open AccessThe existence of a standard container library has been largely recognized as a key feature for improving the quality and effectiveness of Ada programming. In this paper, we aim at providing a quality model for making ... -
Reengineering the booch component library
(Springer, 2000)
Conference report
Open AccessComponent-based software development heavily relies on the ability of reusing components from a library with as little effort as possible. Among others, valuable features for reusing from a component library are: adaptability ... -
Size-degree trade-offs for Sums-of-Squares and Positivstellensatz proofs
(Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019)
Conference report
Open AccessWe show that if a system of degree-k polynomial constraints on n Boolean variables has a Sums-of-Squares (SOS) proof of unsatisfiability with at most s many monomials, then it also has one whose degree is of the order of ... -
Definition and uses of the i* metamodel
(CEUR-WS.org, 2010)
Conference report
Open AccessThe clear definition of a metamodel can be considered helpful for any conceptual modeling approach, and the i* framework is not an exception. Agreeing on a metamodel for i* can be considered even more convenient than ever ... -
Circular (yet sound) proofs
(Springer, 2019)
Conference report
Open AccessWe introduce a new way of composing proofs in rule-based proof systems that generalizes tree-like and dag-like proofs. In the new definition, proofs are directed graphs of derived formulas, in which cycles are allowed as ... -
RTL-aware dataflow-driven macro placement
(Institute of Electrical and Electronics Engineers (IEEE), 2019)
Conference report
Open AccessWhen RTL designers define the hierarchy of a system, they exploit their knowledge about the conceptual abstractions devised during the design and the functional interactions between the logical components. This valuable ...
RSS 1.0