653 search results - page 78 / 131 » A Logic of Secure Systems and its Application to Trusted Com... |
MA
2000
Springer
14 years 20 days ago
2000
Springer
Mobile Maude is a mobile agent language extending the rewriting logic language Maude and supporting mobile computation. Mobile Maude uses reflection to obtain a simple and general ...
ISCC
2005
IEEE
14 years 2 months ago
2005
IEEE
During the last years there have been a lot of proposals in the literature for systems that attempt to manage the process of trust establishment. However, the engineering details ...
EUSFLAT
2001
13 years 10 months ago
2001
This work points out advantages for the application of fuzzy logic in organization analysis and control. From the presented motivations we propose both a managerial control cycle ...
CRITIS
2007
13 years 10 months ago
2007
Abstract. Virtual Interacting Network CommunIty (Vinci) is an abstract architecture to share in a secure way an ICT infrastructure among several user communities, each with its own...
ISLPED
1995
ACM
14 years 19 days ago
1995
ACM
The need to reduce the power consumption of the next generation of digital systems is clearly recognized. At the system level, power management is a very powerful technique and de...