18924 search results - page 26 / 3785 » Conformance of Distributed Systems |
DOLAP
2004
ACM
14 years 2 months ago
2004
ACM
A peer-to-peer (P2P) data management system consists essentially of a network of peer systems, each maintaining full autonomy over its own data resources. Data exchange between pe...
CASCON
2010
13 years 5 months ago
2010
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. However, web services are dis...
PTS
2004
13 years 10 months ago
2004
A methodology that combines verification and conformance testing for validating safety requirements of reactive systems is presented. The requirements are first automatically verif...
ICRA
2009
IEEE
14 years 3 months ago
2009
IEEE
— Prior research in biology and mechanics has shown the importance of hierarchy to the performance of dry adhesive systems on rough surfaces. The gecko utilizes several levels of...
ESCIENCE
2006
IEEE
14 years 2 months ago
2006
IEEE
Many areas of science currently use computing resources as a important part of their research, and many research groups adopt cluster architecture to use them efficiently and mana...