sadat2307/MSciNLI huggingface dataset:
Domain: Software and its engineering
Sentence 1: There are three kinds of architectural elements: components, connectors and systems which can be analyzed from two different views: internal (white box view) and external (black box view) (see Figure 1).
Sentence 2: from the very beginning of the specification all the behaviour is Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Once the developer was warned by the tool about such inconsistencies, he/she is in charge of solving the detected problem (for instance by explicitly declaring the inconsistent methods as deviating cases to be included in the already existent alternative view).
Sentence 2: the model-based pointcut approach addresses the fragile pointcut problem by replacing the intimate dependency of pointcut definitions on the base program by a more stable dependency on a conceptual model of the program.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: )>  <!ELEMENT name (#PCDATA)>    <!ELEMENT context ANY>    <!ELEMENT diagram ANY>    <!ELEMENT confidence (#PCDATA)>   <!ELEMENT related-patterns ANY>  <!ATTLIST pattern-link type CDATA #REQUIRED patternID CDATA #REQUIRED collection CDATA #REQUIRED label CDATA #REQUIRED> <!ELEMENT management (author?, credits?, creation-date?, last­modified?, revision-number?
Sentence 2: this language is more frequently used for describing UI patterns than for supporting pattern-based UI design process [15] that is effectively and efficiently supported by soft­ware.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: As a result of that, a high level navigation mechanism, able to manipulate the thread scope stack structure in a high level fashion has been produced.
Sentence 2: jTRES '06, October 11-13, 2006 Paris, France Copyright 2006 ACM 1-59593-544-4/06/10...$5.00 Features General Terms Algorithms, Design Keywords Real-time Java, Scoped Memory, Assignment Rule Violation  1.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: In our recent work [4] we have shown that connectors integrated in dissemination systems required to support highly heterogeneous distribution scenarios (variations in the dimensions of a data distribution, e.g., its total volume, its number of users, the types of data that is distributed, and so on) have critical implications on its performance (efficiency, scalability, consistency, dependability).
Sentence 2: an expert in an organization often chooses so-called pet technologies connectors that have proven successful in the past or simply those with which the expert is familiar regardless of the current distribution scenario requirements or dissemination system architecture.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Background  2.1 Existing SIMD Compilation Methods As SIMD extensions are similar to vector processors, SIMD com­pilation techniques .rst originated from traditional vectorization techniques for vector processors [1].
Sentence 2: extended a loop-based vector­ization technique to handle computations with non-unit stride ac­cessestodata,wherethe stridesarepowerof2[17].there has been no loop-based vectorization for arbitrary stride memory references.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Client A contains two nodes, N1 and N2.
Sentence 2: a sample selector send() function is given below: MySelector::send(const Scheme &#38;scheme, const Nodepnt &#38;ret_addr const Message &#38;msg) { max_rank = -1; for (i = 0; i < scheme.size(); i++) { rank = rank_map(scheme[i].route()); if (rank > max_rank) { max_rank = rank; best = i; } } start_timer(); scheme[best].send(m, np); stop_timer();  update_rank_map_stats(); } The Schemeobject (Section 3.7) can be indexed to access each uniaddress composing the multiaddress.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Figure 4: Region R. (c) pi and pi+1 are live and connected in round r + i,0 = i = n - 2, and throughout round r + n - 1, pn-1 is live and within distance C of fn, (d) (Progress) d = dist(fi,fi+1), 0 = i = n - 1, and  (e) (Well-directed) xi = xi+1 and yi = yi+1,0 = i = n-1.
Sentence 2: by Lines 19 and 28, pi will not consider itself as the leader while still setting the leaderMsg timer according to mj.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: The combination of MOF and OCL enables MOFLON to support the speci.cation of a modeling language s abstract syntax and static semantics.
Sentence 2: since MOFLON basically aims to integrate development tools (with existing concrete syntax), the de.nition of a modeling language s concrete syntax, as done in traditional meta-CASE tools, is out of MOFLON s scope.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: With the help of the APL-Java interface, we can use this Settler API (and othea:s) to connect APL to a wide variety of HTTP serves.
Sentence 2: in many instances, there is no need for APL to be involved in handling actions, and the effect on the responsiveness of the application will be substantial (because the hst 2 hops in the "APL calls Java calls APL calls Java" scheme is eliminated in such m-stances).
Relationship: neutral
Domain: Software and its engineering
Sentence 1: We present a modular veri.cation approach where behavior and interface checking are separated based on the interface speci.cation provided by the programmer.
Sentence 2: in some of the instances, JPF consumed more resources for falsi.cation since the inserted faults either caused the execution of a piece of code which was not executed otherwise, or created new dependencies which increased the range of values used in the environment.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Table 1: Study Objects Table 2: Study Results: Cloning Spec Pages Words Spec Pages Words A 517 41,482 O 184 18,750 B 1,013 130,968 P 45 6,977 C 133 18,447 Q 33 5,040 D 241 37,969 R 109 15,462 E 185 37,056 S 144 24,343 F 42 7,662 T 40 7,799 G 85 10,076 U n/a 43,216 H 160 19,632 V 448 95,399 I 53 6,895 W 211 31,670 J 28 4,411 X 158 19,679 K 39 5,912 Y 235 49,425 L 535 84,959 Z n/a 13,807 M 233 46,763 AB 3,100 274,489 N n/a 103,067 AC 696 81,410 S 8,667 1,242,765 For RQ 2, if more than 20 clone groups are found for a speci.cation, the manual classi.cation is performed on a random sample of 20 clone groups.
Sentence 2: while these approaches search for commonalities between a speci.c document and a set of reference documents, we also consider clones within a single document.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: of ACM SOSP, Bolton Landing, NY, Oct. 2003.
Sentence 2: to summarize, we make three main contributions: We observe the overload continuum: memory overloads en­countered in a data center are, and will likely continue to in­clude both transient and sustained bursts, although an over­whelming majority will be transient.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: In Vector and Parallel Processing -VECPAR 2002, 5th International Conference.
Sentence 2: modularization of this sort is fairly well accepted and understood within the scienti.c computing community (though not necessarily easily imple­mented or universally used in such contexts), and I believe many will be satis.ed to develop coupled simulations with­out the bene.ts of CBSE unless they perceive a greater level of bene.t.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: At the same time, there is a growing interest in analyzing these networks, in order to uncover general laws that govern their structure and evolution, and patterns and predictive models to develop better policies and practices.
Sentence 2: categories and Subject Descriptors E.1 [Data]: Graphs and networks; G.2.2 [Discrete Math­ematics]: Graph Theory graph algorithms General Terms Algorithms  Keywords data mining, statistical relational learning, social networks, classi.cation, entity resolution, link prediction Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for pro.t or commercial advantage and that copies bear this notice and the full citation on the .rst page.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Figure 12 shows that doing so leads to energy ef.ciency improve­ments, especially for the latency-bound algorithm.
Sentence 2: bEEMR potentially extracts higher energy savings from workloads with higher peak-to-average arrival ratios, though the exact energy savings and the tradeoff between policy pa­rameters is workload speci.c.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: As an ex­ 1 Of course, in principle one could de.ne a Discipline for each sub-phase instead that one for each phase.
Sentence 2: while some AOSE methodologies have already been mod­elled in SPEM by the FIPA Methodology Technical Com­mittee [8, 11], here we mean to exploit SPEM to model the SODA methodology process, taken as a signi.cant case study Figure 1: Process Structure package of SPEM for stressing SPEM s strengths and weaknesses because of its speci.c features namely, its focus on modelling the social issues and the application environment, and its mechanisms for capturing the layered structure of complex systems.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: class clsthis{ int i; void add(int x) {i = i + x;}; public: void init(int val) {i = val;}; int get(){ add(50); return i;}; } Actually, within a member function of a class, this is an implicit pointer to the current object that receives the message relevant to this function.
Sentence 2: the objects that possess all the properties discussed above are also named agents [3].
Relationship: neutral
Domain: Software and its engineering
Sentence 1: While these two have general importance in static as well as dynamic scenarios the Topology-change-time is especially important in more dynamic scenarios such as those commonly found in pervasive and ubiquitous systems.
Sentence 2: this allows for a high degree of flexibility, while at the outside, it is still visible which reaction strategies are applied and all test-dependent behavior can still be changed later on depending on the particular needs in the scenario.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: While UNICORE provides .le transfer capabilities, it does not support the same high performance .le transfers capa­bilities provided by GridFTP.
Sentence 2: the other development and inte­gration activities center around improving standards com­pliance and user experience and include 1) improved mon­itoring and management of individual jobs, 2) support of richer job models to represent complex state transitions, 3) uni.ed access to data present in a running job s working di­rectory, and 4) expose compute interface attributes through standards-based resource naming interface.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Reimplemented versions of the said base formalism compil­ers within tools that support our approach to DSL design will be transparently usable for any DSM e.ort with no fur­ther attention paid to tool integration.
Sentence 2: imports the class dia­gram for Statecharts and creates inheritance relationships between A and State­charts.State and between B and Statecharts.State if they don t already exist.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: The result of checking a formula f against a model M has three possible outcomes: true, false y maybe.
Sentence 2: another useful PDE feature we built was the core Page sub-part of a MultiPageEditor to support views with multiple tabs (such as in the MTS Draw View to show graphical MTS models, their alphabets and FSP represen­tation -see Figure 8).
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Here, we can observe all the infor­mation .ows that the application depicted in the middle has with other applications in LC s application landscape.
Sentence 2: according to our analysis of the state of the art and state of the practice, we have identi.ed that existing tools still lack some important ingredients needed to meaning­fully monitor and reconstruct the architecture description of software systems.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Only two variables (25%) attributed to the company di­mension, No further improvement after acceptance and Com­munication .aws in teams, were considered measurable, both on artefacts exclusively.
Sentence 2: to develop solutions that are meant to solve commonly accepted problems, we .rst need to understand what com­monly accepted problems are, how they evolve within the whole project ecosystem (beyond RE), and how we can in­fer a generalised notion of a good RE from those problems.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Hwu.Run-timecachebypassing.IEEETransactionson Computers,Vol.48,No.12,December1999,pp.
Sentence 2: fourth,techniquesforminimizingtheoverheadofdata invalidationacrossdiferentreconfgurationphasesarees­sential.Forexample,iftheassociativityofacacheischanged, thefunctionformappingthememorylocationontothe cachechanges.thedatathatcanbereused acrossreconfgurationneedstobeinvalidatedafterrecon­fguration.Inthispaper,wewillinvestigatethepotential degradationinperformance/energyduetothelossofdata reusedacrossreconfgurationsatloopnestboundaries.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: [19]H.Muuller,S.Tilley,M.Orgun,B.Corrie,and N.Madhavji.AReverseEngineeringEnvironment BasedonSpatialandVisualSoftwareInterconnection Models.InSIGSOFT'92:ProceedingsoftheFifth ACMSIGSOFTSymposiumonSoftwareDevelopment Environments,volume17,pages88{98.ACMSoftware EngineeringNotes,December1992.
Sentence 2: inthecaseofdisproof,onehaseithertorejectthehypoth­esis(andinmostcasesthisdecisionimpliesalsorejectionof thecandidatecomponenttoo)ortocontinuewithanalyzing afreshlyupdatedhypothesisifa(thusweakened)hypoth­esisisstillofinterestrelativetotheproblemspecifcation athand.Ifanexperiment"supportstheinitialhypothe­sis,weareinapragmaticallybetter,butintellectuallyless satisfyingsituation.Thisisbecauseareusablecomponent athandisingeneraltoimmensetofullygraspitbyeither ofthemethodsdiscussedabove[17].againresort­ingtogeneralprinciplesofscientifcdiscovery,weaimnot onlyforavariationoffocallengthbutalsoforavariation ofrepresentationalform.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: 6.1 Chordal Graphs: SSA Programs Methodology We evaluated our approach on chordal inter­ference graphs extracted from the Open64 compiler using the MinIR intermediate representation [18].
Sentence 2: live-range splitting (adding register-to-register moves) to reduce register pressure is sometimes considered in such a framework [12], but it is very hard to control the interplay between spilling and splitting or coalescing.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Similarly, when a peer leaves in the middle of the download, all the links connecting to it are broken.
Sentence 2: to achieve these goals, we design our algorithm to (i) facilitate piece ex­changes between peers within the same cluster, (ii) maxi­mize the distance between the source cluster (to which the advancedpiecesareseeded) andthe targetcluster(forwhich these pieces are of immediate interest) in terms of the play­back positions; and (iii) maximize the number of interme­diary clusters participating to the forward/reverse path.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: There are several Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for pro.t or commercial advantage and that copies bear this notice and the full citation on the .rst page.
Sentence 2: when advice is woven into an envelope, all calls to advised methods are replaced with calls to their corresponding envelopes.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: matches(b.attributes)){ 10 matchInfo.put("score", 0.6); 11 return true; 12 } else if (a.name == b.name and a.operations.
Sentence 2: due to their generic nature, they generally cannot exploit more .ne-grained se­mantics of the metamodel to reduce the number of required comparisons, or to enhance the precision of the results.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Given a database D and a set of condi­tioned active integrity constraints CAIC on D,then (Soundness) for every stable model M of DP(CAIC)D, R(M) is a founded repair for D;  (Completeness) for every founded database repair S for D there exists a stable model M for DP(CAIC)D such that S = R(M).
Sentence 2: in the general case, active integrity constraints can be thought of as a means to de.ne an in­tended repairing strategy.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: To achieve this capability, the components are completed by a dedicated container, which is automatically generated by the platform.
Sentence 2: categories and Subject Descriptors D.2.11[Software Engineering]: Software Architectures General Terms Design  Keywords Component-Based Software Engineering (CBSE), Middle­ware,ServiceComponentArchitecture(SCA),Service-Oriented Architecture(SOA) 1.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Mathematically, that is re.ected in the fact that Setop f has .nite products.
Sentence 2: it would be at­tractive if the pseudo-distributive laws could be used, at the level of generality of the de.nition, to give an elegant joint generalisation of Fiore et al and Tanaka s substitu­tion monoidal structures, which seem in their papers to have arisen from nowhere.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: However, the framework in [5] did not take into account possible specialization of bytecode during link­ing, hence linking was reduced to inter-checking,that is, checking that mutual assumptions on fragments are satis­.ed.
Sentence 2: a class type assignment can be thought of as the type information which can be extracted from a class declaration (hence the metavari­ables .
Relationship: neutral
Domain: Software and its engineering
Sentence 1: 2.2 Information about Components 2.2.1 Just Binaries Thesituationwhereonlybinaries(andsomemoderately tellingnaturallanguagedocumentation)areavailableseems tobethepoorestamongtheoptionstobeconsidered.How-ever,thisisquitecommonforpeopleworkingwithCOTS.
Sentence 2: aBSTRACTION speci­ fication source­ code data Figure3:  COMPREHENSIVENESS vertical partition (slice) ConceptualdimensionsforanalyzingSoftware Debatingfocallength,wethinkaboutthelevelsofspeci­fcation,source-code,anddata-pointsasthreedistinctrep­resentations.Specifcationandsource-codesharetheprop­ertyofcompleteness(andoverwhelmingness),data-points arecomprehensiblebutepisodic.Foreachoftheselevels,we suggestatextualrepresentationasrepresentationalnorm.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: The intuition behind such approaches is Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for pro.t or commercial advantage and that copies bear this notice and the full citation on the .rst page.
Sentence 2: yagg uses the context-free grammar to generate many candidate inputs, which are then val­idated by the context-sensitive checks in the action blocks.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: In our opinion the key factor should be the flexibility.
Sentence 2: the developer can select the suitable hardware platform according his needs (reliability, costs, performance, power consumption, expected lifetime, etc) from a range of microcontrollers or embedded targets based on 8-bits, 16 bits or 32 bits microprocessors, Digital Signal Processors (DSPs), or customized Application-Specific Integrated Circuit (ASIC) for specific-purpose use.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: PECOS is a collaborative project between industrial and research partners that seeks to enable component-based technology for a certain class of embedded systems known as .eld devices by taking into account the speci.c properties of this application area.
Sentence 2: two utility methods are generated to aid in performing these tasks: .import_: imports the value from the out­side world into the local DS (input-port and inout-port only) .export_ : exports the value from the lo­cal DS to the outside world (output-port and inout-port only) 5.3 Executing the System To be able to run the generated code an execution environment is necessary.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: 3.3 PeerSelectionStrategy Based on the established connection between the conges­tion game G (see Eq.
Sentence 2: ourgoalistoquickly reach an approximate Nash equilibrium from any state by enabling each peer to change its strategies for its requests according to a bounded jump rule (see lines 11 and 14 in Algorithm 1), which will be discussed later in this section.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: In the Simulcast approach, each user splits its uplink bandwidth equally among allreceiversandstreamstoeachreceiver separately.
Sentence 2: consequently,themaximumachievable ratesofSimul­cast andMutualcast are all120kbps.Celerity explores all 2-hop delay-bounded trees, and upon convergence utilizes the treesthat only consumebottlenecklinkbandwidth once, achieving ratesthat are closetothe optimal of240kbps.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: In PLDI 05: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, pages 117 128, New York, NY, USA, 2005.
Sentence 2: w o u l d  i + +  b e i n c l u d e d i n t h e l o o p -b o d y o f t h e e q u i v a l e n t f o r -l o o p ?
Relationship: neutral
Domain: Software and its engineering
Sentence 1: 2.3.1 Pipeline Consider twoblocks connectedin apipeline with represen­tations R1 and R2.
Sentence 2: on each execution, a .lter consumes(pops)a .xed number ofitemsfromitsinput channel andproduces(pushes)a .xed number of items to its output channel.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: As particularly addressed by Beyond 3G (B3G) net­works, the recent evolution of mobile networks introduces the convergence of wireless technologies, where several ra­dio interfaces are to be used concurrently.
Sentence 2: we .rst itemize and describe the SDP features that im­pact upon SDPs adequacies against the di.erent radio net­works (§ 3.1) and outline the relevant properties of the ra­dio interfaces (§ 3.2).
Relationship: neutral
Domain: Software and its engineering
Sentence 1: According to Figure 5, there is a potential linear relationship between the mean DOS attackability and the corresponding ACOUC metrics, and there is also an increasing trend between the two variables of interest.
Sentence 2: the characteristics of the machines are as follow: -Host computer: Intel ® Pentium 4 Mobile CPU, 2.0 GHz, 522MB Ram, Win 2000.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: [0, 1] be a small error bound, I. be a trigger condition and s be the observed trace, then the CSLMon semantics is de.ned by a satisfaction relation FT. as follows: and an unsatisfaction relation FT s[t] FT.s[t] true s[t] FT a if a .
Sentence 2: the approach does not present any evaluation of the statistical signi.cance of this ratio.
Relationship: neutral