1636 search results - page 264 / 328 » Reasoning About Quantum Systems |
172
click to vote
CCGRID
2006
IEEE
16 years 6 days ago
2006
IEEE
Grid computing is emerging as a new infrastructure to provide collaborative and secure resource sharing over multiple geographically distributed organizations. In this scenario, r...
196
click to vote
CSFW
2006
IEEE
16 years 5 days ago
2006
IEEE
Abstract. Interactive programs allow users to engage in input and output throughout execution. The ubiquity of such programs motivates the development of models for reasoning about...
162
click to vote
EDOC
2006
IEEE
16 years 5 days ago
2006
IEEE
The correctness of business process models is of paramount importance for the application on an enterprise level. A severe problem is that several languages for business process m...
163
click to vote
RTSS
2006
IEEE
16 years 4 days ago
2006
IEEE
We present an optimal real-time scheduling algorithm for multiprocessors — one that satisfies all task deadlines, when the total utilization demand does not exceed the utilizat...
201
click to vote
ACL2
2006
ACM
16 years 3 days ago
2006
ACM
Support for congruence-based rewriting is built into ACL2. This capability allows ACL2 to treat certain predicate relations ”just like equality” under appropriate conditions a...