945 search results - page 117 / 189 » Graph Types |
126
click to vote
PRDC
2006
IEEE
15 years 8 months ago
2006
IEEE
Dependable systems are usually designed with multiple instances of components or logical processes, and often possess symmetries that may be exploited in model-based evaluation. T...
102
click to vote
NDSS
2005
IEEE
15 years 8 months ago
2005
IEEE
Current intrusion detection systems point out suspicious states or events but do not show how the suspicious state or events relate to other states or events in the system. We sho...
105
click to vote
MSR
2005
ACM
15 years 8 months ago
2005
ACM
Since code revisions reflect the extent of human involvement in the software development process, revision histories reveal the interactions and interfaces between developers and...
102
Voted
RE
2005
Springer
15 years 8 months ago
2005
Springer
View merging, also called view integration, is a key problem in conceptual modeling. Large models are often constructed and accessed by manipulating individual views, but it is im...
110
click to vote
CAV
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Separation Logic consists of a Boolean combination of predicates of the form vi ≥ vj +c where c is a constant and vi, vj are variables of some ordered infinite type li...