2989 search results - page 353 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
143
click to vote
ICDCS
2008
IEEE
16 years 28 days ago
2008
IEEE
Self-stabilization is a strong property which guarantees that a network always resume a correct behavior starting from an arbitrary initial state. Weaker guarantees have later bee...
169
click to vote
ATAL
2007
Springer
16 years 20 days ago
2007
Springer
In an election held in a noisy environment, agents may unintentionally perturb the outcome by communicating faulty preferences. We investigate this setting by introducing a theore...
145
click to vote
ASPDAC
2006
ACM
16 years 13 days ago
2006
ACM
System-on-chip and system-in-package result in increased number of I/O cells and complicated constraints for both chip designs and package designs. This renders the traditional ma...
163
click to vote
AIIA
2005
Springer
16 years 22 hour ago
2005
Springer
Abstract. When dealing with real systems, it is unrealistic to suppose that observations can be totally ordered according to their emission dates. The partially ordered observation...
178
click to vote
AOSD
2004
ACM
15 years 12 months ago
2004
ACM
Aspect-Oriented Programming promises separation of concerns at the implementation level. However, aspects are not always orthogonal and aspect interaction is a fundamental problem...