2089 search results - page 83 / 418 » Finding Environment Guarantees |
121
Voted
ISCC
2005
IEEE
15 years 9 months ago
2005
IEEE
The volume of higher priority Internet applications is increasing as the Internet continues to evolve. Customers require Quality of Service (QoS) guarantees with not only guarante...
126
Voted
TCAD
2008
15 years 3 months ago
2008
State encoding is one of the most difficult problems in the synthesis of asynchronous controllers. This paper presents a method that can solve the problem of large controllers spec...
84
Voted
TWC
2008
15 years 3 months ago
2008
The capacity of a power controlled wireless network can be changing due to user's mobility, fading or shadowing effects. As a result, the quality of service (QOS) of all users...
137
Voted
ATC
2007
Springer
15 years 10 months ago
2007
Springer
We present a system architecture for trusted transactions in highly sensitive environments. This architecture takes advantage of techniques provided by the Trusted Computing Group ...
116
Voted
FSTTCS
2007
Springer
15 years 10 months ago
2007
Springer
Security protocols are small programs that are executed in hostile environments. Many results and tools have been developed to formally analyze the security of a protocol. However ...