8627 search results - page 1651 / 1726 » Software Engineering Using RATionale |
219
Voted
WWW
2003
ACM
16 years 3 months ago
2003
ACM
In the light of image retrieval evolving from text annotation to content-based and from standalone applications to web-based search engines, we foresee the need for deploying cont...
248
Voted
POPL
2009
ACM
16 years 3 months ago
2009
ACM
ibe an abstract interpretation based framework for proving relationships between sizes of memory partitions. Instances of this framework can prove traditional properties such as m...
198
Voted
SIGMOD
2005
ACM
16 years 2 months ago
2005
ACM
Applications that require real-time processing of high-volume data steams are pushing the limits of traditional data processing infrastructures. These stream-based applications in...
129
Voted
MOBISYS
2008
ACM
16 years 2 months ago
2008
ACM
Mobile users of computation and communication services have been rapidly adopting battery-powered mobile handhelds, such as PocketPCs and SmartPhones, for their work. However, the...
106
Voted
EUROSYS
2010
ACM
15 years 11 months ago
2010
ACM
Modern Byzantine fault-tolerant state machine replication (BFT) protocols involve about 20.000 lines of challenging C++ code encompassing synchronization, networking and cryptogra...