1999 search results - page 294 / 400 » Dependently Typed Grammars |
175
Voted
ISSRE
2002
IEEE
16 years 15 days ago
2002
IEEE
Recovery systems must save state before a failure occurs to enable the system to recover from the failure. However, recovery will fail if the recovery system saves any state corru...
240
Voted
PRDC
2002
IEEE
16 years 14 days ago
2002
IEEE
This paper reevaluates the multicast protocols for MANETs in terms of energy efficiency and proposes a new robust multicast protocol, called Two-Tree Multicast (TTM). Multicast pr...
218
click to vote
ECOOP
2010
Springer
16 years 11 days ago
2010
Springer
Automated refactorings as implemented in modern IDEs for Java usually make no special provisions for concurrent code. Thus, refactored programs may exhibit unexpected new concurren...
173
click to vote
ICALP
2010
Springer
16 years 11 days ago
2010
Springer
Abstract. We provide a framework for the design and analysis of dynamic programming algorithms for surface-embedded graphs on n vertices and branchwidth at most k. Our technique ap...
211
Voted
KR
2010
Springer
16 years 10 days ago
2010
Springer
Recent years have seen the advent of large and complex ontologies, most notably in the medical domain. As a consequence, structuring mechanisms for ontologies are nowadays viewed ...