Search Sciweavers | Sciweavers

800 search results - page 16 / 160

» Towards a formalization of budgets

click to vote

CORR
2010
Springer

118views Education» more CORR 2010»

Toward a Formal Semantics for Autonomic Components

14 years 10 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 »

click to vote

CORR
2008
Springer

84views Education» more CORR 2008»

TuLiPA: Towards a Multi-Formalism Parsing Environment for Grammar Engineering

14 years 10 months ago

Download www.aclweb.org

In this paper, we present an open-source parsing environment (T

Laura Kallmeyer, Timm Lichte, Wolfgang Maier, Yann...

claim paper

Read More »

click to vote

AO
2006

128views more AO 2006»

Towards ontologies for formalizing modularization and communication in large software systems

14 years 10 months ago

Download www.uni-koblenz.de

Large software systems are modularized in order to improve manageability. The parts of the software system communicate in order to achieve the desired functionality. To better und...

Daniel Oberle, Steffen Lamparter, Stephan Grimm, D...

claim paper

Read More »

click to vote

JODL
2008

74views more JODL 2008»

Towards a digital library theory: a formal digital library ontology

14 years 10 months ago

Download www.dcs.vein.hu

Marcos André Gonçalves, Edward A. Fo...

claim paper

Read More »