Sciweavers

2688 search results - page 25 / 538
» A formal semantics for P3P
Sort
View
CORR
2010
Springer
118views Education» more  CORR 2010»
13 years 7 months ago
Toward a Formal Semantics for Autonomic Components
Autonomic management can improve the QoS provided by parallel/distributed applications. Within the CoreGRID Component Model, the autonomic management is tailored to the automatic
Marco Aldinucci, Emilio Tuosto
ENTCS
2007
72views more  ENTCS 2007»
13 years 7 months ago
Equivalence of Two Formal Semantics for Functional Logic Programs
Francisco Javier López-Fraguas, Juan Rodr&i...
INFORMS
1998
87views more  INFORMS 1998»
13 years 7 months ago
On Formal Semantics and Analysis of Typed Modeling Languages: An Analysis of Ascend
Hemant K. Bhargava, Ramayya Krishnan, Peter Piela