Sciweavers

3371 search results - page 515 / 675
» Using parsimonious language models on web data
Sort
View
131
Voted
FMOODS
2006
15 years 6 months ago
Bounded Analysis and Decomposition for Behavioural Descriptions of Components
Abstract. Explicit behavioural interfaces are now accepted as a mandatory feature of components to address architectural analysis. Behavioural interface description languages shoul...
Pascal Poizat, Jean-Claude Royer, Gwen Salaün
135
Voted
SAS
2007
Springer
126views Formal Methods» more  SAS 2007»
15 years 11 months ago
Hierarchical Pointer Analysis for Distributed Programs
We present a new pointer analysis for use in shared memory programs running on hierarchical parallel machines. The analysis is motivated by the partitioned global address space lan...
Amir Kamil, Katherine A. Yelick
SACMAT
2011
ACM
14 years 7 months ago
An integrated approach for identity and access management in a SOA context
In this paper, we present an approach for identity and access management (IAM) in the context of (cross-organizational) serviceoriented architectures (SOA). In particular, we deļ¬...
Waldemar Hummer, Patrick Gaubatz, Mark Strembeck, ...
DL
1999
Springer
130views Digital Library» more  DL 1999»
15 years 9 months ago
XML-based Information Mediation for Digital Libraries
We demonstrate a prototype distributed architecture for a digital library, using technology being developed under the MIX Project at the San Diego Supercomputer Center (SDSC) and ...
Chaitanya K. Baru, Vincent Chu, Amarnath Gupta, Be...
PLDI
1993
ACM
15 years 9 months ago
Interprocedural Constant Propagation: A Study of Jump Function Implementations
An implementation of interprocedural constant propagation must model the transmission of values through each procedure. In the framework proposed by Callahan, Cooper, Kennedy, and...
Dan Grove, Linda Torczon