5748 search results - page 284 / 1150 » Web Engineering Resources |
155
click to vote
FSTTCS
2005
Springer
16 years 28 days ago
2005
Springer
We extend Howe’s method to prove that input-early strong and -delay contextual bisimulations are congruences for the Higher-order mobile embedded resources (Homer) calculus, a ty...
197
click to vote
VRST
2000
ACM
15 years 11 months ago
2000
ACM
The use of Shared Virtual Environments is growing in areas such as multi-player video games, military and industrial training, and collaborative design and engineering. At the sam...
183
click to vote
CF
2008
ACM
15 years 9 months ago
2008
ACM
We develop architectural techniques for mitigating the impact of process variability. Our techniques hide the performance effects of slow components--including registers, function...
209
click to vote
EOR
2008
15 years 7 months ago
2008
Our problem of interest consists of minimizing a separable, convex and differentiable function over a convex set, defined by bounds on the variables and an explicit constraint des...
177
click to vote
IEEECIT
2007
IEEE
16 years 1 months ago
2007
IEEE
Search engines have become efficient assistants for people to access information on the Web. Some researchers argue that the prevalence of search engines is setting a tough journ...