1054 search results - page 184 / 211 » Compositional Refinement of Interactive Systems Modelled by ... |
BMCBI
2007
2007
A high-accuracy consensus map of yeast protein complexes reveals modular nature of gene essentiality
13 years 11 months ago
Background: Identifying all protein complexes in an organism is a major goal of systems biology. In the past 18 months, the results of two genome-scale tandem affinity purificatio...
ATVA
2006
Springer
14 years 2 months ago
2006
Springer
Testing is one of the fundamental techniques for verifying if a computing system conforms to its specification. We take a fresh look at the theory of testing for message-passing sy...
ECIS
2004
14 years 7 days ago
2004
This paper explores the use of two complementary approaches, each stemming from Personal Construct Theory (PCT), to investigate the interdependence of organizations and informatio...
JSW
2007
13 years 10 months ago
2007
—This paper presents some results in the intersection of three technological fields: e-learning, multiagent systems, and standards to improve the development of secure systems. T...
GROUP
2009
ACM
13 years 8 months ago
2009
ACM
"Open contribution systems" (OCS) are online applications that encourage users to contribute and share content in a "public" and open manner. While these syste...