Sciweavers

16206 search results - page 425 / 3242
» In this issue
Sort
View
ATAL
2005
Springer
16 years 11 days ago
Coordinating change of agents' states in situated agents models
Situated Multi Agent System models are characterized by the representation and exploitation of spatial information related to agents, the environment they inhabit and their positi...
Giuseppe Vizzari, Stefania Bandini
CALCO
2005
Springer
76views Mathematics» more  CALCO 2005»
16 years 11 days ago
Strong Splitting Bisimulation Equivalence
We present ACPc , a process algebra with conditional expressions in which the conditions are taken from a Boolean algebra, and extensions of this process algebra with mechanisms fo...
Jan A. Bergstra, C. A. Middelburg
CP
2005
Springer
16 years 11 days ago
Encoding Requests to Web Service Compositions as Constraints
Interacting with a web service enabled marketplace in order to achieve a complex task involves sequencing a set of individual service operations, gathering information from the ser...
Alexander Lazovik, Marco Aiello, Rosella Gennari
143
Voted
EUROPKI
2005
Springer
16 years 11 days ago
Interoperation Between a Conventional PKI and an ID-Based Infrastructure
Abstract. In this paper we consider how practical interoperation between a conventional PKI and an infrastructure based on ID-based cryptography might be achieved. Major issues ari...
Geraint Price, Chris J. Mitchell
ISCIS
2005
Springer
16 years 10 days ago
Blotch Detection and Removal for Archive Video Restoration
Blotch detection and removal is an important issue for archive video restoration. Spatial segmentation based postprocessing has been proposed to increase the detection performance...
M. Kemal Güllü, Oguzhan Urhan, Sarp Ert&...