Sciweavers

266 search results - page 33 / 54
» What You Expect Is What You See
Sort
View
SPW
2000
Springer
13 years 11 months ago
The Resurrecting Duckling - What Next?
In the context of the security of wireless ad hoc networks, we previously explored the problem of secure transient association between a master and a slave device in the absence of...
Frank Stajano
CHI
2011
ACM
12 years 11 months ago
YouPivot: improving recall with contextual search
According to cognitive science literature, human memory is predicated on contextual cues (e.g., room, music) in the environment. During recall tasks, we associate information/acti...
Joshua M. Hailpern, Nicholas Jitkoff, Andrew Warr,...
ENTCS
2006
114views more  ENTCS 2006»
13 years 7 months ago
What is algebraic in process theory?
This is an extended version of an essay with the same title that I wrote for the workshop Algebraic Process Calculi: The First Twenty Five Years and Beyond, held in Bertinoro, Ita...
Bas Luttik
VSTTE
2005
Springer
14 years 1 months ago
Toasters, Seat Belts, and Inferring Program Properties
Today’s software does not come with meaningful guarantees. This position paper explores why this is the case, suggests societal and technical impediments to more dependable softw...
David Evans

Publication
591views
13 years 9 months ago
DFC, Microsoft developers, .NET and DFC PIA
This is a very nice article that explains the Documentum Foundation Class and how it relates to .NET programming. I developed a lot of applications using .NET that work with Docume...
Craig’s Musings