Sciweavers

2013 search results - page 122 / 403
» Happy New Year
Sort
View
PSYCHNOLOGY
2006
102views more  PSYCHNOLOGY 2006»
15 years 6 months ago
Radiology Informatics and Work Flow Redesign
The transformation from film-based to filmless operations has become more and more challenging as medical imaging studies expand in size and complexity. To adapt to these changes ...
Guido Vaccari, Carlo Saccavini
IJCSA
2007
110views more  IJCSA 2007»
15 years 6 months ago
Multiprocessor Scheduling Using Hybrid Particle Swarm Optimization with Dynamically Varying Inertia
The problem of task assignment in heterogeneous computing systems has been studied for many years with many variations. We have developed a new hybrid approximation algorithm. The...
S. N. Sivanandam, P. Visalakshi, A. Bhuvaneswari
AC
2005
Springer
15 years 6 months ago
Software model checking with SPIN
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
Gerard J. Holzmann
AHSWN
2005
171views more  AHSWN 2005»
15 years 6 months ago
Topology Control and Localization in Wireless Ad Hoc and Sensor Networks
Over the last few years, novel architectures like ad hoc and sensor networks have introduced new challenges in the way the communication infrastructure must be addressed. Unlike t...
Peter Gober, Artur Ziviani, Petia Todorova, Marcel...
IJNSEC
2007
122views more  IJNSEC 2007»
15 years 6 months ago
Group Oriented Identity-based Deniable Authentication Protocol from the Bilinear Pairings
Deniable authentication protocol is different from traditional authentication protocol in that the intended receiver can authenticate the source of a given message, but cannot pr...
Rongxing Lu, Zhenfu Cao