Sciweavers

1445 search results - page 205 / 289
» Uniformly Hard Languages
Sort
View
ICSE
2004
IEEE-ACM
16 years 4 months ago
Theme: An Approach for Aspect-Oriented Analysis and Design
Aspects are behaviours that are tangled and scattered across a system. In requirements documentation, aspects manifest themselves as descriptions of behaviours that are intertwine...
Elisa L. A. Baniassad, Siobhán Clarke
ICSE
2008
IEEE-ACM
16 years 4 months ago
PLURAL: checking protocol compliance under aliasing
Enforcing compliance to API usage protocols is notoriously hard due to possible aliasing of objects through multiple references. In previous work we proposed a sound, modular appr...
Kevin Bierhoff, Jonathan Aldrich
DASFAA
2009
IEEE
96views Database» more  DASFAA 2009»
15 years 11 months ago
Materialized View Selection in XML Databases
Materialized views, a rdbms silver bullet, demonstrate its efficacy in many applications, especially as a data warehousing/decison support system tool. The pivot of playing materia...
Nan Tang, Jeffrey Xu Yu, Hao Tang, M. Tamer Ö...
EDOC
2009
IEEE
15 years 11 months ago
An End-to-End Approach for QoS-Aware Service Composition
Abstract—A simple and effective composition of software services into higher-level composite services is still a very challenging task. Especially in enterprise environments, Qua...
Florian Rosenberg, Predrag Celikovic, Anton Michlm...
ICDAR
2009
IEEE
15 years 11 months ago
Segmentation of Arabic Handwriting Based on both Contour and Skeleton Segmentation
We propose a new algorithm for segmentation of off-line handwritten Arabic words. The algorithm segments the connected letters to smaller segments each of which contains no more t...
Safwan Wshah, Zhixin Shi, Venu Govindaraju