Sciweavers

4731 search results - page 266 / 947
» Securing Interactive Programs
Sort
View
ATAL
2010
Springer
15 years 7 months ago
Model checking detectability of attacks in multiagent systems
Information security is vital to many multiagent system applications. In this paper we formalise the notion of detectability of attacks in a MAS setting and analyse its applicabil...
Ioana Boureanu, Mika Cohen, Alessio Lomuscio
JPDC
2006
83views more  JPDC 2006»
15 years 6 months ago
Virtual Leashing: Creating a computational foundation for software protection
We introduce Virtual Leashing,1 a new technique for software protection and control. The leashing process removes small fragments of code, pervasive throughout the application, an...
Ori Dvir, Maurice Herlihy, Nir Shavit
IJNSEC
2007
154views more  IJNSEC 2007»
15 years 6 months ago
Integrity of mobile agents: a new approach
The recent developments in the mobile technology (mobile phones, middleware) created a need for new methods of protecting the code transmitted through the network. The oldest and ...
Aneta Zwierko, Zbigniew Kotulski
CHI
2004
ACM
16 years 6 months ago
Designing the whyline: a debugging interface for asking questions about program behavior
Debugging is still among the most common and costly of programming activities. One reason is that current debugging tools do not directly support the inquisitive nature of the act...
Andrew Jensen Ko, Brad A. Myers
CHI
2010
ACM
16 years 1 months ago
Evaluating cues for resuming interrupted programming tasks
Developers, like all modern knowledge workers, are frequently interrupted and blocked in their tasks. In this paper we present a contextual inquiry into developers’ current stra...
Chris Parnin, Robert DeLine