893 search results - page 91 / 179 » Environment Assumptions for Synthesis |
IOR
2010
13 years 6 months ago
2010
There is a general agreement since Allaz-Vila’s seminal contribution that forward contracts mitigate market power on the spot market. This result is widely quoted and elaborated...
GLOBECOM
2009
IEEE
13 years 5 months ago
2009
IEEE
Statistical traffic classification techniques are often developed under the assumption that monitoring devices can observe the two half-flows composing each traffic session. Howeve...
COMPSAC
2010
IEEE
13 years 4 months ago
2010
IEEE
Security analysis methods can provide correct yet meaningless results if the assumptions underlying the model do not conform to reality. We present an approach to analyze the secur...
TCSV
2010
13 years 2 months ago
2010
Background subtraction (BS) is an efficient technique for detecting moving objects in video sequences. A simple BS process involves building a model of the background and extractin...
ICSE
2011
IEEE-ACM
12 years 11 months ago
2011
IEEE-ACM
A dependability case is an explicit, end-to-end argument, based on concrete evidence, that a system satisfies a critical property. We report on a case study constructing a depend...