5639 search results - page 846 / 1128 » Timed Abstract Non-interference |
148
click to vote
RSP
2003
IEEE
15 years 9 months ago
2003
IEEE
Model-based testing relies on the use of behavior models to automatically generate sequences of inputs and expected outputs. These sequences can be used as test cases to the end o...
141
click to vote
SRDS
2003
IEEE
15 years 9 months ago
2003
IEEE
distributed shared-memory (SDSM) provides the abstraction necessary to run shared-memory applications on cost-effective parallel platforms such as clusters of workstations. Howeve...
124
click to vote
DOCENG
2003
ACM
15 years 9 months ago
2003
ACM
To support the rapid growth of the web and e-commerce, W3C developed DOM as an application programming interface that the abstract, logical tree structure of an XML document. In t...
125
click to vote
PADS
2003
ACM
15 years 9 months ago
2003
ACM
Packet-level discrete-event network simulators use an event to model the movement of each packet in the network. This results in accurate models, but requires that many events are...
143
click to vote
AIME
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Clinical protocols and guidelines have been used in the medical domain for some time now, primarily to reduce proneness to errors during the treatment of specific disease...