3239 search results - page 466 / 648 » A Logical Process Calculus |
224
click to vote
AINA
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper is a contribution to the inception of multiple tokens in solving distributed mutual exclusion problem. The proposed algorithm is based on the token ring approach and al...
162
click to vote
ASAP
2007
IEEE
16 years 26 days ago
2007
IEEE
Currently, television sets with flat plasma and LCD screens with improved resolutions and better color quality are emerging. To fully utilize their capabilities, lower resolution...
165
click to vote
ICEBE
2006
IEEE
16 years 16 days ago
2006
IEEE
UN/CEFACT’s Modeling Methodology (UMM) is a well accepted approach to define inter-organizational business processes. UMM models should be managed in a registry for two reasons...
189
click to vote
IPPS
2005
IEEE
16 years 3 days ago
2005
IEEE
In this paper, we propose an IPSec implementation on Xilinx Virtex-II Pro FPGA1 . We move the key management and negotiation into software function calls that run on the PowerPC p...
178
click to vote
WECWIS
2005
IEEE
16 years 2 days ago
2005
IEEE
The concept of MDA (model driven architecture) aims at the goal of longevity (through business logic and architecture migration between different platforms) and quality improvemen...