1956 search results - page 133 / 392 » A Critical View of Context |
176
click to vote
ESOP
2007
Springer
16 years 15 days 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...
161
click to vote
SOFTVIS
2005
ACM
15 years 12 months 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...
182
click to vote
VIZSEC
2005
Springer
15 years 11 months 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...
189
click to vote
ICSE
2003
IEEE-ACM
15 years 11 months 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...
170
click to vote
ISIPTA
1999
IEEE
15 years 10 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...