1799 search results - page 254 / 360 » The Logic of Correctness in Software Engineering |
153
click to vote
EUROMICRO
2004
IEEE
15 years 10 months ago
2004
IEEE
The popularity of web objects, and by extension the popularity of the web sites, besides the appearance of clear footprints in user's accesses that show a considerable spatia...
182
click to vote
COMSWARE
2006
IEEE
15 years 10 months ago
2006
IEEE
Service providers and enterprises all over the world are rapidly deploying Voice over IP (VoIP) networks because of reduced capital and operational expenditure, and easy creation o...
161
click to vote
AVI
2008
15 years 8 months ago
2008
This paper presents an interactive visualisation system that assists users of semi-automatic speech transcription systems to assess alternative recognition results in real time an...
155
click to vote
C3S2E
2008
ACM
15 years 8 months ago
2008
ACM
Creating and editing source code are tedious and error-prone processes. One important source of errors in editing programs is the failure to correctly adapt a block of copied code...
168
click to vote
EUROSYS
2008
ACM
15 years 8 months ago
2008
ACM
Guaranteed I/O performance is needed for a variety of applications ranging from real-time data collection to desktop multimedia to large-scale scientific simulations. Reservations...