2203 search results - page 398 / 441 » Temporal Abstract Interpretation |
TWC
2010
14 years 6 months ago
2010
Abstract--Free-space optical (FSO) transmission systems enable high-speed communication with relatively small deployment costs. However, FSO suffers a critical disadvantage, namely...
91
Voted
TWC
2010
14 years 6 months ago
2010
Abstract--In this paper, we propose a novel spectrum occupancy model designed to generate accurate temporal and frequency behavior of various wireless transmissions. Our proposed w...
157
click to vote
TWC
2011
14 years 6 months ago
2011
Abstract—We target a two-tier sensor network with resourcerich master nodes at the upper tier and resource-poor sensor nodes at the lower tier. Master nodes collect data from sen...
128
click to vote
ISVC
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. One challenge associated with the visualization of time-dependent data is to develop graphical representations that are effective for exploring multiple time-varying qua...
112
click to vote
ECOOP
2011
Springer
13 years 11 months ago
2011
Springer
Abstract. An active area of research in computer science is the prevention of violations of object protocols, i.e., restrictions on temporal orderings of method calls on an object....