3088 search results - page 306 / 618 » A Teleradiology System Design Case |
169
click to vote
FORTE
2004
15 years 8 months ago
2004
Software Model-Checking and Testing are some of the most used techniques to analyze software systems and identify hidden faults. While software model-checking allows for an exhaust...
199
click to vote
WOSP
2005
ACM
16 years 11 days ago
2005
ACM
Advances in Internet and the availability of powerful computers and high-speed networks have propitiated the rise of Grids. The scheduling of applications is complex in Grids due ...
201
click to vote
ESE
2008
15 years 6 months ago
2008
Literature on the topic of code cloning often asserts that duplicating code within a software system is a bad practice, that it causes harm to the system's design and should b...
174
click to vote
ACSC
2004
IEEE
15 years 10 months ago
2004
IEEE
An approach to system verification is described in which design artefacts produced during forward engineering are automatically compared to corresponding artefacts produced during...
181
click to vote
CASES
2006
ACM
16 years 24 days ago
2006
ACM
Architectural advances of modern systems has often been at odds with control complexity, requiring significant effort in both design and verification. This is particularly true ...