Browsing by Subject "Technical presentations"
Now showing items 1-17 of 17
-
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
Adaptive feedback algorithm for internet video streaming based on fuzzy rate control
(2007)It is beyond any doubt that the unpredictable nature of the today's Internet has tremendous impact on the transmission of video streams. With respect to the real-time nature of video streaming, unpredictable band-width, ...
-
Conference Object
Control of jump linear systems over jump communication channels - Source-channel matching approach
(2007)The control of partially observed jump linear systems over jump communication channels is investigated when the Plant State Information (I*SI) and the Channel Slate Information (CSI) are present at the transmitter and the ...
-
Conference Object
Designing mechanisms for reliable internet-based computing
(2008)In this work, using a game-theoretic approach, cost-sensitive mechanisms that lead to reliable Internet-based computing are designed. In particular, we consider Internet-based master-worker computations, where a master ...
-
Conference Object
Fault diagnosis in discrete event systems modeled by petri nets with outputs
(2008)In this paper, we study fault diagnosis in discrete event systems modeled by Petri nets with outputs, i.e., Petri nets with place sensors and transition sensors. Faults are modeled as unobservable transitions and are divided ...
-
Conference Object
Fault model identification with petri nets
(2008)Most of the fault identification problems in the Discrete Event Systems literature assume knowledge of the structure of the net system, including the nature (and behavior) of the possible faults. In this paper we deal with ...
-
Conference Object
Identifying failures in grids through monitoring and ranking
(2008)In this paper we present FailRank, a novel framework for integrating and ranking information sources that characterize failures in a grid system. After the failing sites have been ranked, these can be eliminated from the ...
-
Conference Object
Information hovering in vehicular ad-hoc networks
(2009)Information Hovering is a relatively new concept of information dissemination over a mobile set of peers. It naturally applies in many applications in Vehicular Ad-Hoc Networks, where useful information needs to be made ...
-
Conference Object
Integrated platform for autonomic computing
(2009)IPAC (Integrated Platform for Autonomic Computing) aims at delivering a middleware and service creation environment for developing embedded, intelligent, collaborative, context-aware services in mobile nodes. IPAC relies ...
-
Conference Object
On the capacity of a class of MIMO channels subject to normed uncertainty
(2008)The compound capacity of uncertain MIMO channels is considered, when the channel is modeled by a class described by an induced norm constraint. Within this framework, two types of classes are investigated, namely, additive ...
-
Conference Object
Replication based on Objects Load under a Content Distribution Network
(Institute of Electrical and Electronics Engineers Inc., 2006)Users tend to use the Internet for "resource-hungry" applications (which involve content such as video, audio on-demand and distributed data) and at the same time, more and more applications (such as e-commerce, elearning ...
-
Article
Report on the workshop on Metadata Management in Grid and Peer-to-Peer Systems, London, December 16 2003
(2004)A workshop on Metadata Management System in Grid and peer-to-Peer system was held in the Senete House of the University of London on December 16, 2003. The first session of the work shop contained three presentations on ...
-
Conference Object
Robust estimation with applications to phase and envelope estimation in frequency selective wireless fading channels
(2008)This paper derives robust niiniinax estimators for a class of uncertain models. The uncertainty is described by a relative entropy constraint between the unknown joint distribution and a fixed nominal joint distribution. ...
-
Conference Object
Self-optimizing block transfer in web service grids
(2007)Nowadays, Web Services (WSs) play an increasingly important role in Web data management solutions, since they offer a practical solution for accessing and manipulating data sources spanning administrative domains. Nevertheless, ...
-
Conference Object
Supervisory and notification aggregator service enabler in a fixed mobile convergent architecture
(2007)This paper investigates and proposes the introduction of a Supervisory and Notification Aggregator (SNA) service enabler in a Fixed Mobile Convergent (FMC) architecture. The SNA service enabler facilitates the deployment ...
-
Article
Texture synthesis based simulation of secondary agents
(2008)Realistic simulation of virtual characters is essential in many applications and particularly in computer games. Having a realistic simulation of an agent is a complex matter since there are many different ways in which ...
-
Conference Object
Verification of initial-state opacity in security applications of DES
(2008)Motivated by security applications where the initial state of a system needs to be kept secret (opaque) to outside observers (intruders), we formulate, analyze and verify the notion of initial-state opacity in discrete ...