2106 search results - page 274 / 422 » Specifying C concepts |
IWC
2002
13 years 9 months ago
2002
Software components are becoming increasingly popular design and implementation technologies that can be plugged and played to provide user-enhanceable software. However, developi...
QUESTA
2008
13 years 9 months ago
2008
In this note we identify a phenomenon for processor sharing queues that is unique to ones with time-varying rates. This property was discovered while correcting a proof in Hampshi...
FTML
2010
13 years 8 months ago
2010
We give a tutorial overview of several geometric methods for dimension reduction. We divide the methods into projective methods and methods that model the manifold on which the da...
VIROLOGY
2010
13 years 8 months ago
2010
We propose a general, formal definition of the concept of malware (malicious software) as a single sentence in the language of a certain modal logic. Our definition al thanks to it...
GIS
2010
ACM
13 years 8 months ago
2010
ACM
ended abstract looks forward at which shared concepts and approaches are shaping future research in the field of location privacy, as well as reflecting on the broader achievement...