1525 search results - page 283 / 305 » Formal Models for Communication-Based Design |
JCO
2008
15 years 14 days ago
2008
The identification of interaction faults in component-based systems has focussed on indicating the presence of faults, rather than their location and magnitude. While this is a va...
127
Voted
JCP
2008
15 years 14 days ago
2008
In sensor networks, continuous query is commonly used for collecting periodical data from the objects under monitoring. This sort of queries needs to be carefully designed, in orde...
100
Voted
JCP
2006
15 years 14 days ago
2006
Abstract-- This paper is concerned with passwordauthenticated key agreement protocols. Designing such protocols represents an interesting challenge since there is no standard way o...
101
click to vote
ENTCS
2007
15 years 13 days ago
2007
Performance prediction methods for component-based software systems aim at supporting design decisions of software architects during early development stages. With the increased a...
93
Voted
ENTCS
2007
15 years 13 days ago
2007
We define a logic EpCTL for reasoning about the evolution of probabilistic systems. System states correspond to probability distributions over classical states and the system evo...