• Nenhum resultado encontrado

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

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

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

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

... The refreshment parameter defines the management of write operations to refresh primary copies. In fact, it imple- ments conflict detection and resolution using the log his- tory H of[r] ... See full document

5

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

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

... As described in the presentation of the architecture, the distribution of Web pages in groups and the two kinds of mediators facilitate managing in transparent way the addi- tion or chan[r] ... See full document

12

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

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

... (Similar to the functional feature, we compare the optionality characteristics of the relationship set connecting T and T’ with the optionality characteristics of the relationship sets[r] ... See full document

12

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

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

... From the starting page, which is generated from empty parameter and state, the user session is a path in the site determined by the sequence of pages followed by the customer.. Where f [r] ... 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 ... See full document

9

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

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

... Motivated by the SINPESQ project we decided to ex- tend our experience in HDBMS systems and investigate new approaches to system’s architectures that could pro- duce configurable and flexible systems. In these lines, we ... See full document

8

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

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

... ii) Example: In a study done to compare an in- spection done using an ad hoc technique to one done using a more procedural technique, the re- sults showed that the performance of the sub- jects who used the ad hoc method ... See full document

10

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

... In the contention-based access, QSTAs compete for TxOPs in a distributed way using an Enhanced DCF access mode or EDCF. The EDCF incorporate mul- tiple transmission queues in the same STA, each one with a priority level. ... See full document

11

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.10 número2

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

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

1

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

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

... This paper presents ODEd, an ontology editor that supports the definition of con- cepts, relations and properties, using graphic representations, besides promoting automatic inclusion o[r] ... See full document

23

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

... 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 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

... In order to test our mechanism, we used Lamport’s well- known mutual exclusion algorithm [16] (based on logic clocks) and developed a simple agent-based application program that implements this algorithm using the Broad- ... 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...