1321 search results - page 98 / 265 » Subtyping in Logical Form |
170
click to vote
FORTE
2009
15 years 3 months ago
2009
We consider the following problem: For a system consisting of two components, the behavior of one component is known as well as the desired global behavior. What should be the beha...
159
click to vote
VMCAI
2009
Springer
16 years 9 days ago
2009
Springer
A new approach based on constraint solving techniques was recently proposed for verification of hybrid systems. This approach works by searching for inductive invariants of a give...
159
click to vote
APSEC
2008
IEEE
16 years 6 hour ago
2008
IEEE
Memory usage analysis is an important problem for resource-constrained mobile devices, especially under mission- or safety-critical circumstances. Program codes running on or bein...
181
click to vote
TARK
2007
Springer
15 years 11 months ago
2007
Springer
We investigate the discrete (finite) case of the Popper-Renyi theory of conditional probability, introducing discrete conditional probabilistic models for (multi-agent) knowledge...
159
click to vote
MICRO
2005
IEEE
15 years 11 months ago
2005
IEEE
Recent experimental advances have demonstrated technologies capable of supporting scalable quantum computation. A critical next step is how to put those technologies together into...