3008 search results - page 457 / 602 » Mechanisms for Importing Modules |
180
click to vote
EURONGI
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. In unstructured peer-to-peer networks, as in real life, a good neighbourhood is not only crucial for a peaceful sleep, but also for an exchange of important gossips and f...
163
click to vote
EUROPAR
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. The global quiescence of a distributed computation (or distributed termination detection) is an important problem. Some concurrent programming languages and systems provi...
158
click to vote
ATS
2001
IEEE
15 years 9 months ago
2001
IEEE
Test access is a major problem for core-based systemon-chip (SOC) designs. Since cores in an SOC are not directly accessible via chip inputs and outputs, special access mechanisms...
186
click to vote
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
Personalized information agents can help overcome some of the limitations of communal Web information sources such as portals and search engines. Two important components of these...
141
click to vote
CHARME
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. I develop a compositional theory of refinement for the branching time framework based on stuttering simulation and prove that if one system refines another, then a refine...