826 search results - page 115 / 166 » What Triggers a Behavior |
ISSTA
2009
ACM
14 years 5 months ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
ACSAC
2008
IEEE
14 years 5 months ago
2008
IEEE
Flow based analysis of network traffic is commonly used to analyze and understand security-related events. Graphical analysis helps analysts detect patterns or behaviors that woul...
DSN
2008
IEEE
14 years 5 months ago
2008
IEEE
As a network evolves over time, multiple operators modify its configuration, without fully considering what has previously been done. Similar policies are defined more than once, ...
INFOCOM
2008
IEEE
14 years 5 months ago
2008
IEEE
— Consider the situation in which a decision maker (Actor) has to decide which of several available resources to use in the presence of an adversary (called Controller) that can ...
KBSE
2008
IEEE
14 years 5 months ago
2008
IEEE
Software vendors are unaware of how their software performs in the field. They do not know what parts of their software are used and appreciated most and have little knowledge ab...