Sciweavers

2025 search results - page 64 / 405
» Minimal-Cut Model Composition
Sort
View
CL
1999
Springer
14 years 9 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»
14 years 9 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
14 years 11 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