959 search results - page 93 / 192 » Three Features for Component Frameworks |
141
Voted
FM
2006
Springer
15 years 7 months ago
2006
Springer
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...
122
click to vote
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
Asynchronous systems components are hard to write, hard to reason about, and (not coincidentally) hard to mechanically verify. In order to achieve high performance, asynchronous c...
135
Voted
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
Accurately predicting program behaviors (e.g., locality, dependency, method calling frequency) is fundamental for program optimizations and runtime adaptations. Despite decades of...
120
click to vote
ICPR
2006
IEEE
16 years 4 months ago
2006
IEEE
In this paper, we propose a novel method for automatic, feature-based alignment of transmission electron microscope images that is needed for computing 3D reconstructions in elect...
134
click to vote
ICALP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. State-based systems and modal logics for reasoning about them often heterogeneously combine a number of features such as non-determinism and probabilities. Here, we show ...