603 search results - page 93 / 121 » concurrency 2010 |
88
Voted
CORR
2010
Springer
14 years 9 months ago
2010
Springer
In many wireless systems, interference is the main performance-limiting factor, and is primarily dictated by the locations of concurrent transmitters. In many earlier works, the l...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Automated software verification is a very active field of research which has made enormous progress both in theoretical and practical aspects. Recently, an important amou...
99
Voted
ICPR
2010
IEEE
14 years 8 months ago
2010
IEEE
—Alzheimer’s disease (AD) final is one of the most frequent type of dementia. Currently there is no cure for AD and early diagnosis is crucial to the development of treatments...
FAC
2010
14 years 8 months ago
2010
: © Algebra and logic for access control Matthew Collinson, David Pym HP Laboratories HPL-2008-75R1 Access control, process algebra, bunched Logic; systems modelling The access co...
FCSC
2010
14 years 8 months ago
2010
Currently, with the evolution of virtualization technology, cloud computing mode has become more and more popular. However, people still concern the issues of the runtime integrity...