نتایج جستجو برای: land cress barbara verna

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

2006
Kenneth J. Turner Koon Leai Larry Tan

Grid services and web services have similarities but also significant differences. Although conceived for web services, it is seen how BPEL (Business Process Execution Logic) can be used to orchestrate a collection of grid services. It is explained how CRESS (Chisel Representation Employing Systematic Specification) has been extended to describe grid service composition. The CRESS descriptions ...

2003
Kenneth J. Turner

It is convenient to describe telecomms services using a graphical notation that is accessible to non-specialists. However, the notation should also have a formal interpretation for rigorous analysis. CRESS (Chisel Representation Employing Systematic Specification) has been developed for this purpose. A brief overview of CRESS is given. It is explained how features (additional services) can be d...

2003
Kenneth J. Turner

VoiceXML (Voice Extended Markup Language) has become a major force in interactive voice services. However current approaches to creating VoiceXML services are rather low-level. Graphical representations of VoiceXML are close to the textual form of the language, and do not give a high-level description of a service. CRESS (Chisel Representation Employing Systematic Specification) can be used to ...

Journal: :Zootaxa 2013
Shûhei Yamamoto Munetoshi Maruyama

A taxonomic revision of the subgenus Coprochara Mulsant & Rey, 1874 of the genus Aleochara Gravenhorst, 1802 in Japan is presented. The following three species are recognized: Aleochara (C.) verna Say, 1833, A. (C.) binotata Kraatz, 1856 and A. (C.) squalithorax Sharp, 1888, of which A. binotata is new to Japan. All previous records of "A. (C.) bipustulata (Linnaeus, 1760)" should be regarded a...

2009
Koon Leai Larry Tan

This thesis presents an approach to design, specify, validate, verify, implement, and evaluate composed web/grid services. Web and grid services can be composed to create new services with complex behaviours. The BPEL (Business Process Execution Language) standard was created to enable the orchestration of web services, but there have also been investigation of its use for grid services. BPEL s...

2007
Koon Leai Larry Tan Kenneth J. Turner

Service composition allows web services to be combined into new ones. Web service composition is increasingly common in mission-critical applications. It has therefore become important to verify the correctness of web service composition using formal methods. The composition of grid services is a similar but new goal. We have previously developed an abstract graphical notation called CRESS for ...

2010
Koon Leai Larry Tan

This thesis presents an approach to design, specify, validate, verify, implement, and evaluate composed web/grid services. Web and grid services can be composed to create new services with complex behaviours. The BPEL (Business Process Execution Language) standard was created to enable the orchestration of web services, but there have also been investigation of its use for grid services. BPEL s...

2017
Eda Altan Juana Del Valle Mendoza Xutao Deng Tung G Phan Mohammadreza Sadeghi Eric L Delwart

Metagenomic analysis of diarrhea samples revealed the presence of numerous human enteric viruses and small circular Rep-encoding single-stranded DNA (CRESS-DNA) genomes. One such genome was related to smacoviruses, while eight others were related to genomes reported in the feces of different mammals. The tropism of these CRESS-DNA viruses remains unknown.

صفاری, جواد , حیدریان, اسفندیار, قطره سامانی, کیهان, موحد محمدی, غزل,

Background and purpose: Acetaminophen is a routine analgesic and antipyretic agent that in overdose causes liver and kidney necrosis in both humans and animals. The cress (Lepidium sativum L.) contains flavonoid, alkaloid, and antioxidant components. In this study we investigated the hepatic protection of the hydroethanolic extract of cress against hepatotoxicity due to acetaminophen. Material...

Journal: :CoRR 2007
Vita Hinze-Hoare

In a previous paper the CSCR domain was defined. Here this is taken to the next stage where we consider the design of a particular Collaborative Research Environment to support Students and Supervisors CRESS. Following the CSCR structure a preliminary design for CRESS has been established and a portal framework analysis is undertaken in order to determine the most appropriate set of tools for i...

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

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