Sciweavers

3885 search results - page 718 / 777
» Clarifying Goal Models
Sort
View
WWW
2005
ACM
16 years 5 months ago
Design for verification for asynchronously communicating Web services
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...
Aysu Betin-Can, Tevfik Bultan, Xiang Fu
WWW
2004
ACM
16 years 5 months ago
Web accessibility: a broader view
Web accessibility is an important goal. However, most approaches to its attainment are based on unrealistic economic models in which Web content developers spend too much and rece...
John T. Richards, Vicki L. Hanson
WWW
2003
ACM
16 years 5 months ago
Mining topic-specific concepts and definitions on the web
Traditionally, when one wants to learn about a particular topic, one reads a book or a survey paper. With the rapid expansion of the Web, learning in-depth knowledge about a topic...
Bing Liu, Chee Wee Chin, Hwee Tou Ng
EUROCRYPT
2009
Springer
16 years 5 months ago
Asymmetric Group Key Agreement
A group key agreement (GKA) protocol allows a set of users to establish a common secret via open networks. Observing that a major goal of GKAs for most applications is to establish...
Qianhong Wu, Yi Mu, Willy Susilo, Bo Qin, Josep Do...
PPOPP
2009
ACM
16 years 5 months ago
OpenMP to GPGPU: a compiler framework for automatic translation and optimization
GPGPUs have recently emerged as powerful vehicles for generalpurpose high-performance computing. Although a new Compute Unified Device Architecture (CUDA) programming model from N...
Seyong Lee, Seung-Jai Min, Rudolf Eigenmann