900 resultados para type systems, join calculus, ownership types, process calculus


Relevância:

40.00% 40.00%

Publicador:

Relevância:

40.00% 40.00%

Publicador:

Relevância:

40.00% 40.00%

Publicador:

Relevância:

40.00% 40.00%

Publicador:

Resumo:

While sound and video may capture viewers' attention, interaction can captivate them. This has not been available prior to the advent of Digital Television. In fact, what lies at the heart of the Digital Television revolution is this new type of interactive content, offered in the form of interactive Television (iTV) services. On top of that, the new world of converged networks has created a demand for a new type of converged services on a range of mobile terminals (Tablet PCs, PDAs and mobile phones). This paper aims at presenting a new approach to service creation that allows for the semi-automatic translation of simulations and rapid prototypes created in the accessible desktop multimedia authoring package Macromedia Director into services ready for broadcast. This is achieved by a series of tools that de-skill and speed-up the process of creating digital TV user interfaces (UI) and applications for mobile terminals. The benefits of rapid prototyping are essential for the production of these new types of services, and are therefore discussed in the first section of this paper. In the following sections, an overview of the operation of content, service, creation and management sub-systems is presented, which illustrates why these tools compose an important and integral part of a system responsible of creating, delivering and managing converged broadcast and telecommunications services. The next section examines a number of metadata languages candidates for describing the iTV services user interface and the schema language adopted in this project. A detailed description of the operation of the two tools is provided to offer an insight of how they can be used to de-skill and speed-up the process of creating digital TV user interfaces and applications for mobile terminals. Finally, representative broadcast oriented and telecommunication oriented converged service components are also introduced, demonstrating how these tools have been used to generate different types of services.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

With a steady increase of regulatory requirements for business processes, automation support of compliance management is a field garnering increasing attention in Information Systems research. Several approaches have been developed to support compliance checking of process models. One major challenge for such approaches is their ability to handle different modeling techniques and compliance rules in order to enable widespread adoption and application. Applying a structured literature search strategy, we reflect and discuss compliance-checking approaches in order to provide an insight into their generalizability and evaluation. The results imply that current approaches mainly focus on special modeling techniques and/or a restricted set of types of compliance rules. Most approaches abstain from real-world evaluation which raises the question of their practical applicability. Referring to the search results, we propose a roadmap for further research in model-based business process compliance checking.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Pastures containing hay-type and grazing tolerant alfalfa hybrids were grazed in a season-long or complementary rotational stocking system with Nfertilized smooth bromegrass. The pastures were stocked at a seasonal density of .8 cow-calf pairs per acre for 120 days in 1998 and 141 days in 1999. Pastures were intensively managed by daily stripstocking with the assumptions that 50% of live forage was available and daily live dry matter consumption of each cow-calf pair was 3.5% of the cow’s body weight. First-cutting forage was harvested as hay from 40% of the pasture acres to remove excess forage growth early in the grazing season. Grazing occurred on the remaining 60% of each pasture for the first 44 and 54 days and 100% of each pasture after days 45 and 55 in 1998 and 1999, respectively. Proportions of ‘Amerigraze’ and ‘Affinity’ alfalfa in the live forage dry matter decreased by 70% and 55% in pastures stocked season-long and by 60% and 42% in pastures used for complementary stocking (alfalfa type, p<.05; grazing management, p<.05) in 1998, but decreased by a mean of 72% and was unaffected by hybrid or stocking system in 1999. Cows grazing either alfalfa hybrid by either grazing system had greater weight gains during the breeding and overall grazing seasons and greater increases in body condition score pre-breeding and during the breeding season than the cows that grazed smooth bromegrass for the entire season in 1998. Also, cows grazing either alfalfa hybrid in the season-long system had greater breeding season increases in body condition score than cows grazing alfalfa in the complementary system with smooth bromegrass in 1998. Cows grazing in the season-long alfalfa system had greater prebreeding season weight (p<.10) increases and condition score (p<.05) increases than cows grazing alfalfa in the complementary system in 1999. Daily and seasonal body weight gains of calves were not affected (p>.10) by the presence of alfalfa in 1998 or by alfalfa type and grazing management in 1998 and 1999. Total animal production (cow and calf) in 1998 was greater (p<.10) from the season-long alfalfa pastures compared with the complementary stocked pastures. Total (p<.10) and live (p<.05) forage masses, estimated by monthly clippings, were greater in September of 1998 from the season-long alfalfa pastures than pastures using alfalfa for complementary stocking. Total (p<.10) and live (p<.05) forage masses were greater in August of 1999 from season-long alfalfa pastures than pastures using alfalfa for complementary stocking.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Pastures containing hay-type and grazing tolerant alfalfa hybrids were grazed in a season-long or complimentary rotational stocking system with Nfertilized smooth bromegrass. The pastures were stocked at a seasonal density of .8 cow-calf pairs per acre for 120 days. Pastures were intensively managed by daily strip-stocking with the assumptions that 50% of live forage was available and daily live dry matter consumption of each cow-calf pair was 3.5% of the cow’s body weight. First-cutting forage was harvested as hay from 40% of pasture acres to remove excess forage growth early in the grazing season. Forage was grazed from the remaining 60% of each pasture for the first 44 days of the experiment and then from the entire pasture thereafter. Live forage yields, estimated by monthly clippings, were greater in May and September on the season-long alfalfa pastures compared with the complementary pastures and on the alfalfa pastures compared with the N-fertilized smooth bromegrass pastures. The proportions of legumes in the live dry matter in pastures with grazing tolerant and hay-type alfalfas in the season-long grazing systems declined by 70% and 50%, respectively, in the 120 day trial. The proportions of legumes in the live dry matter in pastures with grazing tolerant and the hay-type alfalfas in the complementary grazing system declined 60% and 42%, respectively, in the 120 day trial. Cows grazing either alfalfa hybrid by either management system had greater weight gains during the breeding and grazing seasons and greater increases in body condition score prebreeding and during the breeding season than the cows that grazed N-fertilized smooth bromegrass for the entire season. Also, cows grazing either alfalfa in the season-long system had greater breeding season increases in body condition score than cows grazing alfalfa in the complementary system with N-fertilized smooth bromegrass. Daily gains and seasonal gains of calves from cows grazing the alfalfa pastures tended to be greater than those grazing N-fertilized smooth bromegrass. Within alfalfa treatments, calves of cows grazing alfalfa pastures in the season-long system tended to produce more pounds per acre than those of cows grazing alfalfa in the complementary systems.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Despite promising cost saving potential, many offshore software projects fail to realize the expected benefits. A frequent source of failure lies in the insufficient transfer of knowledge during the transition phase. Former literature has reported cases where some domains of knowledge were successfully transferred to vendor personnel whereas others were not. There is further evidence that the actual knowledge transfer processes often vary from case to case. This raises the question whether there is a systematic relationship between the chosen knowledge transfer process and know-ledge transfer success. This paper introduces a dynamic perspective that distinguishes different types of knowledge transfer processes explaining under which circumstances which type is deemed most appropriate to successfully transfer knowledge. Our paper draws on knowledge transfer literature, the Model of Work-Based Learning and theories from cognitive psychology to show how characteristics of know-ledge and the absorptive capacity of knowledge recipients fit particular knowledge transfer processes. The knowledge transfer processes are conceptualized as combinations of generic knowledge transfer activities. This results in six gestalts of know-ledge transfer processes, each representing a fit between the characteristics of the knowledge process and the characteristics of the knowledge to be transferred and the absorptive capacity of the knowledge recipient.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

In this paper we prove a Lions-type compactness embedding result for symmetric unbounded domains of the Heisenberg group. The natural group action on the Heisenberg group TeX is provided by the unitary group U(n) × {1} and its appropriate subgroups, which will be used to construct subspaces with specific symmetry and compactness properties in the Folland-Stein’s horizontal Sobolev space TeX. As an application, we study the multiplicity of solutions for a singular subelliptic problem by exploiting a technique of solving the Rubik-cube applied to subgroups of U(n) × {1}. In our approach we employ concentration compactness, group-theoretical arguments, and variational methods.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

This paper develops a process model of how and why complementarity and substitution form over time between contractual and relational governance in the context of information systems outsourcing. Our analysis identifies four distinct process patterns that explain this formation as the outcome of interaction processes between key elements of both contractual and relational governance. These patterns unveil the dynamic nature of complementarity and substitution. In particular, we show that the relationship between contractual and relational governance oscillates between complementarity and substitution. Those oscillations are triggered mainly by three types of contextual events (goal fuzziness, goal conflict, and goal misalignment). Surprisingly, substitution of informal control did not occur as an immediate reaction to external events but emerged as a consequence of preceding complementarity. Thus, our study challenges the prevailing view of an either/or dichotomy of complementarity and substitution by showing that they are causally connected over time.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Manure scrapers are widely used in dairy cow loose-housing systems. In order to evaluate the effects of the scrapers on the cows, we assessed their impact on the animals' cardiac activity, feeding behaviour, and the behavioural reactions of cows confronted with different types of scrapers. In part I of the study, we measured cardiac activity (mean R–R interval and RMSSD, a parameter of heart-rate variability) whilst observing the behaviour of 29 focal cows on three farms during situations with and without active manure scrapers. Lower RMSSD values were observed during scraping events while cows were either lying, standing or walking in the alleyway, standing completely in the lying cubicle, or standing half in the lying cubicle (P=0.03), but only tended to differ while directly confronted with the scraper (P=0.06). This indicates that dairy cows experienced at least some mild stress during manure-scraping events. In part II, the feeding behaviour of 12 cows on each of two farms was recorded by means of a jaw-movement sensor and compared between situations with the manure-scraping event following forage provision either within or outside the main daily feeding period (i.e. within 1 or after 2 h from forage provisioning, respectively). The duration of night-time feeding (P=0.049) and the number of feeding bouts (P=0.036) were higher when a manure-scraping event took place within the main daily feeding period, indicating that the cows' feeding behaviour had been disturbed. In part III, we observed the cows' behaviour on 15 farms during eight manure scraping events per farm, where each of five farms had one of three different scraper types. We assessed the cows' immediate reactions when confronted with the scraper. In addition, we recorded the number of animals present in the alleyways before and after the manure-scraping events. The more cows that were present in the alleyways before the scraping event, the lower the proportion of cows showing direct behavioural reactions both with (P=0.017) and without (P=0.028) scraper contact, and the higher the number of cows that left the alleyways (P<0.001). Scraper type did not influence the proportion of cows showing behavioural reactions. In conclusion, our results show that dairy cows perceive the manure-scraping event negatively in some situations, that feeding behaviour may be disturbed when scrapers are active during the main feeding period, and that cows avoid the scraper during crowded situations.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

The current state of health and biomedicine includes an enormity of heterogeneous data ‘silos’, collected for different purposes and represented differently, that are presently impossible to share or analyze in toto. The greatest challenge for large-scale and meaningful analyses of health-related data is to achieve a uniform data representation for data extracted from heterogeneous source representations. Based upon an analysis and categorization of heterogeneities, a process for achieving comparable data content by using a uniform terminological representation is developed. This process addresses the types of representational heterogeneities that commonly arise in healthcare data integration problems. Specifically, this process uses a reference terminology, and associated "maps" to transform heterogeneous data to a standard representation for comparability and secondary use. The capture of quality and precision of the “maps” between local terms and reference terminology concepts enhances the meaning of the aggregated data, empowering end users with better-informed queries for subsequent analyses. A data integration case study in the domain of pediatric asthma illustrates the development and use of a reference terminology for creating comparable data from heterogeneous source representations. The contribution of this research is a generalized process for the integration of data from heterogeneous source representations, and this process can be applied and extended to other problems where heterogeneous data needs to be merged.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

To determine the potential inhalatory risk posed by carbon nanotubes (CNTs), a tier-based approach beginning with an in vitro assessment must be adopted. The purpose of this study therefore was to compare 4 commonly used in vitro systems of the human lung (human blood monocyte-derived macrophages [MDM] and monocyte-derived dendritic cells [MDDC], 16HBE14o- epithelial cells, and a sophisticated triple cell co-culture model [TCC-C]) via assessment of the biological impact of different CNTs (single-walled CNTs [SWCNTs] and multiwalled CNTs [MWCNTs]) over 24h. No significant cytotoxicity was observed with any of the cell types tested, although a significant (p < .05), dose-dependent increase in tumor necrosis factor (TNF)-α following SWCNT and MWCNT exposure at concentrations up to 0.02mg/ml to MDM, MDDC, and the TCC-C was found. The concentration of TNF-α released by the MDM and MDDC was significantly higher (p < .05) than the TCC-C. Significant increases (p < .05) in interleukin (IL)-8 were also found for both 16HBE14o- epithelial cells and the TCC-C after SWCNTs and MWCNTs exposure up to 0.02mg/ml. The TCC-C, however, elicited a significantly (p < .05) higher IL-8 release than the epithelial cells. The oxidative potential of both SWCNTs and MWCNTs (0.005-0.02mg/ml) measured by reduced glutathione (GSH) content showed a significant difference (p < .05) between each monoculture and the TCC-C. It was concluded that because only the co-culture system could assess each endpoint adequately, that, in comparison with monoculture systems, multicellular systems that take into consideration important cell type-to-cell type interactions could be used as predictive in vitro screening tools for determining the potential deleterious effects associated with CNTs.