Search Sciweavers | Sciweavers

2685 search results - page 27 / 537

» A Formal Semantics for SPKI

126

click to vote

CORR
2010
Springer

118views Education» more CORR 2010»

Toward a Formal Semantics for Autonomic Components

15 years 5 months ago

Download www.cs.le.ac.uk

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

claim paper

Read More »

122

click to vote

CJ
2006

45views more CJ 2006»

Formal versus Material Ontologies for Information Systems Interoperation in the Semantic Web

15 years 5 months ago

Download www.loa-cnr.it

Robert M. Colomb

claim paper

Read More »

111

click to vote

ENTCS
2007

72views more ENTCS 2007»

Equivalence of Two Formal Semantics for Functional Logic Programs

15 years 5 months ago

Download gpd.sip.ucm.es

Francisco Javier López-Fraguas, Juan Rodr&i...

claim paper

Read More »

125

click to vote

INFORMS
1998

87views more INFORMS 1998»

On Formal Semantics and Analysis of Typed Modeling Languages: An Analysis of Ascend

15 years 5 months ago

Download www.heinz.cmu.edu

Hemant K. Bhargava, Ramayya Krishnan, Peter Piela

claim paper

Read More »

141

click to vote

ISSE
2010

124views Security Privacy» more ISSE 2010»

Formal executable semantics for conformance in the MDE framework

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers