1497 search results - page 290 / 300 » Extended static checking |
ICAT
2006
IEEE
14 years 2 months ago
2006
IEEE
—Spatial augmented reality using controllable projector-camera-systems to project onto objects directly, or Projected Reality as we call it, offers the possibility to augment obj...
ECLIPSE
2006
ACM
14 years 2 months ago
2006
ACM
As programs evolve, newly added functionality sometimes no longer aligns with the original design, ending up scattered across the software system. Aspect mining tries to identify ...
ICDCS
2005
IEEE
14 years 2 months ago
2005
IEEE
The group mutual exclusion problem extends the traditional mutual exclusion problem by associating a type with each critical section. In this problem, processes requesting critica...
SI3D
2005
ACM
14 years 2 months ago
2005
ACM
So far extending light field rendering to dynamic scenes has been trivially treated as the rendering of static light fields stacked in time. This type of approaches requires inp...
WS
2005
ACM
14 years 2 months ago
2005
ACM
Traceback schemes are useful to identify the source of an attack. Existing traceback systems are not suitable for Mobile Ad Hoc Networks (MANET) because they rely on assumptions s...