1247 search results - page 187 / 250 » Reasoning about Function Objects |
LATA
2009
Springer
14 years 4 months ago
2009
Springer
Introducing priorities on rules in rewriting increases their expressive power and helps to limit computations. Priority rewriting is used in rule-based programming as well as in f...
ACIVS
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Prematurely born infants are observed at a Neonatal Intensive Care Unit (NICU) for medical treatment. Whereas vital body functions are continuously monitored, their incub...
MKM
2009
Springer
14 years 4 months ago
2009
Springer
Methods for deciding quantifier-free non-linear arithmetical conjectures over R are crucial in the formal verification of many realworld systems and in formalised mathematics. Wh...
DEXAW
2007
IEEE
14 years 4 months ago
2007
IEEE
The prerequisites of success and reasons for failure for enterprise integration projects are still not wellunderstood as evidenced by large failure rates, including cost or schedu...
ICNS
2007
IEEE
14 years 4 months ago
2007
IEEE
Market-based compute grids encompass service providers offering limited resources to potential users with varying demands and willingness to pay. Providers face difficult decisions...