6800 search results - page 527 / 1360 » Testing with Functions as Specifications |
221
click to vote
PAAMS
2010
Springer
15 years 5 months ago
2010
Springer
This presents a study in which a high level abstract architecture was used to design open multi-agent systems and virtual organizations that offer services with temporal constraint...
217
click to vote
PODS
2008
ACM
16 years 7 months ago
2008
ACM
A fundamental problem in distributed computation is the distributed evaluation of functions. The goal is to determine the value of a function over a set of distributed inputs, in ...
167
click to vote
BMCBI
2006
15 years 7 months ago
2006
Background: Recognition of relevant sequence deviations can be valuable for elucidating functional differences between protein subfamilies. Interesting residues at highly conserve...
201
click to vote
JOC
2008
15 years 7 months ago
2008
In the setting of concurrent self composition, a single protocol is executed many times concurrently by a single set of parties. In this paper, we prove lower bounds and impossibi...
222
click to vote
BMCBI
2005
15 years 7 months ago
2005
Background: There has been much evidence recently for a link between transcriptional regulation and chromosomal gene order, but the relationship between genomic organization, regu...