1134 search results - page 180 / 227 » Distributed Proving in Access-Control Systems |
ASAP
2007
IEEE
15 years 6 months 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...
CONCUR
2007
Springer
15 years 6 months ago
2007
Springer
It is well known that bisimulation on µ-expressions cannot be finitely axiomatised in equational logic. Complete axiomatisations such as those of Milner and Bloom/´Esik necessar...
AICT
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper, discusses the feasibility of mobile Web Service provisioning from Smart Phones, confluencing two major recent trends in distributed information systems engineering: th...
CCGRID
2006
IEEE
15 years 5 months ago
2006
IEEE
During the past decade, the scientific community has witnessed the rapid accumulation of gene sequence data and data related to physiology and biochemistry of organisms. Bioinform...
109
click to vote
DATE
2006
IEEE
15 years 5 months ago
2006
IEEE
With the advent of multi-processor systems-on-chip, the interest in process migration is again on the rise both in research and in product development. New challenges associated w...