1288 search results - page 231 / 258 » On Analysis of Design Component Contracts: A Case Study |
103
click to vote
P2P
2009
IEEE
15 years 8 months ago
2009
IEEE
—Characterizing user churn has become an important topic in studying P2P networks, both in theoretical analysis and system design. Recent work [26] has shown that direct sampling...
VRML
2009
ACM
15 years 8 months ago
2009
ACM
This work discusses a model and an architecture for interactive stories to be displayed on the net, designed for being independent from the specific story represented and suitabl...
121
click to vote
ASWEC
2007
IEEE
15 years 7 months ago
2007
IEEE
Distributed applications that adapt as their environment changes are developed from selfmanaging, self-configuring and self-optimising behaviours. This requires constant monitorin...
125
click to vote
KBSE
2007
IEEE
15 years 7 months ago
2007
IEEE
The paper presents a semi-automated technique for feature location in source code. The technique is based on combining information from two different sources: an execution trace, ...
106
click to vote
CCS
2007
ACM
15 years 7 months ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...