Publish in OALib Journal

ISSN: 2333-9721

APC: Only $99


Any time

2019 ( 1 )

2018 ( 1 )

2017 ( 1 )

2015 ( 16 )

Custom range...

Search Results: 1 - 10 of 342 matches for " Leonidas Lampropoulos "
All listed articles are free for downloading (OA Articles)
Page 1 /342
Display every page Item
Automatic WSDL-guided Test Case Generation for PropEr Testing of Web Services
Leonidas Lampropoulos,Konstantinos Sagonas
Electronic Proceedings in Theoretical Computer Science , 2012, DOI: 10.4204/eptcs.98.3
Abstract: With web services already being key ingredients of modern web systems, automatic and easy-to-use but at the same time powerful and expressive testing frameworks for web services are increasingly important. Our work aims at fully automatic testing of web services: ideally the user only specifies properties that the web service is expected to satisfy, in the form of input-output relations, and the system handles all the rest. In this paper we present in detail the component which lies at the heart of this system: how the WSDL specification of a web service is used to automatically create test case generators that can be fed to PropEr, a property-based testing tool, to create structurally valid random test cases for its operations and check its responses. Although the process is fully automatic, our tool optionally allows the user to easily modify its output to either add semantic information to the generators or write properties that test for more involved functionality of the web services.
Testing Noninterference, Quickly
Catalin Hritcu,Leonidas Lampropoulos,Antal Spector-Zabusky,Arthur Azevedo de Amorim,Maxime Dénès,John Hughes,Benjamin C. Pierce,Dimitrios Vytiniotis
Computer Science , 2014,
Abstract: Information-flow control mechanisms are difficult both to design and to prove correct. To reduce the time wasted on doomed proof attempts due to broken definitions, we advocate modern random testing techniques for finding counterexamples during the design process. We show how to use QuickCheck, a property-based random-testing tool, to guide the design of increasingly complex information-flow abstract machines, leading up to a sophisticated register machine with a novel and highly permissive flow-sensitive dynamic enforcement mechanism that is sound in the presence of first-class public labels. We find that both sophisticated strategies for generating well-distributed random programs and readily falsifiable formulations of noninterference properties are critically important for efficient testing. We propose several approaches and evaluate their effectiveness on a collection of injected bugs of varying subtlety. We also present an effective technique for shrinking large counterexamples to minimal, easily comprehensible ones. Taken together, our best methods enable us to quickly and automatically generate simple counterexamples for more than 45 bugs. Moreover, we show how testing guides the discovery of the sophisticated invariants needed for the noninterference proof of our most complex machine.
The Distribution of the Stress Protein HSP70 in the Cerebellum of Patients with Schizophrenia  [PDF]
Makris Leonidas
Neuroscience & Medicine (NM) , 2012, DOI: 10.4236/nm.2012.34045
Abstract: Data accumulated from neuro-imaging, clinical and morphological studies suggest that the cerebellum is involved in cognitive functions and thus may be important in the etiopathogenesis of schizophrenia, since patients show cognitive abnormalities. In the present study, we have attempted to localize cellular metabolic dysfunctions applying the immunohistochemical and Western blot method to demonstrate the expression of the stress protein HSP70, which is a marker of cellular metabolic dysfunction in the brain. We studied the post mortem brains’ cerebellum of 12 normal controls and 10 schizophrenics. We have used the polyclonal antibody rabbit anti-HSP70 on paraffin sections as well as on nitrocellulose membranes. Bound antibody was detected using the indirect method of streptavidin-peroxidase-DAB. The results in the cerebellum of controls showed intense HSP70 immunoreaction in the synaptic glomeruli of the granular cell layer, in the cytoplasm and dendrites of Purkinje cells. In the same areas of the cerebellum of schizophrenics the HSP70 immunoreactivity was minimal. These results suggest that the reduced levels of HSP70 in the cerebellum are likely to contribute synergistically to the cognitive dysfunction in schizophrenia. This may suggest abnormality of protective neural mechanisms in such pathological conditions.
Radio Access Selection in Integrated UMTS/WLAN Networks  [PDF]
Int'l J. of Communications, Network and System Sciences (IJCNS) , 2009, DOI: 10.4236/ijcns.2009.29094
Abstract: Heterogeneous networks combine different access technologies. An important problem in such networks is the selection of the most suitable radio access network. To perform this task efficiently, a lot of information is required, such as signal strength, QoS, monetary cost, battery consumption, and user preferences. These are well known issues and a considerable effort has been made to tackle them using a number of solutions. These efforts improve the performance of vertical handover but also add considerable complexity. In this paper, we introduce an enhanced algorithm for radio access network selection, which is simple, flexible and applicable to future mobile systems. Its main characteristics are the distribution of the radio access selection process among the mobile terminal and the core network, the evaluation of mobile terminal connections separately and the primary role of user preferences in the final decision. The performance of the algorithm is evaluated through simulation results, which show that the algorithm provides a high rate of user satisfaction. It decreases the messages required for the vertical handovers in the whole network and it alleviates the core network from the processing of unnecessary requests.
Surfactant Adsorbed at the Oil-Water Interface and Its Elimination  [PDF]
Linfeng Yang, Leonidas Perez Estrada
Journal of Geoscience and Environment Protection (GEP) , 2015, DOI: 10.4236/gep.2015.32007

Surfactants are widely used in the petroleum industry as one kind of Enhanced Oil Recovery methods (EOR). The oil sands mines in Northern Alberta are the largest one in the world. Due to using sodium hydroxide in bitumen extraction process, there are a lot of surfactant molecules in the tailing water. The surfactants from oil sands industry have brought a potential threat to the environment and human health. Depending on the performance of surfactant at the interface, this work focuses on removing these harmful surfactants from the tailing water and not bringing other possible hazardous substances. Moreover, a mathematical model is built to calculate the removal efficiency of the surfactant. The time required for removing the surfactant is determined experimentally. In conclusion, most of surfactant molecules are adsorbed at the oil/water interface. The fraction of the surfactant staying at the oil/water interface is high. Most of the surfactants in tailing water can be eliminated. The time of surfactant migration can be used for setting up the update time of the oil film in the automatic instrument, which can be designed in the future.

Diamela Eltit: El ensayo como estrategia narrativa
Atenea (Concepción) , 2004, DOI: 10.4067/S0718-04622004049000008
Abstract: the central hypothesis of this critical text is that eltit?s novels are permeated by a strategy: that of the essay, as understood in the etymological sense of the word, as an "attempt" or "experiment". nothing is definitive in these novels, neither the subject nor the discourse: the subject is always a figure in movement, in transit and the discourse constructs and reconstructs itself right before the reader?s eyes. without a doubt this is a "post-vanguard" strategy or, also, "post-modern", whose meaning the critical text tries to situate in the context of the contemporary chilean novel. even when the experimental strategy runs through all of eltit?s narrative order, the quotes privilege the novel por la patria.
Money and War Murray Rothbard’s A History of Money and Banking in the United States
Leonidas Zelmanovitz
Libertarian Papers , 2010,
Abstract: This paper is a presentation and an interpretation of Murray Rothbard’s views on the relation between the fiscal necessities brought by war and interventionism in Money and Banking as read from his book A History of Money and Banking in the United States.
Moderni j jausm sociogenez : meil ir draugyst Miguelio de Cervanteso “Don Kichote” ir Williamo Shakespeare’o “Romeo ir D uljetoje” | The sociogenesis of modern feelings: love and friendship in Miguel de Cervantes’ “Don Quixote” and William Shakespeare’s “Romeo and Juliet”
Leonidas Donskis
Literatura , 2006,
Abstract: William Shakespeare’s “Romeo and Juliet” reveals modern feelings – love and friendship – and their sociogenesis. Love and friendship emerge here as the feelings of a modern person. “Don Quixote of La Mancha”, the great novel by Miguel de Cervantes Saavedra, to this day keeps providing new insights and hot moral and philosophical issues for debate. “Don Quixote” is closely related to the great paradoxes of life: how to sustain our moral code in a world where morality is vanishing; how to sustain noble-mindedness and noble behaviour in a world that mocks and despises an individual precisely because he tries to sustain such behaviour. The novel depicts a dramatic crossroads of two epochs – the end of the Middle Ages and the beginning of modern times. In doing so, it offers philosophical, moral and political implications for societal existence: the loss of the moral code of chivalry and the end of medieval idealism. The psychogenesis and sociogenesis of the most intimate aspects of human exchanges – love and friendship – is approached, in the article, from the perspective of the history of consciousness.
Miasis intestinal
Revista chilena de pediatría , 1958,
Gargolismo o enfermedad de hurler
Revista chilena de pediatría , 1957,
Page 1 /342
Display every page Item

Copyright © 2008-2017 Open Access Library. All rights reserved.