940 search results - page 99 / 188 » Local rely-guarantee reasoning |
100
click to vote
AIMS
2008
Springer
15 years 7 months ago
2008
Springer
It has been shown that sets of convergent operators with a shared fixed point can simulate autonomic control mechanisms, but many questions remain about this management technique....
83
Voted
IPPS
2007
IEEE
15 years 7 months ago
2007
IEEE
Compositional performance analysis iteratively alternates local scheduling analysis techniques and output event model propagation between system components to enable performance a...
IROS
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— In the past many solutions for simultaneous localization and mapping (SLAM) have been presented. Recently these solutions have been extended to map large environments w...
111
click to vote
ICLP
2007
Springer
15 years 6 months ago
2007
Springer
Abstract In this doctoral work we aim at developing a rich timed concurrent constraint (tcc) based language with strong ties to logic. The new calculus called Universal Timed Concu...
LPAR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We present Zenon, an automated theorem prover for first order classical logic (with equality), based on the tableau method. Zenon is intended to be the dedicated prover ...