3271 search results - page 597 / 655 » Controlled Multicast Framework |
AB
2007
Springer
14 years 2 months ago
2007
Springer
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...
CCGRID
2006
IEEE
14 years 2 months ago
2006
IEEE
— Over the years, the use of global grid environments have become widespread. In order to make applications robust against the dynamics of those grid environments it is essential...
NDSS
2006
IEEE
14 years 2 months ago
2006
IEEE
In an open environment such as the Internet, the decision to collaborate with a stranger (e.g., by granting access to a resource) is often based on the characteristics (rather tha...
ICCD
2005
IEEE
14 years 1 months ago
2005
IEEE
Nanoelectronic devices are expected to have extremely high and variable fault rates; thus future processor architectures based on these unreliable devices need to be built with fa...
VISUALIZATION
2005
IEEE
14 years 1 months ago
2005
IEEE
We propose a hybrid particle and texture based approach for the visualization of time-dependent vector fields. The underlying spacetime framework builds a dense vector field rep...