7508 search results - page 31 / 1502 » A new approach for distributed computing in avionics systems |
DAC
2001
ACM
14 years 9 months ago
2001
ACM
HPDC
1999
IEEE
14 years 1 months ago
1999
IEEE
We are developing a system for collaborative research and development for a distributed group of researchers at different institutions around the world. In a new paradigm for coll...
ECHT
1992
14 years 26 days ago
1992
An approach to exible hyperbase hypertext database support predicated on the notion of extensibility is presented. The extensible hypertext platform Hyperform implements basic hyp...
ESORICS
2007
Springer
14 years 20 days ago
2007
Springer
We present a new technique for generating a formal proof that an access request satisfies accesscontrol policy, for use in logic-based access-control frameworks. Our approach is t...
USM
2000
14 years 10 days ago
2000
Due to the requirements of open service markets, the structure of networks and application systems is changing. To handle the evolving complex distributed systems, new concepts for...