Sciweavers

2042 search results - page 183 / 409
» The Design and Implementation of a Semantic Service Mediatio...
Sort
View
IJAIT
2006
136views more  IJAIT 2006»
15 years 6 months ago
Model Checking for Multiagent Systems: the Mable Language and its Applications
We present MABLE, a fully implemented programming language for multiagent systems, which is intended to support the automatic verification of such systems via model checking. In a...
Michael Wooldridge, Marc-Philippe Huget, Michael F...
EDCC
2005
Springer
15 years 12 months ago
Structure-Based Resilience Metrics for Service-Oriented Networks
Many governmental agencies and businesses organizations use networked systems to provide a number of services. Such a service-oriented network can be implemented as an overlay on ...
Daniel J. Rosenkrantz, Sanjay Goel, S. S. Ravi, Ja...
EUROMICRO
2003
IEEE
15 years 11 months ago
Providing Interactive Video on Demand Services in Distributed Architecture
True VoD systems provide interactive on-demand video service by allocating each client a dedicated stream. Such a scheme is inefficient when the system has a large number of users...
Bahjat Qazzaz, Remo Suppi, Fernando Cores, Ana Rip...
HICSS
2003
IEEE
156views Biometrics» more  HICSS 2003»
15 years 11 months ago
Developing Video Services for Mobile Users
Video information, image processing and computer vision techniques are developing rapidly nowadays because of the availability of acquisition, processing and editing tools, which ...
Mohamed Ahmed, Roger Impey, Ahmed Karmouch
SIMUTOOLS
2008
15 years 7 months ago
PlanetSim: an extensible framework for overlay network and services simulations
Research community on distributed systems, and in particular on peer-to-peer systems, needs tools for evaluating their own protocols and services, as well as against other protoco...
Jordi Pujol Ahulló, Pedro García L&o...