2800 search results - page 322 / 560 » Fibrational Control Structures |
116
click to vote
OSDI
2006
ACM
16 years 3 months ago
2006
ACM
HiStar is a new operating system designed to minimize the amount of code that must be trusted. HiStar provides strict information flow control, which allows users to specify preci...
101
click to vote
ICCAD
2005
IEEE
16 years 12 days ago
2005
IEEE
We discuss a new synthesis flow, which offers the ability to do easy delay testing almost free in terms of its impact on speed and area as compared to corresponding implementation...
129
click to vote
TACAS
2009
Springer
15 years 10 months ago
2009
Springer
CEDAR (Counter Example Driven Antichain Refinement) is a new symbolic algorithm for computing weakest strategies for safety games of imperfect information. The algorithm computes ...
124
click to vote
CIDM
2009
IEEE
15 years 10 months ago
2009
IEEE
—Protecting and securing sensitive information are critical challenges for businesses. Deliberate and intended actions such as malicious exploitation, theft or destruction of dat...
151
Voted
SASO
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Unstructured peer-to-peer networks can be extremely flexible, but, because of size, complexity, and high variability in peers’ capacity and reliability, it is a conti...