9015 search results - page 243 / 1803 » Using Structural Computing to Support Information Integratio... |
109
click to vote
SPIN
1999
Springer
15 years 8 months ago
1999
Springer
One of the difficulties of using model checkers “in the large” is the management of all (generated) data during the validation trajectory. It is important that the results obta...
132
click to vote
PCI
2005
Springer
15 years 9 months ago
2005
Springer
Ubiquitous systems are characterized by multi-fold complexity, stemming mainly from the vast number of possible interactions between many heterogeneous objects and services. Device...
130
click to vote
SAC
2006
ACM
15 years 9 months ago
2006
ACM
Traditional Data Mining and Knowledge Discovery algorithms assume free access to data, either at a centralized location or in federated form. Increasingly, privacy and security co...
162
click to vote
NAR
2011
14 years 6 months ago
2011
An essential prerequisite for any systems-level understanding of cellular functions is to correctly uncover and annotate all functional interactions among proteins in the cell. To...
136
click to vote
PROCEDIA
2010
15 years 2 months ago
2010
With the offer from cloud computing providers, scientists have the opportunity to utilize pay-as-you-go resources together with their own and shared resources. However, scientist...