Sciweavers

800 search results - page 16 / 160
» Towards a formalization of budgets
Sort
View
76
Voted
CORR
2010
Springer
118views Education» more  CORR 2010»
15 years 9 days 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
66
Voted
CORR
2008
Springer
84views Education» more  CORR 2008»
15 years 8 days ago
TuLiPA: Towards a Multi-Formalism Parsing Environment for Grammar Engineering
In this paper, we present an open-source parsing environment (T
Laura Kallmeyer, Timm Lichte, Wolfgang Maier, Yann...
101
Voted
AO
2006
128views more  AO 2006»
15 years 7 days ago
Towards ontologies for formalizing modularization and communication in large software systems
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...
77
Voted
JODL
2008
74views more  JODL 2008»
15 years 5 days ago
Towards a digital library theory: a formal digital library ontology
Marcos André Gonçalves, Edward A. Fo...
ENTCS
2007
73views more  ENTCS 2007»
15 years 4 days ago
Towards the Integration of Visual and Formal Models for GUI Testing
Ana Paiva, João C. P. Faria, Raul F. A. M. ...