4079 search results - page 464 / 816 » Differential Testing for Software |
123
click to vote
VTC
2006
IEEE
16 years 2 days ago
2006
IEEE
In this study, a new physical layer transmission technique is proposed with the spectrum efficiency up to two times of that of the Eureka-147 DAB system. The proposed technique com...
175
click to vote
EEE
2005
IEEE
15 years 11 months ago
2005
IEEE
Web services are modular web applications that can be independently deployed and invoked by other software or services on the web. This offers enterprises the capability to integr...
181
Voted
SEMWEB
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Magpie is a suite of tools supporting a ‘zero-cost’ approach to semantic web browsing: it avoids the need for manual annotation by automatically associating an ontolo...
206
click to vote
CCGRID
2002
IEEE
15 years 11 months ago
2002
IEEE
It is envisaged that the grid infrastructure will be a large-scale distributed software system that will provide high-end computational and storage capabilities to differentiated ...
150
click to vote
DSN
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...