5433 search results - page 398 / 1087 » Tool Support for Traceability-Adaptation |
221
click to vote
FMOODS
2007
15 years 8 months ago
2007
This paper describes the application of Real-Time Maude to the formal specification, simulation, and further formal analysis of the sophisticated state-of-the-art OGDC wireless se...
147
click to vote
BIOCOMP
2006
15 years 8 months ago
2006
In the past decades, many clustering algorithms have been proposed for the analysis of gene expression data, but little guidance is available to help choose among them. Given the ...
152
click to vote
SDL
2001
15 years 8 months ago
2001
In this paper we describe our experiences in building tools for accelerating maintenance of existing large telecommunications software. We discuss how various maintenance activitie...
187
click to vote
INTERACT
2003
15 years 8 months ago
2003
: Keeping in touch with family and friends should be easier now that we have a repertoire of communication tools available to us (e.g. SMS, IM, email, mobile and landline phones). ...
169
click to vote
IRMA
2000
15 years 8 months ago
2000
We have designed, implemented, and deployed a camera control system and a conference controller that provide remote control capabilities for videoconferencing over the Internet. T...