5377 search results - page 898 / 1076 » Programming Languages For Interactive Computing |
110
click to vote
EACL
1993
ACL Anthology
15 years 4 months ago
1993
ACL Anthology
The first part of the paper develops a novel, sortally-based approach to the problem of aspectual composition. The account is argued to be superior on both empirical and computati...
113
Voted
FUIN
2006
15 years 3 months ago
2006
In this paper we present a coordination model for component-based software systems based on the notion of mobile channels, define it in terms of a compositional trace-based semanti...
123
Voted
CHI
2005
ACM
16 years 3 months ago
2005
ACM
The computer and communication systems that office workers currently use tend to interrupt at inappropriate times or unduly demand attention because they have no way to determine ...
138
click to vote
SIGSOFT
2008
ACM
16 years 4 months ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
143
Voted
BERTINORO
2005
Springer
15 years 9 months ago
2005
Springer
Fractal proteins are an evolvable method of mapping genotype to phenotype through a developmental process, where genes are expressed into proteins comprised of subsets of the Mande...