6187 search results - page 122 / 1238 » Voices from the Interface |
186
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. BeepBeep is a lightweight runtime monitor for Ajax web applications. Interface specifications are expressed internally in an extension of LTL with first-order quantificat...
117
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
Reflection remains a second-class citizen in current programming models, where it's assumed to be imperative and tightly bound to its implementation. In contrast, most object...
173
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper proposes an optimal architecture for wireless networks based on layers and layer interfaces. In the presence of fading the architecture is shown to be optimal. The resu...
145
click to vote
AUIC
2003
IEEE
15 years 11 months ago
2003
IEEE
Authentication is a security service that consists of verifying that someone’s identity is as claimed. There are a number of challenges to presenting information from the authen...
169
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present a brief overview of the tool Ticc (Tool for Interface Compatibility and Composition). In Ticc, a component interface describes both the behavior of a component...