417 search results - page 53 / 84 » The Start of an Eiffel Standard |
118
Voted
PCI
2001
Springer
15 years 5 months 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...
104
Voted
ISCC
2000
IEEE
15 years 4 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
15 years 4 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...
104
Voted
TPHOL
1994
IEEE
15 years 4 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...
120
Voted
AIME
2009
Springer
15 years 4 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...