1995 search results - page 175 / 399 » interfaces 2008 |
133
click to vote
BCSHCI
2008
15 years 5 months ago
2008
This workshop re-opens the discussion of the challenges faced by academia when preparing students to take jobs in industry. The workshop’s goal is to develop a framework by whic...
116
click to vote
CPHYSICS
2008
15 years 4 months ago
2008
We examine parallel algorithms for molecular dynamics simulations involving long-range induction interactions. The algorithms are tested by performing molecular dynamics simulatio...
135
Voted
ECEASST
2008
15 years 4 months ago
2008
In this paper we extend our results (as given in [PHE+07]) concerning the layered architecture for modeling workflows in Mobile Ad-Hoc NETworks (MANETs) using algebraic higher ord...
138
click to vote
ENTCS
2008
15 years 4 months ago
2008
The satisfiability problem is the fundamental problem in proving the conflict-freeness of specifications, or in finding a counterexample for an invalid statement. In this paper, w...
123
Voted
CCR
2006
15 years 4 months ago
2006
After a long period when networking research seemed to be focused mainly on making the existing Internet work better, interest in "clean slate" approaches to network arc...