Search

20 Jun 2008: 4 These mobility models can also be used to test other types of networks. ... These traces can be used as test cases for the testing ofopportunistic mobile systems [25].

29 Feb 2008: This methoduses a micro-economic approach that relies on a particular type ofsealed-bid auction. ... General TermsDesign, economics, languages. KeywordsConflict resolution, game theory, context-awareness, mobile com-puting, middleware, reflection.

29 Feb 2008: Wedemonstrate a method by which policy conflicts can be handled;this method uses a micro-economic approach that relies on a par-ticular type of sealed-bid auction.

12 Jul 2008: For example, hosts may not be selected even if they have thehighest delivery probability for economic or security reasonsaccording to the sender requirements.Device Profiles Another dimension of the problem of

5 Aug 2008: Real traces. Trace Analyser. Trace generator. CTG. Range Variation. Connectivity traces (Test cases). ... 22] Z. Wang, S. Elbaum, and D. Rosenblum. Automated generation ofcontext-aware tests.

17 Apr 2008: 4.4 Functional Testing. In order to perform a functional test of the integration ofGently in Haggle, we have set up a testbed of four desk-top computers equipped with 108 ... We randifferent test to observe if the asynchronous delivery pro-cess was

29 Feb 2008: Dino Sally. Workload generator. Jobs Jobs. (With prediction). Figure 5. Test-bed Architecture. ... Figure 5 shows an overview of the experimental test-bed.The test-bed comprises two Condor clusters of 23 nodeseach.

29 Feb 2008: In order to test this, we consider the normalised valueof z(t) by dividing it by 100.

29 Feb 2008: discrete event simulator [14]. In order to obtain credible re-sults and to test the peculiar characteristics of our protocol,it was also necessary for us to develop a new group ... We implemented a simplified version of the DSDV pro-tocol [10] in order

29 Feb 2008: Using psycho-logical tests it is probable that the importance of a rela-tionship, such as a friendship, will be valued differently bythe different individuals involved; in our modelisation, thiswould lead

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.

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: September2001. Springer Verlag. [7] L. Capra, W. Emmerich, and C. Mascolo. A Micro-Economic Approach to Conflict Resolution in Mobile Com-puting.

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)

29 Feb 2008: tests, in particular, we have taken real mobility traces collected byIntel Research Laboratory in Cambridge.

29 Feb 2008: 5.2.1 Description of the Simulation. In order to test the performance of these techniques we con-sidered a mobile scenarios composed of a realistic numberof hosts and we implemented

1 Apr 2008: IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS, VOL. 26, NO. 5, JUNE 2008 1. Socially-Aware Routing for Publish-Subscribe inDelay-Tolerant Mobile Ad Hoc Networks. Paolo Costa, Cecilia Mascolo, Mirco Musolesi, and Gian Pietro Picco.

14 Jul 2008: In order to test the proposed protocol, we needed a modelto represent human mobility.

29 Feb 2008: Mobile Computing Middleware. Cecilia Mascolo, Licia Capra and Wolfgang Emmerich. Dept. of Computer ScienceUniversity College London. Gower Street, London, WC1E 6BT, UK{C.Mascolo|L.Capra|W.Emmerich}@cs.ucl.ac.uk. Abstract. Recent advances in wireless

29 Feb 2008: this strategy allowed us to test the expressiveness of Mobile UNITY as a specification language: the factthat the entire semantic specification can be reduced to a small set of coordination statements