1956 search results - page 133 / 392 » A Critical View of Context |
197
click to vote
ESOP
2007
Springer
16 years 1 months ago
2007
Springer
We study the relationship between Concurrent Separation Logic (CSL) and the assume-guarantee (A-G) method (a.k.a. rely-guarantee method). We show in three steps that CSL can be tre...
180
click to vote
SOFTVIS
2005
ACM
16 years 15 days ago
2005
ACM
Observing the evolution of very large software systems is difficult because of the sheer amount of information that needs to be analyzed and because the changes performed in the s...
194
Voted
VIZSEC
2005
Springer
16 years 13 days ago
2005
Springer
Traffic anomalies and attacks are commonplace in today’s networks and identifying them rapidly and accurately is critical for large network operators. For a statistical intrusi...
202
click to vote
ICSE
2003
IEEE-ACM
16 years 4 days ago
2003
IEEE-ACM
Modeling software components from multiple perspectives provides complementary views of a software system and enables sophisticated analyses of its functionality. A software compon...
182
click to vote
ISIPTA
1999
IEEE
15 years 11 months ago
1999
IEEE
Decision criteria based on an imprecise probability representation of uncertainty have been criticized, from the normative point of view, on the grounds that they make the decisio...