675 search results - page 53 / 135 » New reals: Can live with them, can live without them |
ICPPW
1999
IEEE
15 years 3 months ago
1999
IEEE
At current on-line shops, buyers almost independently enjoy shopping without anyone's help. However, there are many cases where they cooperate with people such as personal ad...
POPL
1997
ACM
15 years 2 months ago
1997
ACM
Java offers the real possibility that most programs can be written in a type-safe language. However, for Java to be broadly useful, it needs additional expressive power. This pape...
TCC
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. We consider compositional properties of reactive systems that are secure in a cryptographic sense. We follow the well-known simulatability approach of modern cryptography...
105
Voted
IADIS
2004
15 years 16 days ago
2004
All around of people live in the age based on information and knowledge in recent period. It is WWW/Internet technology that provides efficiency and power, which can lead the new ...
102
click to vote
MICRO
2010
IEEE
14 years 9 months ago
2010
IEEE
Virtualization has been rapidly expanding its applications in numerous server and desktop environments to improve the utilization and manageability of physical systems. Such prolif...