• Nenhum resultado encontrado

[PDF] Top 20 J. Braz. Comp. Soc. vol.9 número2

Has 10000 "J. Braz. Comp. Soc. vol.9 número2" found on our website. Below are the top 20 most common "J. Braz. Comp. Soc. vol.9 número2".

J. Braz. Comp. Soc.  vol.9 número2

J. Braz. Comp. Soc. vol.9 número2

... [r] ... See full document

1

J. Braz. Comp. Soc.  vol.9 número2

J. Braz. Comp. Soc. vol.9 número2

... Proof obligations containing set theory constructs are translated to first-order logic with equality aug- mented with (an extension of) the theory of arrays with extensionality. A theore[r] ... See full document

21

J. Braz. Comp. Soc.  vol.9 número2

J. Braz. Comp. Soc. vol.9 número2

... In the previous section we introduce Phi–calculus as a model for the design of DLEs under a particular perspective: the one of the exchanges taking place between a Human [r] ... See full document

19

J. Braz. Comp. Soc.  vol.9 número2

J. Braz. Comp. Soc. vol.9 número2

... However, it is impossible to represent the real world, or even a part of it, with all its details. To represent a phenomenon or part of the world, which we call a do- main, it is necessary to focus on a limited number of ... See full document

23

J. Braz. Comp. Soc.  vol.9 número2

J. Braz. Comp. Soc. vol.9 número2

... iv) Example: Many researchers recognize that effective training of subjects in a new process is important. In the Education and Psychology lit- erature, a series of papers describe different methods for training subjects ... See full document

10

J. Braz. Comp. Soc.  vol.9 número2

J. Braz. Comp. Soc. vol.9 número2

... Therefore, it allows a better delay control for real-time traffic in high load situations and a geater channel use for best effort traffic when low real-time traffic is present in the ne[r] ... See full document

11

J. Braz. Comp. Soc.  vol.10 número2

J. Braz. Comp. Soc. vol.10 número2

... [r] ... See full document

1

J. Braz. Comp. Soc.  vol.7 número2

J. Braz. Comp. Soc. vol.7 número2

... CAC algorithms should foresee the fraction of the network resources that will be consumed by the traffic generated by each application. Two of the most important resources are channel bandwidth and buffer space. The ... See full document

13

J. Braz. Comp. Soc.  vol.8 número2

J. Braz. Comp. Soc. vol.8 número2

... We may classify personalization eforts regarding several criteria, such as scope, level of automation, implementation resources, and personalization target. The scope may be local or global, where local personalization ... See full document

11

J. Braz. Comp. Soc.  vol.7 número2

J. Braz. Comp. Soc. vol.7 número2

... Mobile computing devices are becoming as common as their stationary counterparts, and the trend points to an enormous growth in the number of mobile hosts. In the same way the capability of a personal computer is in- ... See full document

11

J. Braz. Comp. Soc.  vol.8 número2

J. Braz. Comp. Soc. vol.8 número2

... These services are part of a software reuse environ- ment, named Odyssey [8], which aims at providing support for the development and reuse of components in all phases of software construction. The solutions we present ... See full document

9

J. Braz. Comp. Soc.  vol.7 número2

J. Braz. Comp. Soc. vol.7 número2

... In- stead, all messages are broadcasted to all agents regis- tered with a Broadcast Channel regardless of their cur- rent location, and are eventually delivered even if an agent is migra[r] ... See full document

11

J. Braz. Comp. Soc.  vol.7 número2

J. Braz. Comp. Soc. vol.7 número2

... The trace shown in figure 1a is for a character-based pro- tocol. The GET message specification is shown in figure 2 (lines 9-13). In line 10 the message is defined as being of type client, meaning that the state ... See full document

11

J. Braz. Comp. Soc.  vol.10 número2

J. Braz. Comp. Soc. vol.10 número2

... This paper presented a comparative study comparing the aspect-oriented and object-oriented implementations of a representative set of GoF patterns. The results have shown that most aspect-oriented implementations pro- ... See full document

15

J. Braz. Comp. Soc.  vol.10 número2

J. Braz. Comp. Soc. vol.10 número2

... The type of information posted was chosen by the students themselves and it includes a list of story cards and related information, graphs showing number of unit tests written and number[r] ... See full document

17

J. Braz. Comp. Soc.  vol.10 número2

J. Braz. Comp. Soc. vol.10 número2

... The results have shown that the process proposed is equally agile when compared to Extreme Programming (XP), moreover, surveys conducted as part of the experiment pointed out[r] ... See full document

28

J. Braz. Comp. Soc.  vol.7 número2

J. Braz. Comp. Soc. vol.7 número2

... Figure 9 shows that this really hap- pens and that with an increase of 1 in the depth of the mul- ticast tree the Direct Algorithm leads to levels of global video degradation that are about 55% better than the ... See full document

11

J. Braz. Comp. Soc.  vol.10 número2

J. Braz. Comp. Soc. vol.10 número2

... Concerning the methodology, the contribution of the paper is two fold: first, the proposed methodology covers all the phases of testing (specification, test generation and test executio[r] ... See full document

17

J. Braz. Comp. Soc.  vol.10 número2

J. Braz. Comp. Soc. vol.10 número2

... In this article, we present and evaluate a parallelization strategy for comparing two long DNA sequences. A DSM system was used since the shared memory programming model is often considered easier than the message ... See full document

8

J. Braz. Comp. Soc.  vol.11 número2

J. Braz. Comp. Soc. vol.11 número2

... As we mentioned earlier, finding correspondences between ontologies ( ontology mapping and alignment ) is one of the more difficult problems in ontology research, The issue arises not on[r] ... See full document

12

Show all 10000 documents...