7047 search results - page 1118 / 1410 » Focusing on Binding and Computation |
169
click to vote
LOGCOM
2006
15 years 6 months ago
2006
The Alternating-time Temporal Logic (ATL) of Alur, Henzinger, and Kupferman is being increasingly widely applied in the specification and verification of open distributed systems ...
167
click to vote
NETWORK
2008
15 years 6 months ago
2008
The Internet would be more efficient and robust if routers could flexibly divide traffic over multiple paths. Often, having one or two extra paths is sufficient for customizing pa...
178
click to vote
FGCS
2007
15 years 6 months ago
2007
Developing Data Grids has increasingly become a major concern to make Grids attractive for a wide range of data-intensive applications. Storage subsystems are most likely to be a ...
196
click to vote
FGCS
2007
15 years 6 months ago
2007
The UK Department of Trade and Industry (DTI) funded BRIDGES project (Biomedical Research Informatics Delivered by Grid Enabled Services) has developed a Grid infrastructure to su...
153
click to vote
FTIR
2007
15 years 6 months ago
2007
An important part of our information-gathering behavior has always been to find out what other people think. With the growing availability and popularity of opinion-rich resource...