95 search results - page 4 / 19 » Simulation Preorder over Simple Process Algebras |
GEOS
2005
Springer
14 years 1 months ago
2005
Springer
This paper analyses reported difficulties in spatial data retrieval from Internet portals, based on results from an empirical survey. The analysis reveals the problems which cause ...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
— In this paper, we present a new subsymbol-based multistage multiuser receiver using partial parallel interference cancellation (PPIC) scheme for uplink multirate wideband UMTS-...
ENTCS
2007
13 years 7 months ago
2007
We develop a general testing scenario for probabilistic processes, giving rise to two theories: probabilistic may testing and probabilistic must testing. These are applied to a si...
QEST
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract--We introduce a stochastic extension of CCS endowed with structural operational semantics expressed in terms of measure theory. The set of processes is organised as a meas...
SIGMOD
2007
ACM
14 years 7 months ago
2007
ACM
Incomplete information arises naturally in numerous data management applications. Recently, several researchers have studied query processing in the context of incomplete informat...