Sciweavers

2688 search results - page 25 / 538
» A formal semantics for P3P
Sort
View
CORR
2010
Springer
118views Education» more  CORR 2010»
14 years 12 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»
14 years 11 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»
14 years 11 months ago
On Formal Semantics and Analysis of Typed Modeling Languages: An Analysis of Ascend
Hemant K. Bhargava, Ramayya Krishnan, Peter Piela