5879 search results - page 23 / 1176 » Separation - Past, Present, and Future |
LICS
2008
IEEE
15 years 6 months ago
2008
IEEE
We investigate the (in)equational theory of impossible futures semantics over the process algebra BCCSP. We prove that no finite, sound axiomatization for BCCSP modulo impossible...
115
click to vote
FEDCSIS
2011
13 years 11 months ago
2011
Abstract—The Future Internet will be a complex interconnection of services, applications, content and media, on which our society will become increasingly dependent. Time to mark...
ICMB
2007
IEEE
15 years 6 months ago
2007
IEEE
In this paper, we present an assessment of NFC (Near Field Communication) for future mobile payment systems. NFC is expected to become a very trendy technology for mobile services...
WSC
2000
15 years 1 months ago
2000
This paper presents an approach to the operational analysis of future space transportation systems. The approach combines knowledge from government and industry space operation an...
MICRO
2000
IEEE
14 years 11 months ago
2000
IEEE
We present a novel methodology for predicting future outcomes that uses small numbers of individuals participating in an imperfect information market. By determining their risk att...