Sciweavers

542 search results - page 11 / 109
» Modelling of distributed system in one single simulation mod...
Sort
View
MASCOTS
1993
13 years 9 months ago
Performance Models for Perfect and Imperfect Clocks on Timestamp Ordering in Distributed Databases
This work presents a model of a distributed database system which provides the framework to study the performance of timestamp ordering concurrency control. We exhibit an analytic...
Christos Bouras, Paul G. Spirakis
SPRINGSIM
2010
13 years 6 months ago
Using factored bond graphs for distributed diagnosis of physical systems
This paper presents a distributed Bayesian fault diagnosis scheme for physical systems. Our diagnoser design is based on a procedure for factoring the global system bond graph (BG...
Indranil Roychoudhury, Gautam Biswas, Xenofon D. K...
CCS
2008
ACM
13 years 9 months ago
Formal analysis of SAML 2.0 web browser single sign-on: breaking the SAML-based single sign-on for google apps
Single-Sign-On (SSO) protocols enable companies to establish a federated environment in which clients sign in the system once and yet are able to access to services offered by dif...
Alessandro Armando, Roberto Carbone, Luca Compagna...
IFM
2007
Springer
245views Formal Methods» more  IFM 2007»
14 years 1 months ago
Co-simulation of Distributed Embedded Real-Time Control Systems
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
Marcel Verhoef, Peter Visser, Jozef Hooman, Jan F....
IROS
2007
IEEE
145views Robotics» more  IROS 2007»
14 years 1 months ago
A quantitative method for comparing trajectories of mobile robots using point distribution models
— In the field of mobile robotics, trajectory details are seldom taken into account to qualify robot performance. Most metrics rely mainly on global results such as the total ti...
Pierre Roduit, Alcherio Martinoli, Jacques Jacot