912 research outputs found
Specifying ODP computational objects in Z
The computational viewpoint contained within the Reference Model of Open Distributed Processing (RM-ODP) shows how collections of objects can be configured within a distributed system to enable interworking. It prescribes certain capabilities that such objects are expected to possess and structuring rules that apply to how these objects can be configured with one another. This paper highlights how the specification language Z can be used to formalise these capabilities and the associated structuring rules, thereby enabling specifications of ODP systems from the computational viewpoint to be achieved
Bibliography of technical reports, 1978
The technical reports prepared by the Woods Hole Oceanographic
Institution in 1978 are listed in this bibliography
Ash grains of the 1991 Mt. Pinatubo eruption as a tracer in Rose Bengal stained deep sea agglutinated foraminifera: How old is Freddy?
The use of volcanic ash particles (including dark-coloured grains) by agglutinated foraminifera that survived the 1991 eruption of Mt Pinatubo volcano provides a useful tracer to help determine growth rates and longevity in the deep sea. In the case of a specimen of Cyclammina pusilla Brady, the rate of chamber addition in this Rose Bengal stained sub-adult individual is three chambers over a timespan of five and one-half years
An Overview of the Microgravity Science Glovebox (MSG) Facility, and the Gravity-Dependent Phenomena Research Performed in the MSG on the International Space Station (ISS)
No abstract availabl
Specifying ODP Computational Objects in Z
The computational viewpoint contained within the Reference Model of Open Distributed Processing (RM-ODP) shows how collections of objects can be configured within a distributed system to enable interworking. It prescribes certain capabilities that such objects are expected to possess and structuring rules that apply to how these objects can be configured with one another. This paper highlights how the specification language Z can be used to formalise these capabilities and the associated structuring rules, thereby enabling specifications of ODP systems from the computational viewpoint to be achieved
What does it take to learn a word?
Vocabulary learning is deceptively hard, but toddlers often make it look easy. Prior theories proposed that children’s rapid acquisition of words is based on language-specific knowledge and constraints. In contrast, more recent work converges on the view that word learning proceeds via domain-general processes that are tuned to richly structured—not impoverished—input. We argue that new theoretical insights, coupled with methodological tools, have pushed the field toward an appreciation of simple, content-free processes working together as a system to support the acquisition of words. We illustrate this by considering three central phenomena of early language development: referential ambiguity, fast-mapping, and the vocabulary spurt
Bridging the Research/Teaching Divide with DAH and SoTL-AH
This paper explores the potential for rigorous pedagogical scholarship to complement developments in digital art history (DAH). In addition to introducing ideas and methods that characterize scholarship of teaching and learning (SOTL) in higher education, we focus on two major themes: how digital tools and techniques can support robust scholarship of teaching and learning in art history (SoTL-AH) and ways that SoTL-AH can be used to evaluate and demonstrate the impact of DAH projects in the classroom and the public realm. Our goal is to encourage greater exchange between these two emerging fields that can together advance art historical study
Problems and Paradoxes in Economic and Social Policies of Modern Welfare States
Relationships between economic growth rates and the expansion of welfare expenditures in Western nations are examined. The point is made that real gross national product grew rapidly from about 1959 until about 1973, but that since 1973 it has either grown slowly or not at all, while welfare expenditures and entitlements have continued to escalate. Forecasts of a variety of important economic variables in these countries for the near term are presented and discussed, and it is concluded that despite the current modest economic improvement, difficulties in funding welfare states will continue throughout the remainder of the 1980s. Some consideration is given to problems in welfare states to the end of the century, and further difficulties in funding and managing these states are forecast for this period as well. Problems of welfare states are not regarded as short-term by-products of maladjustments experienced in the Western world in the last 10 years but rather as long-term characteristics.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/67103/2/10.1177_000271628547900102.pd
Requirements modelling and formal analysis using graph operations
The increasing complexity of enterprise systems requires a more advanced
analysis of the representation of services expected than is currently possible.
Consequently, the specification stage, which could be facilitated by formal
verification, becomes very important to the system life-cycle. This paper presents
a formal modelling approach, which may be used in order to better represent
the reality of the system and to verify the awaited or existing system’s properties,
taking into account the environmental characteristics. For that, we firstly propose
a formalization process based upon properties specification, and secondly we
use Conceptual Graphs operations to develop reasoning mechanisms of verifying
requirements statements. The graphic visualization of these reasoning enables us
to correctly capture the system specifications by making it easier to determine if
desired properties hold. It is applied to the field of Enterprise modelling
- …