Sciweavers

7918 search results - page 81 / 1584
» Model Composition Directives
Sort
View
49
Voted
TECS
2008
61views more  TECS 2008»
15 years 15 days ago
Compositional real-time scheduling framework with periodic model
Insik Shin, Insup Lee
95
Voted
CL
1999
Springer
15 years 8 days 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
79
Voted
DKE
1999
90views more  DKE 1999»
15 years 8 days ago
Temporal Semantics of Compositional Task Models and Problem Solving Methods
Frances M. T. Brazier, Jan Treur, Niek J. E. Wijng...
111
Voted
SIES
2010
IEEE
14 years 10 months ago
Compositional Translation of Simulink Models into Synchronous BIP
Vassiliki Sfyrla, Georgios Tsiligiannis, Iris Safa...