4255 search results - page 229 / 851 » Cover |
145
click to vote
MATA
2005
Springer
16 years 2 days ago
2005
Springer
Widget Integration Framework (WIF) is a framework that covers diverse widgets and their interactions with higher layers above. The framework everal advantages of supporting a progr...
178
click to vote
APLAS
2004
ACM
16 years 14 hour ago
2004
ACM
Abstract. We give a semantic footing to the fold/build syntax of programming with inductive types, covering shortcut deforestation, based on a universal property. Specifically, we...
154
click to vote
ACRI
2004
Springer
15 years 12 months ago
2004
Springer
We describe two improvements made to CD++, a tool for modeling and simulation of cellular models based on the Cell-DEVS formalism. The modifications described in this work remove s...
160
click to vote
ATAL
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present an analysis Trust Analysis Methodology for finding trust issues within pervasive computing systems. It is based on a systematic analysis of scenarios that des...
144
click to vote
EUROPKI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Besides the pure technical features, the usability of a PKIenabled application plays a crucial role since the best security application will fail in practice if its usabi...