Search

24 Mar 2008: beguaranteed. 5.2 Experimental Evaluation. Description of the Simulation In order to test the performance of thesetechniques, we defined a square simulation area with a side of 1 km and a

17 Jul 2008: Small-scale tests have been performed on theTmote Sky sensor platform [9] to verify that the protocolworks on real hardware, and larger scale deployments areplanned for the future.

29 Feb 2008: We are also in the process ofporting the algorithm on top of Telos Motes running Con-tiki [7] in order to evaluate SCAR on a real test bed.

29 Feb 2008: In order to test and validate the usefulness of. AEGIS as well as its ease of use (for facilitators.

29 Feb 2008: The SATIN Component System—A Metamodelfor Engineering Adaptable Mobile Systems. Stefanos Zachariadis, Cecilia Mascolo, and Wolfgang Emmerich, Member, IEEE Computer Society. Abstract—Mobile computing devices, such as personal digital assistants

29 Feb 2008: of the relationships.It is probable that by performing psychological tests,the importance of a relationship, such as a friendship,will be valued differently by the different individualsinvolved; in our modelization, ... III. Implementation and Evaluation.

14 Jul 2008: These tests were conducted with OM-NeT++ [23], an open-source discrete event simulator writ-ten in C++. ... Our test-ing (Section 4.3) found connectivity to be possible betweenadjoining carriages, and also over 10 meters if the carriageswere not busy.

29 Feb 2008: September2001. Springer Verlag. [7] L. Capra, W. Emmerich, and C. Mascolo. A Micro-Economic Approach to Conflict Resolution in Mobile Com-puting.

4 Mar 2008: 2 CREATING Z SPECIFICATIONS. 2.1 Writing, Printing, and Visualizing ZSpecifications. Several tools exist to this date to help softwaredesigners to write, test, and share documents containingtheir Z specifications.

29 Feb 2008: We attribute the large time dif-ference between the tests when the PDA was involved (installation time fromthe PDA to the laptop and update time from the laptop to the PDA)