Sciweavers

4731 search results - page 631 / 947
» Securing Interactive Programs
Sort
View
JOT
2007
106views more  JOT 2007»
15 years 6 months ago
Extending eclipse RCP with dynamic update of active plug-ins
While the dynamic linking mechanism of modern programming languages, such as Java, allows loading of classes dynamically, it does not allow class reloading. Hence, dynamic linking...
Allan Raundahl Gregersen, Bo Nørregaard J&o...
ICICS
2009
Springer
15 years 4 months ago
Trusted Isolation Environment: An Attestation Architecture with Usage Control Model
The Trusted Computing Group (TCG) proposed remote attestation as a solution for establishing trust among distributed applications. However, current TCG attestation architecture req...
Anbang Ruan, Qingni Shen, Liang Gu, Li Wang, Lei S...
ICUMT
2009
15 years 4 months ago
Extending middleware frameworks for Wireless Sensor Networks
We define sensor middleware as the binding code mainly running between the sensor OS and applications g programming abstractions to bridge the gap between application developers an...
Syed Rehan Afzal, Christophe Huygens, Wouter Joose...
SBMF
2010
Springer
132views Formal Methods» more  SBMF 2010»
15 years 1 months ago
Midlet Navigation Graphs in JML
Abstract. In the context of the EU project Mobius on Proof Carrying Code for Java programs (midlets) on mobile devices, we present a way to express midlet navigation graphs in JML....
Wojciech Mostowski, Erik Poll
CHI
2005
ACM
16 years 7 months ago
Effectiveness of end-user debugging software features: are there gender issues?
Although gender differences in a technological world are receiving significant research attention, much of the research and practice has aimed at how society and education can imp...
Laura Beckwith, Margaret M. Burnett, Susan Wiedenb...