1636 search results - page 132 / 328 » Reasoning About Quantum Systems |
211
click to vote
DATE
2007
IEEE
16 years 20 days ago
2007
IEEE
Solid frameworks and toolkits for design and analysis of embedded systems are of high importance, since they enable early reasoning about critical properties of a system. This pap...
157
click to vote
SIES
2007
IEEE
16 years 18 days ago
2007
IEEE
The properties of a domain oriented modelling approach or language are determined by the dominant semantics of the domain. A significant subclass that needs particular attention,...
183
click to vote
SRDS
2006
IEEE
16 years 9 days ago
2006
IEEE
We present Cryptree, a cryptographic tree structure which facilitates access control in file systems operating on untrusted storage. Cryptree leverages the file system’s folde...
148
click to vote
HOTDEP
2008
15 years 8 months ago
2008
Current weak consistency semantics provide worst-case guarantees to clients. These guarantees fail to adequately describe systems that provide varying levels of consistency in the...
163
click to vote
MUE
2008
IEEE
16 years 21 days ago
2008
IEEE
The route guidance system, which provides driving advice based on traffic information about an origin and a destination, has become very popular along with the advancement of hand...