446 search results - page 79 / 90 » Modal Logics for Timed Control |
CSFW
2005
IEEE
14 years 2 months ago
2005
IEEE
Modelling security policies requires means to specify permissions and prohibitions. However, this is generally not sufficient to express security properties such as availability ...
ISCAS
2005
IEEE
14 years 2 months ago
2005
IEEE
— There is a growing interest in developing low cost, low power, highly integrated biosensor systems to characterize individual cells for applications such as cell analysis, drug...
ASPDAC
2005
ACM
14 years 2 months ago
2005
ACM
: In ultra-deep submicron VLSI circuits, clock network is a major source of power consumption and power supply noise. Therefore, it is very important to minimize clock network size...
SIGOPSE
2004
ACM
14 years 2 months ago
2004
ACM
In this paper we argue that the best approach to providing Quality of Service (QoS) guarantees to current Internet services is to use admission control and traffic shaping techni...
ASAP
2003
IEEE
14 years 2 months ago
2003
IEEE
The register file is a power-hungry device in modern architectures. Current research on compiler technology and computer architectures encourages the implementation of larger dev...