Browsing by Subject "Abstracting"
Now showing items 1-10 of 10
-
Conference Object
An abstract channel specification and an algorithm implementing it using Java sockets
(2008)Models and specifications can be used in the design of distributed applications to formally reason about their safety properties. However, the benefits of using formal methods are often negated by the ad hoc process of ...
-
Conference Object
Brief announcement: A formal treatment of an abstract channel implementation using java sockets and TCP
(2007)Abstract models and specifications can be used in the design of distributed applications to formally reason about their safety properties. However, the benefits of using formal methods are offset by the challenging process ...
-
Conference Object
Characterization of the Optimal Disturbance Attenuation for Nonlinear Stochastic Uncertain Systems
(2003)This paper is concerned with an abstract formulation of stochastic optimal control systems, in which uncertainty is described by a relative entropy constraint between the nominal measure and the uncertain measure, while ...
-
Article
Directed Information on Abstract Spaces: Properties and Variational Equalities
(2016)Directed information or its variants are utilized extensively in the characterization of the capacity of channels with memory and feedback, nonanticipative lossy data compression, and their generalizations to networks. In ...
-
Conference Object
g-Eclipse - An integrated framework to access and maintain grid resources
(2008)The g-Eclipse framework provides a general, integrated workbench toolset for Grid users, operators and developers. Based on the Open Source Eclipse ecosystem, g-Eclipse supports scientists to interact with Grid resources ...
-
Conference Object
g-Social: Enhancing integrated e-Science tools with social networking functionality
(2012)During the last decade, the scientific community has witnessed an unprecedented deployment of large-scale, federated e-Infrastructures such as Grid Computing, primarily for supporting data-intensive scientific exploration ...
-
Article
On the semantics of abstract argumentation
(2013)Arguments need to be judged against other arguments. The decision to accept or reject an argument is generally a global decision that involves examining the same question for other arguments that oppose or can defend the ...
-
Article
A process calculus for dynamic networks
(2011)In this paper we propose a process calculus framework for dynamic networks in which the network topology may change as computation proceeds. The proposed calculus allows one to abstract away from neighborhood-discovery ...
-
Conference Object
Programming abstractions and toolchain for dataflow multithreading architectures
(2009)The need to exploit multi-core systems for parallel processing has revived the concept of dataflow. In particular, the Dataflow Multithreading architectures have proven to be good candidates for these systems. In this work ...
-
Conference Object
Stochastic optimal control subject to variational norm uncertainty: Viscosity subsolution for generalized HJB inequality
(2009)This paper is concerned with optimization of stochastic uncertain systems, when systems are described by measures and the pay-off by a linear functional on the space of measure, on general abstract spaces. Robustness is ...