this paper shows the role of the general dynamic model in empirical research of production technology in agriculture. the model is a first order autoregressive multivariate specification, first developed by anderson and blundell. this model is general enough to nest several simpler dynamic as well as static models within it. therefore, it provides a framework for applying classical testing ...

This paper is concerned with building large distributed real-time systems out of computational components that interact by the exchange of messages across linking interfaces (LIFs). The notions of an operational and a meta-level specification of a LIF of a component are introduced. The operational specification is concerned with the data structures and the timing of the messages that are exchan...

A major challenge of the OMG Model-Driven Architecture (MDA) initiative is to be able to define and execute transformations of models. Such transformations may be defined in several ways and with various motivations. Our motivation is to specify model transformations independently of any transformation technology. To achieve this goal, we propose to define transformation contracts. We argue tha...

Consider a production system where products are produced continuously and screened for conformance with their specification limits. When product performance falls below a lower specification limit or above an upper limit, a decision is made to rework or scrap the product. The majority of the process target models in the literature deal with a single-stage production system. In the real-world in...

The Extensible Authentication Protocol (EAP) allows a server to request authentication information from a client. In order to transport EAP messages over an IP network, the Protocol for Carrying Authentication for Network Access (PANA) has been developed. This paper applies a protocol engineering methodology using Coloured Petri nets (CPNs) as a step towards formally verifying the design of PAN...

Introduction: gender specification among the forensic dentistry and human anthropology, is mainly based on anatomic variations. Due to racial differences and environmental factors such as time of tooth extraction, osteoporosis, dietary habits, usage of dental prosthetics and periodontal diseases, there will be different results achieved. The purpose of this study is to classify the gender speci...

Dialogue in commercial games is largely created by teams of writers and designers who hand-author every line of dialogue and hand-specify the dialogue structure using finite state machines or branching trees. For dialogue heavy games, such as role playing games with significant NPC interactions, or emerging genres such as interactive drama, such hand specification significantly limits the playe...

A major challenge of the OMG Model-Driven Architecture (MDA) initiative is to be able to define and execute transformations of models. Such transformations may be defined in several ways and with various motivations. Our motivation is to specify model transformations independently of any transformation technology. To achieve this goal, we propose to define transformation contracts. We argue tha...

Understanding the context of a software system during requirements specification is a difficult task. Sometimes application domains are very complex, other times the limits of the application are fuzzy. Thus, it is difficult to determine which are requirements of the software system and which are beyond its scope. In such situations technologically outstanding software systems can be built, but...

An efficient and mathematically rigorous translation from Live Sequence Charts (LSCs) to temporal logic is essential to providing an end-to-end specification and verification method for System on Chip (SoC) protocols. Without mathematical rigor, no translation can be trusted to completely represent the LSC specification, while inefficiency renders even provably sound translations useless in ver...