Sciweavers

398 search results - page 32 / 80
» Tuning P Systems for Solving the Broadcasting Problem
Sort
View
ATAL
2008
Springer
14 years 11 months ago
Synchronization protocols for reliable communication in fully distributed agent systems
In order to prevent misunderstandings within groups of interacting agents, it is necessary to ensure that the agents' beliefs regarding the overall state of the interaction a...
Hywel R. Dunn-Davies, Jim Cunningham, Shamimabi Pa...
MVA
2007
146views Computer Vision» more  MVA 2007»
14 years 11 months ago
A SVM Based Method to Detect Color Shift Defects in IC Packages
Automated Visual Inspection (AVI) is an essential part in the manufacturing process of Integrated Circuit (IC) packages. Contamination a common defect type found in IC packages ap...
R. M. C. B. Ratnayake, Craig Hicks, M. A. Akbari
FC
1998
Springer
83views Cryptology» more  FC 1998»
15 years 1 months ago
Distributed Trustees and Revocability: A Framework for Internet Payment
From von Solms and Naccache's standpoint, constructing a practical and secure e-money system implies a proper regulation of its privacy level. Furthermore, when the system ben...
David M'Raïhi, David Pointcheval
IPPS
2010
IEEE
14 years 7 months ago
A scalable algorithm for maintaining perpetual system connectivity in dynamic distributed systems
We investigate the problem of maintaining a topology with small degree as well as small diameter in a dynamic distributed system such that the system always stays connected and pr...
Tarun Bansal, Neeraj Mittal
ECAI
2008
Springer
14 years 11 months ago
Incremental Diagnosis of DES by Satisfiability
Abstract. We propose a SAT-based algorithm for incremental diagnosis of discrete-event systems. The monotonicity is ensured by a prediction window that uses the future observations...
Alban Grastien, Anbulagan