Sciweavers

762 search results - page 72 / 153
» Behavioural Models for Group Communications
Sort
View
ACSD
2008
IEEE
108views Hardware» more  ACSD 2008»
13 years 11 months ago
Modular construction of finite and complete prefixes of Petri net unfoldings
This paper considers distributed systems, defined as a collection of components interacting through interfaces. Components, interfaces and distributed systems are modeled as Petri...
Agnes Madalinski, Eric Fabre
CJ
2010
134views more  CJ 2010»
13 years 6 months ago
Designing Effective Policies for Minimal Agents
A policy for a minimal reactive agent is a set of condition-action rules used to determine its response to perceived environmental stimuli. When the policy pre-disposes the agent t...
Krysia Broda, Christopher J. Hogger
ENTCS
2006
155views more  ENTCS 2006»
13 years 9 months ago
Biomolecular Agents as Multi-behavioural Concurrent Objects
In recent years, there has been increasing interest in computational models of biological systems based on various calculi of communicating processes, such as the stochastic pi-ca...
Denys Duchier, Céline Kuttler
ICICS
2005
Springer
14 years 2 months ago
Security Properties of Two Authenticated Conference Key Agreement Protocols
In this paper we analyse the security of two authenticated group key agreement schemes based on the group key agreement protocol of Burmester and Desmedt. One scheme was proposed ...
Qiang Tang, Chris J. Mitchell
ICC
2009
IEEE
182views Communications» more  ICC 2009»
14 years 3 months ago
Content Clustering Based Video Quality Prediction Model for MPEG4 Video Streaming over Wireless Networks
— The aim of this paper is quality prediction for streaming MPEG4 video sequences over wireless networks for all video content types. Video content has an impact on video quality...
Asiya Khan, Lingfen Sun, Emmanuel C. Ifeachor