320 search results - page 42 / 64 » Conditionals and consequences |
SARA
2009
Springer
14 years 2 months ago
2009
Springer
An important challenge in constraint programming is to rewrite constraint models into executable programs calculating the solutions. This phase of constraint processing may requir...
AIME
2001
Springer
14 years 2 months ago
2001
Springer
Medical protocols are widely recognised to provide clinicians with high-quality and up-to-date recommendations. A critical condition for this is of course that the protocols themse...
INFOCOM
2000
IEEE
14 years 2 months ago
2000
IEEE
—Several analytic models describe the steady-state throughput of bulk transfer TCP flows as a function of round trip time and packet loss rate. These models describe flows base...
FM
1999
Springer
14 years 2 months ago
1999
Springer
Sharing between B constructs is limited, both on the specification and the implementation level. The limitations stem from the single writer/multiple readers paradigm, restricted ...
ICFEM
1997
Springer
14 years 2 months ago
1997
Springer
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...