1453 search results - page 167 / 291 » State and history in operating systems |
157
click to vote
NDSS
2009
IEEE
16 years 1 months ago
2009
IEEE
The prevalence of malware such as keyloggers and screen scrapers has made the prospect of providing sensitive information via web pages disconcerting for security-conscious users....
171
click to vote
BIRTHDAY
2005
Springer
16 years 6 hour ago
2005
Springer
The paper introduces a novel approach to the synthesis of labelled transition systems for calculi with name mobility. The proposal is based on a graphical encoding: Each process is...
189
click to vote
EUROGP
2004
Springer
15 years 10 months ago
2004
Springer
Most programs currently written by humans are object-oriented ones. Two of the greatest benefits of object oriented programming are the separation of interface from implementation,...
175
click to vote
PPOPP
2006
ACM
16 years 12 days ago
2006
ACM
Recently there has been renewed interest in building reliable servers that support continuous application operation. Besides maintaining system state consistent after a failure, o...
198
click to vote
HYBRID
1999
Springer
15 years 10 months ago
1999
Springer
Continuous system dynamics can be described by, possibly large, systems of di erential equations. These can be either ordinary di erential equations (ODEs) or contain algebraic con...