2493 search results - page 383 / 499 » Tool Support for Design by Contract |
ACSC
2006
IEEE
15 years 4 months ago
2006
IEEE
The ever increasing size of networks has resulted in a corresponding escalation of administration costs and lengthy deployment cycles. Clearly, more scalable and flexible network...
CBMS
2006
IEEE
15 years 4 months ago
2006
IEEE
The growing availability of high throughput measurement devices in the operating room makes possible the collection of a huge amount of data about the state of the patient and the...
HICSS
2006
IEEE
15 years 4 months ago
2006
IEEE
The popularity of distributed learning and the continued growth in the number of colleges and universities offering courses delivered entirely via asynchronous learning networks (...
ISBI
2006
IEEE
15 years 4 months ago
2006
IEEE
We describe the goals and proposed design for SimTK, part of the NIH-supported Simbios National Center for Biomedical Computing. SimTK (Simulation ToolKit) will enable biomedical ...
UIST
2006
ACM
15 years 3 months ago
2006
ACM
Many tasks require users to extract information from diverse sources, to edit or process this information locally, and to explore how the end results are affected by changes in th...