Sciweavers

6555 search results - page 19 / 1311
» Secure attribute-based systems
Sort
View
WISTP
2007
Springer
15 years 4 months ago
An Information Flow Verifier for Small Embedded Systems
Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-...
IEEEARES
2006
IEEE
15 years 4 months ago
Active/Active Replication for Highly Available HPC System Services
Christian Engelmann, Stephen L. Scott, Chokchai Le...
AGENTS
2001
Springer
15 years 2 months ago
Architectural design of a multi-agent system for handling metadata streams
Ï Ú × Ò ÑÙÐØ ¹ ÒØ Ö Ø ØÙÖ ØÓ Ð Ú Ö Ñ Ø ¹ Ø ×ØÖ Ñ× ×ÝÒ ÖÓÒÓÙ×ÐÝ Û Ø ÑÙÐØ Ñ ×ØÖ Ñ× ÓÚ Ö Û ¹ Ö Ò ØÛÓÖ º ÌÓ Ø × Ò...
Don Cruickshank, Luc Moreau, David De Roure
AGENTS
2001
Springer
15 years 2 months ago
Mobile agents for monitoring distributed systems
Delbert Hart, Mihail Eduard Tudoreanu, Eileen Krae...