Sciweavers

4767 search results - page 629 / 954
» Structures for Abstract Rewriting
Sort
View
CDC
2010
IEEE
126views Control Systems» more  CDC 2010»
15 years 1 months ago
Distance measures for linear systems with multiplicative and inverse multiplicative uncertainty characterisation
Abstract--Input multiplicative and output inverse multiplicative uncertainty characterisations are common in the robust control literature. We present specialised distance measures...
Sönke Engelken, Alexander Lanzon, Sourav Patr...
CSMR
2010
IEEE
15 years 1 months ago
Under and Over Approximation of State Models Recovered for Ajax Applications
Abstract--In contrast to conventional multi-page Web applications, an Ajax application is developed as a single-page application in which content and structure are changed at runti...
Alessandro Marchetto, Paolo Tonella, Filippo Ricca
SYNTHESE
2011
79views more  SYNTHESE 2011»
15 years 1 months ago
New life for Carnap's Aufbau?
Rudolf Carnap’s Der logische Aufbau der Welt (The Logical Structure of the World) is generally conceived of as being the failed manifesto of logical positivism. In this paper we...
Hannes Leitgeb
TELSYS
2011
212views Education» more  TELSYS 2011»
15 years 1 months ago
Survivability and reliability of a composite-star transport network with disconnected core switches
Abstract This paper deals with the design and dimensioning of a novel survivable optical network structure, called Petaweb, that can reach a total capacity of several Pb/s (1015 bi...
Stefano Secci, Brunilde Sansò
ENASE
2010
121views Hardware» more  ENASE 2010»
15 years 1 months ago
Generation Mechanisms in Graphical Template Language
Textual models in MDD typically are generated in their concrete syntax using a template based language. On the contrary, graphical models as a generated in abstract syntax and then...
Elina Kalnina, Audris Kalnins, Edgars Celms, Agris...