Sciweavers

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