Sciweavers

598 search results - page 72 / 120
» Aspect-Oriented Development Using Protocol Modeling
Sort
View
ICSE
2003
IEEE-ACM
14 years 3 months ago
Multi-view Software Component Modeling for Dependability
Modeling software components from multiple perspectives provides complementary views of a software system and enables sophisticated analyses of its functionality. A software compon...
Roshanak Roshandel, Nenad Medvidovic
INFOCOM
2000
IEEE
14 years 2 months ago
Stochastic Modeling of TCP over Lossy Links
—An analytical framework for modeling the performance of a single TCP session in the presence of random packet loss is presented. A Markovian approach is developed that allows us...
Alhussein A. Abouzeid, Sumit Roy, Murat Azizoglu
CARDIS
2010
Springer
159views Hardware» more  CARDIS 2010»
14 years 1 months ago
Modeling Privacy for Off-Line RFID Systems
This paper establishes a novel model for RFID schemes where readers are not continuously connected to the back office, but only periodically. Furthermore, adversaries are not only ...
Flavio D. Garcia, Peter van Rossum
IWNAS
2008
IEEE
14 years 4 months ago
Accurate Performance Modeling and Guidance to the Adoption of an Inconsistency Detection Framework
With the increased popularity of replica-based services in distributed systems such as the Grid, consistency control among replicas becomes more and more important. To this end, I...
Yijun Lu, Xueming Li, Hong Jiang
ICCCN
2008
IEEE
14 years 4 months ago
Sources and Monitors: A Trust Model for Peer-to-Peer Networks
—In this paper, we introduce an objective model of trust in peer-to-peer networks. Based on this model, we develop protocols that can be used by the peers in a peer-to-peer netwo...
Yan Li, Mohamed G. Gouda