563 search results - page 78 / 113 » A Typing Scheme for Behavioural Models |
TCC
2005
Springer
14 years 1 months ago
2005
Springer
We initiate a study of Maurer’s bounded storage model (JoC, 1992) in presence of transmission errors and perhaps other types of errors that cause different parties to have incon...
CIKM
2005
Springer
14 years 1 months ago
2005
Springer
XML documents are frequently used in applications such as business transactions and medical records involving sensitive information. Typically, parts of documents should be visibl...
BMCBI
2005
13 years 7 months ago
2005
Background: Coalescent simulations are playing a large role in interpreting large scale intraspecific sequence or polymorphism surveys and for planning and evaluating association ...
CONCURRENCY
2010
13 years 5 months ago
2010
The faster growth curves in the speed of GPUs relative to CPUs in the past decade and its rapidly gained popularity have spawned a new area of development in computational technol...
ICDE
2005
IEEE
14 years 9 months ago
2005
IEEE
Semantic caching enables mobile clients to answer spatial queries locally by storing the query descriptions together with the results. However, it supports only a limited number o...