6607 search results - page 318 / 1322 » Making TeX Work |
168
click to vote
ICDE
2007
IEEE
15 years 8 months ago
2007
IEEE
Preserving privacy has become a crucial requirement for operating a business that manages personal data. Hippocratic databases have been proposed to answer this requirement throug...
132
click to vote
ICFEM
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective t...
134
click to vote
ICASSP
2009
IEEE
15 years 8 months ago
2009
IEEE
The general goal of music synchronization is to automatically align the multiple information sources such as audio recordings, MIDI files, or digitized sheet music related to a gi...
153
click to vote
AGILEDC
2004
IEEE
15 years 8 months ago
2004
IEEE
Through his law, "adding manpower to a late software project makes it later," Brooks asserts that the assimilation, training, and intercommunication costs of adding new ...
144
Voted
BROADNETS
2004
IEEE
15 years 8 months ago
2004
IEEE
Real-time multimedia transport has stringent bandwidth, delay, and loss requirements. Supporting this application in current wireless ad hoc networks is a challenge. Such networks...