6293 search results - page 110 / 1259 » Information Flow Testing |
117
click to vote
DBSEC
2008
15 years 4 months ago
2008
Abstract. Many security problems only become apparent after software is deployed, and in many cases a failure has occurred prior to the awareness of the problem. Although many woul...
109
click to vote
WSC
2001
15 years 3 months ago
2001
Simulation models provide a powerful tool for the analysis of manufacturing systems, but their utility beyond the design stage of the system life cycle is hampered by the high cos...
118
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The dependency core calculus (DCC), a simple extension of the computational lambda calculus, captures a common notion of dependency that arises in many programming langua...
139
Voted
TITS
2008
15 years 2 months ago
2008
This paper presents two different types of visual activity analysis modules based on vehicle tracking. The highway monitoring module accurately classifies vehicles into eight diffe...
141
click to vote
TMC
2008
15 years 2 months ago
2008
This paper investigates the interaction between end-to-end flow control and medium access control (MAC)-layer scheduling on wireless links. We consider a wireless network with mult...