2343 search results - page 278 / 469 » MedModel - Healthcare Simulation Software |
142
click to vote
FMSP
2000
ACM
15 years 7 months ago
2000
ACM
When a program P fails to satisfy a requirement R supposedly ensured by a detailed speci cation S that was used to implement P, there is a question about whether the problem arise...
MM
2000
ACM
15 years 7 months ago
2000
ACM
The scope of this article is to clarify the current legal and political situation related to electronic surveillance on the one hand, and to export regulations for encryption soft...
112
click to vote
DCW
2000
Springer
15 years 7 months ago
2000
Springer
The diversity of negotiation types in e-commerce calls for a clear description of the rules that govern them. The participant has to know the rules before engaging in a negotiation...
122
click to vote
DAC
1999
ACM
15 years 7 months ago
1999
ACM
Verification is one of the most critical and time-consuming tasks in today's design processes. This paper demonstrates the verification process of a 8.8 million gate design u...
125
click to vote
ICEIS
1999
IEEE
15 years 7 months ago
1999
IEEE
Group Decision Support Systems (GDSS) present important limitations that constrain their usage in current organisations. The fundamental reason is the lack of integration in the c...