417 search results - page 53 / 84 » The Start of an Eiffel Standard |
PCI
2001
Springer
14 years 1 days ago
2001
Springer
The Internet Protocol suite is emerging as the ubiquitous communication platform for almost every conceivable information exchange. Hence, a worldwide effort to support IP functio...
ISCC
2000
IEEE
13 years 12 months ago
2000
IEEE
With standard assumptions the routing and wavelength assignment problem (RWA) can be viewed as a Markov Decision Process (MDP). The problem, however, defies an exact solution bec...
ARITH
1997
IEEE
13 years 11 months ago
1997
IEEE
Engineering design methodology recommends designing a system as follows: Start with an unambiguous speci cation, partition the system into blocks, specify the functionality of eac...
TPHOL
1994
IEEE
13 years 11 months ago
1994
IEEE
Verification Condition Generator (VCG) tools have been effective in simplifying the task of proving programs correct. However, in the past these VCG tools have in general not thems...
AIME
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. Clinical guidelines (GLs) play an important role to standardize and organize clinical processes according to evidence-based medicine. Several computer-based GL representa...