نتایج جستجو برای components

تعداد نتایج: 294951  

1996
Yatsuka Nakamura,

In this paper G1 will denote a non empty topological space and V , A will denote subsets of the carrier of G1. Let G1 be a non empty topological structure and let V be a subset of the carrier of G1. The functor Component(V ) yields a subset of the carrier of G1 and is defined by the condition (Def. 1). (Def. 1) There exists a family F of subsets of G1 such that for every subset A of the carrier...

2000
Luigia Petre,

Component-based software engineering means constructing new systems from already existing, service-providing components. Object-based software engineering means constructing a new system in terms of interacting, distinct units of information and services called objects. Both components and objects have encapsulation properties and are accessed via well-de ned interfaces. Both components and obj...

Journal: :Graphs and Combinatorics 2015
Changhong Lu, Kan Wang, Xingxing Yu,

A graph G = (V, E) is called factor-critical if G = ∅ and G − v has a perfect matching for every vertex v ∈ V (G). A factor-critical graph G is tight (anti-tight, respectively) if for any v ∈ V (G), any perfect matching M in G − v, and any e ∈ M , |N (v) ∩ V (e)| = 1 (|N (v) ∩ V (e)| = 2, respectively), where N (v) denotes the neighborhood of v and V (e) denotes the set of vertices incident wit...

2006
John Brennan,

The fundamental concept of simulation dates back thousands of years to the ancient Egyptians and the famous Chinese war strategist SunTzu. Notwithstanding these initial attempts at replicating ancient battlefields, current day machine-based modelling and simulation (M&S) found its roots in the early 20 Century. During this dawning era, the majority of M&S efforts were carried out in isolation. ...

2006
Bojan Orlic, Jan F. Broenink,

SystemCSP is a graphical modeling language based on both CSP and concepts of component-based software development. The component framework of SystemCSP enables specification of both interaction scenarios and relative execution ordering among components. Specification and implementation of interaction among participating components is formalized via the notion of interaction contract. The used a...

2001
Neelam Soundarajan, Benjamin Tyler,

Our goal is to investigate specification-based approaches to testing OO components. That is, given a class C and its specification, how do we test C to see if it meets its specification? Two important requirements that we impose on the testing approach are that it must not require access to the source code of the class under test; and that it should enable us to deal incrementally with derived ...

2004
Steve Reeves, David Streader,

The operational definition of observational congruence in CCS and ACP can be split into two parts: one, the definition of an observational semantics (i.e. abstraction); and two, the definition of a strong congruence. In both cases this “separation of concerns” has been applied with abstraction that is implicitly “fair”. We define a novel (if obvious) observational semantics with no implicit “fa...

2002
Amit Friedman,

The Non Accelerating In‡ation Rate of Unemployment (NAIRU) is estimated for the post-stabilization period, as an unobserved stochastic variable, using state-of-the-art State Space Models. The NAIRU is identi...ed by a Phillips curve equation, and is assumed to follow a random walk. The basic model is augmented by an equation that captures the persistence of the unemployment gap. We also use the...

2006
Markus Lumpe, M. Lumpe,

We are advocating a component-oriented software development approach that provides support for a clear separation between the computational and the compositional entities of an application. This principle is best captured by the application building paradigm “Applications = Components + Scripts.” However, the biggest obstacle for a successful use of this maxim originates from the choice of the ...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید