the proceedings contain 277 papers. the topics discussed include: adaptive search for multi-class targets with heterogeneous importance;boosting crowdsourcing with expert labels: local vs. global effects;OptFuse: low-...
ISBN:
(纸本)9781450336543
the proceedings contain 277 papers. the topics discussed include: adaptive search for multi-class targets with heterogeneous importance;boosting crowdsourcing with expert labels: local vs. global effects;OptFuse: low-rank factor estimation by optimal data-driven linear fusion of multiple signal-plus-noise matrices;dissecting uncertainty-based fusion techniques for maritime anomaly detection;distributed sensing for quickest change detection of point radiation sources;a critical assessment of two methods for heterogeneous information fusion;efficient information planning in Gaussian MRFs;Langevin Monte Carlo filtering for target tracking;gradual vs. binary conflicts in Bayesian networks applied to sensor failure detection;improvements in the implementation of log-homotopy based particle flow filters;a new nonlinear state estimator using the fusion of multiple extended Kalman filters;and URREF for veracity assessment in query-based information fusion systems.
the proceedings contain 29 papers. the topics discussed include: feature-orientedprogramming withobject algebras;feature-orientedprogramming withobject algebras;combining form and function: static types for JQuery...
ISBN:
(纸本)9783642390371
the proceedings contain 29 papers. the topics discussed include: feature-orientedprogramming withobject algebras;feature-orientedprogramming withobject algebras;combining form and function: static types for JQuery programs;heap decomposition inference with linear programming;a formal semantics for isorecursive and equirecursive state abstractions;trustworthy proxies: virtualizing objects with invariants;the billion-dollar fix: safe modular circular initialization with placeholders and placeholder types;ownership-based isolation for concurrent actors on multi-core machines;enabling modularity and re-use in dynamic program analysis tools for the java virtual machine;reducing lookups for invariant checking;and verification condition generation for permission logics with abstract predicates and abstraction functions.
Combinations of structural and nominal object typing in systems such as Scala, Whiteoak, and Unity have focused on extending existing nominal, class-based systems with structural subtyping. the typical rules of nomina...
详细信息
Foundational models of object-oriented constructs typically model objects as records with a structural type. However, many object-oriented languages are class-based;statically-typed formal models of these languages te...
详细信息
Genericity aims at providing a very high level of abstraction in order, for instance, to separate the general shape of an algorithm from specific implementation details. Reaching a high level of genericity through reg...
详细信息
ISBN:
(纸本)9781450336543
Genericity aims at providing a very high level of abstraction in order, for instance, to separate the general shape of an algorithm from specific implementation details. Reaching a high level of genericity through regular object-oriented techniques has two major drawbacks, however: code cluttering (e.g. class /method proliferation) and performance degradation (e.g. dynamic dispatch). In this paper, we explore a potential use for the Context-orientedprogramming paradigm in order to maintain a high level of genericity in an experimental image processing library, without sacrificing either the performance or the original object-oriented design of the application.
Context-orientedprogramming extends object-oriented languages with a mechanism to dynamically adapt behavior. object Constraint programming orthogonally extends object-oriented run-times by integrating constraints, i...
详细信息
ISBN:
(纸本)9781450336543
Context-orientedprogramming extends object-oriented languages with a mechanism to dynamically adapt behavior. object Constraint programming orthogonally extends object-oriented run-times by integrating constraints, including support for constraints over mutable state, object identity, and the results of message sends. Using these two language extensions in conjunctions offers interesting opportunities. In this paper, we report on new mechanisms involving layers and constraints that evolved from our experiences with combining Babelsberg/JS, an object Constraint Language, and ContextJS, an implementation of Context-orientedprogramming in JavaScript. First, our experience shows that it is desirable to dynamically adapt declarative constraints, which offer an orthogonal mechanism to the definition of imperative behavior, likewise at runtime. In this work, we show an extension to ContextJS to scope activation or refinement of constraints dynamically using layers. Second, ContextJS already provides different activation mechanisms for layers, including dynamically or structurally scoped, or globally through system generated events. Constraints provide an activation mechanism based on arbitrary boolean expressions changing their value, allowing for interesting applications of behavioral adaption based on certain conditions.
this paper describes a formal object-oriented specification language, Z++, and identifies proof rules and associated specification structuring and development styles for the facilitation of validation and verification...
详细信息
Over the past 20 years, programmers have embraced dynamically-typed programming languages. By now, they have also come to realize that programs in these languages lack reliable type information for software engineerin...
详细信息
Streaming libraries have become ubiquitous in object-oriented languages, with recent offerings in Java, C#, and Scala. All such libraries, however, suffer in terms of extensibility: there is no way to change the seman...
详细信息
暂无评论