4008 search results - page 573 / 802 » An expressive language of signatures |
170
click to vote
HICSS
2006
IEEE
16 years 19 days ago
2006
IEEE
Abstract— Framework design is a multifaceted endeavor undertaken to promote reuse of software within a family of related applications. Traditional approaches involve either the e...
167
click to vote
HICSS
2006
IEEE
16 years 19 days ago
2006
IEEE
This paper presents technical foundation, roadmap and initial results of the IDIOM project (Information Diffusion across Interactive Online Media). Information spreads rapidly acr...
198
click to vote
IPPS
2006
IEEE
16 years 19 days ago
2006
IEEE
Bulk Synchronous Parallel ML (BSML) is an extension of the functional language Objective Caml to program Bulk Synchronous Parallel (BSP) algorithms. It is deterministic, deadlock ...
181
click to vote
APLAS
2006
ACM
16 years 17 days ago
2006
ACM
String expression analysis conservatively approximates the possible string values generated by a program. We consider the validation of a context-free grammar obtained by the analy...
155
click to vote
APLAS
2006
ACM
16 years 17 days ago
2006
ACM
The abstract domain of polyhedra is sufficiently expressive to be deployed in verification. One consequence of the richness of this domain is that long, possibly infinite, sequen...