Sciweavers

10072 search results - page 124 / 2015

» Composition of Model Programs

121

JISE
2008

109views more JISE 2008»

An Approach for Synthesis Petri Nets for Modeling and Verifying Composite Web Service

15 years 4 months ago

An Approach for Synthesis Petri Nets for Modeling and Verifying Composite Web Service

Download www.iis.sinica.edu.tw

Zhijun Ding, Junli Wang, Changjun Jiang

claim paper

Read More »

117

Voted

JSW
2008

83views more JSW 2008»

Extending Component Composition Using Model Driven and Aspect-Oriented Techniques

15 years 4 months ago

Extending Component Composition Using Model Driven and Aspect-Oriented Techniques

Download www.academypublisher.com

Pedro J. Clemente, Juan Hernández, Fernando...

claim paper

Read More »

81

TECS
2008

61views more TECS 2008»

Compositional real-time scheduling framework with periodic model

15 years 4 months ago

Compositional real-time scheduling framework with periodic model

Download www.cis.upenn.edu

Insik Shin, Insup Lee

claim paper

Read More »

130

CL
1999
Springer

141views Automated Reasoning» more CL 1999»

Compositional Petri net models of advanced tasking in Ada-95

15 years 4 months ago

Compositional Petri net models of advanced tasking in Ada-95

Download www.cs.uic.edu

Abstract The Ada language has been designed to support development of concurrent and distributed software. While the Ada83 standard defined the basic mechanisms of rendezvous-based...

Ravi K. Gedela, Sol M. Shatz, Haiping Xu

claim paper

Read More »

108

Voted

DKE
1999

90views more DKE 1999»

Temporal Semantics of Compositional Task Models and Problem Solving Methods

15 years 4 months ago

Temporal Semantics of Compositional Task Models and Problem Solving Methods

Download www.cs.vu.nl

Frances M. T. Brazier, Jan Treur, Niek J. E. Wijng...

claim paper

Read More »

« Prev « First page 124 / 2015 Last » Next »