1348 search results - page 230 / 270 » Open Microscopy Environment |
135
click to vote
GCC
2009
Springer
14 years 11 months ago
2009
Springer
Current cloud computing infrastructure offerings are lacking in interoperability, which is a hindrance to the advancement and adoption of the cloud computing paradigm. As clouds ar...
120
click to vote
CACM
2010
14 years 11 months ago
2010
Certified software consists of a machine-executable program plus a formal machine-checkable proof that the software is free of bugs with respect to a claim of dependability. The c...
133
click to vote
ENTCS
2010
14 years 11 months ago
2010
Testing and verification of asynchronously communicating objects in open environments are challenging due to non-determinism. We explore a formal approach for black-box testing by...
114
click to vote
IJACTAICIT
2010
14 years 11 months ago
2010
In the e-age, internet and e-affairs are the composite blend of business process and technology; the organization must retain the state of computing system or risk malicious assau...
148
click to vote
CORR
2011
Springer
14 years 9 months ago
2011
Springer
Despite the increasing maturity of model-driven development (MDD), some research challenges remain open in the field of information systems (IS). For instance, there is a need to i...