Sciweavers

4636 search results - page 417 / 928
» Modelling and Validation with VipTool
Sort
View
IFIPTM
2010
145views Management» more  IFIPTM 2010»
15 years 5 months ago
A Formal Notion of Trust - Enabling Reasoning about Security Properties
Historically, various different notions of trust can be found, each addressing particular aspects of ICT systems, e.g. trust in electronic commerce systems based on reputation and...
Andreas Fuchs, Sigrid Gürgens, Carsten Rudolp...
INFOCOM
2010
IEEE
15 years 5 months ago
How do Superpeer Networks Emerge?
—In this paper, we develop an analytical framework which explains the emergence of superpeer networks on execution of the commercial peer-to-peer bootstrapping protocols by incom...
Bivas Mitra, Abhishek Kumar Dubey, Sujoy Ghose, Ni...
216
Voted
JAIR
2010
115views more  JAIR 2010»
15 years 5 months ago
An Investigation into Mathematical Programming for Finite Horizon Decentralized POMDPs
Decentralized planning in uncertain environments is a complex task generally dealt with by using a decision-theoretic approach, mainly through the framework of Decentralized Parti...
Raghav Aras, Alain Dutech
JDI
2010
84views more  JDI 2010»
15 years 5 months ago
XML-Based DICOM Data Format
y was conducted by Cong Yu and Zhihong Yao. The abstract of the study is as follows: To enhance the readability, improve the structure, and facilitate the sharing of digital imag...
Cong Yu 0002, Zhihong Yao
JIRS
2010
120views more  JIRS 2010»
15 years 5 months ago
Simple and Robust Attainment of Transparency Based on Two-Channel Control Architectures Using Time-Delay Control
Abstract This paper investigates simple and robust transparency-attainable control architectures for bilateral teleoperation. The strength of two-channel control architectures and ...
Jonghyun Kim, Hyung-Soon Park, Pyung Hun Chang