Sciweavers

2025 search results - page 64 / 405
» Minimal-Cut Model Composition
Sort
View
CL
1999
Springer
13 years 7 months ago
Compositional Petri net models of advanced tasking in Ada-95
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
DKE
1999
90views more  DKE 1999»
13 years 7 months ago
Temporal Semantics of Compositional Task Models and Problem Solving Methods
Frances M. T. Brazier, Jan Treur, Niek J. E. Wijng...
CAISE
2008
Springer
13 years 9 months ago
Modelling Quality and Spatial Characteristics for Autonomous e-Service Peers
In this paper, we present an autonomous and scalable WSMO-based methodology to describe quality of service (QoS) and geographic features of e-services in a peer-to-peer based envir...
Jun Shen, Shuai Yuan