16 Hits in 3.7 sec

Developing Honest Java Programs with Diogenes [chapter]

Nicola Atzei, Massimo Bartoletti
2016 Lecture Notes in Computer Science  
In this paper we present Diogenes, a suite of tools which supports programmers in writing honest Java programs.  ...  However, developing honest programs is not an easy task, because contracts must be respected even in the presence of failures (whether accidental or malicious) of the context.  ...  Developing honest Java programs with Diogenes  ... 
doi:10.1007/978-3-319-39570-8_4 fatcat:7wyw5kfpzvfehbr3bsd6jwofom

Honesty by typing

Massimo Bartoletti, Alceste Scalas, Emilio Tuosto, Roberto Zunino, Alexandra Silva
2017 Logical Methods in Computer Science  
Type safety guarantees that a typeable process is honest - that is, it abides by the contracts it has stipulated in all possible contexts, even in presence of dishonest adversaries.  ...  The suite of tools Diogenes [2] supports programmers in writing honest Java code.  ...  The tool translates honest CO 2 specifications into skeletal Java programs, and checks that their honesty is preserved upon refinement.  ... 
doi:10.2168/lmcs-12(4:7)2016 fatcat:gjyf6rk4vbb3fkobgau2ua6poa

David L. Parnas symposium

D. Hoffman, D. Weiss
Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001  
His academic research and industrial collaborations have exerted far-reaching influence on software design and development.  ...  Languages like C++ and Java directly support this idea with abstract classes.  ...  "Diogenes, Where Are You?" Speaker: Fred Brooks Affiliation: University of North Carolina Abstract: What kind of person do we honor today? Fearlessly honest; honestly fearless.  ... 
doi:10.1109/icse.2001.919187 dblp:conf/icse/HoffmanW01 fatcat:dcwqfgok6bggjhkrevyxfz6x5e

MuMIA: Multimodal Interactions to Better Understand Art Contexts

George E. Raptis, Giannis Kavvetsos, Christina Katsini
2021 Applied Sciences  
We used the Eye Tribe Java SDK, and thus Java programming language, to communicate with the Eye Tribe server and to interact with the eye-tracker in real-time.  ...  Diogenes is lying on the stairs with a dish, while the pessimist philosopher, Heracleitus, a portrait of Michelangelo, is leaning against a block of marble, writing on a sheet of paper.  ... 
doi:10.3390/app11062695 fatcat:glcc5mhk6vbwhnfu4rizw54hwm

Cost and Benefit from Development The Infrastructure of Southern Cross Roads ("Jalur Lintas Selatan or JLS") (Studies of Malang Roads)

Herman Cahyo Diarto Herman Cahyo Diarto
2013 IOSR Journal of Humanities and Social Science  
The important ones of region development is built infrastructure. In the open economy era, infrastructure is one of the development economy needs, in particular roads infrastructure.  ...  Lastly, many research concern about conflict between infrastructure development and environmental.  ...  Empirically occurs an imbalance between the regional development North Coast of Java (PANTURA) and South Coast of Java (PANTESA).  ... 
doi:10.9790/0837-01020110 fatcat:it6zuqaxkffmpnpbvuhzzh4jde

Computer and Information Science, Vol. 3, No. 1, February, 2010

Editor CIS
2010 Computer and Information Science  
Java Script programming that comes along with this package.  ...  With respect to the type of application, the right programming language is chosen.  ...  Karl · Popper put biological evolution together with scientific development, explained how the science evolve and created his knowledge evolutionism.  ... 
doi:10.5539/cis.v3n1p0 fatcat:lest4lycincrhb3aojneniqgci

Teletext in Europe: from the Analog to the Digital Era

Anne-Katrin Weber
2016 Historical Journal of Film, Radio and Television  
(MHP), a new Java-based programming environment in 1997.  ...  Let us be honest: we are lazy. We want things to come easy with no effort at all. As such, it is not fear, it is boredom. Why spend my time on anything?  ...  Despite its secular republican ideology, France is a country with a deep Catholic culture. French philosopher, Morin (1990) describes France as a Catho-secular country.  ... 
doi:10.1080/01439685.2016.1248071 fatcat:hu7urbywzrhdrisahlixv3zcx4

The Foreign Policy of the United States: Political and Commercial

Theodore S. Woolsey, E. W. Huffcut, A. Lawrence Lowell, W. Alleyne Ireland, Talcott Williams, Carl Schurz, Worthington Chauncey Ford, Robert T. Hill, John Foord, W. P. Wilson, E. R. Johnson, John Bassett Moore (+6 others)
1899 The Annals of the American Academy of Political and Social Science  
It would be just as valuable as the coffee of Java had the islands been peopled with an intelligent people capable of coping with the disasters which in every country come to crops.  ...  There is a story of Chuang-tze, the Chinese Diogenes. He was fishing one day when two high officials approached him with the request that he undertake the administration of the state.  ...  pickled fish, and some rice, found their best markets in the Mediterranean; " and among the earliest negotiations undertaken after our independence was established were those for commercial treaties with  ... 


Markov Krassimir, Zainutdinova Larissa, Voloshin Alexey, K Markov, L Zainutdinova, A Voloshin
Proceedings of the International Conference "Modern (e-) Learning"-Varna   unpublished
The necessity of harmony determines the search for a combination of old-fashioned education stile having conservative character, with modern directions of development of education.  ...  In development of didactic materials, the shapely and strict theoretical statements, intended for creation of the highly skilled staff, need to be dialectically bounded up with theirs bright practical  ...  Programming 1; using Tony Gaddis' book 'Starting Out with Java').  ... 

Lost voices of modernity: a Chinese popular fiction magazine in context

2002 ChoiceReviews  
of 1900, "the last effort to meet China's problems through a radical rejection of modern ideas and technology," 10 a new attitude developed and manifested itself in a mighty program of reform, much the  ...  It had developed into a must for all those concerned with the fate of China, a matter of national salvation.  ...  The development of printed journals and thus of a commercial press and a new reading public would no doubt have led to the production of a different kind of storytelling before high-class theorists such  ... 
doi:10.5860/choice.39-3227 fatcat:6axp47qtcvetlbivebyylkb3oq

Twenty Second Critical Bibliography of the History and Philosophy of Science and of the History of Civilization (To May 1927)

George Sarton
1928 Isis  
With short critical apparatus, translation, and notes. Oxford, Clarendon Press, 1927. ISIS Fritz, Kurt von. Quellenuntersuchungen zu Leben und Philosophie des DioGenes von Sinope. (Philologus, Suppl.  ...  ISIS « An honest, straightforward narrative of a typical grand tour, with not a few touches of shrewdness and humour which raise it above the average travel-diary of the period. » The author, of whom almost  ... 
doi:10.1086/346323 fatcat:2u3lfanbjrd2ldd4joutivfoa4

Chekhov's medical aesthetics

Matthew Mangold
I include new translations of this material and integrate analysis of original sources in medical history with readings of Chekhov's comic stories, novellas, non-fiction, and drama in respective chapters  ...  "Your Diogenes was a blockhead," Ragin retorts (S 8: 97).  ...  En route it made stops in Europe, South Africa, Java, Singapore, Hong Kong, and the Bonin Islands. I. A.  ... 
doi:10.7282/t3wq06pv fatcat:y47ohqnnprgetjn3ibdhx5cpmy

Notes on Persons and Events Mentioned in the Memoir [chapter]

Lionel Gossman
2018 The Red Countess: Select Autobiographical and Fictional Writing of Hermynia Zur Mühlen (1883-1951)  
Hence the workers, their wives, and their children came to me with all their little ailments.  ...  In Florence I had worked for several months at the infirmary of the Sisters of Mercy and was therefore able to deal with minor illnesses.  ...  And with that I was out of the program. Aunt Maria would talk with grandmother while I ate bonbons.  ... 
doi:10.11647/obp.0140.03 fatcat:bqx6nkmxnze33dq3kppbrkyak4

Union Seminary Quarterly Review, volume 25, issue 3 (1970)

2021 pre-print
Thus I do not think that any honest game is totally without significance.  ...  To be sure, every program devised by Clamence to save himself violates Camus' own ethics of la mesure.  ...  However, after von Rad had appeared, Wright found his position quite as much at odds with von Rad's in results as with Eichrodt's in methodology.  ... 
doi:10.7916/d8-pg1t-fa37 fatcat:libvbn3kkrbuhiuv5qib4voh3i

Policing Public Health in Queensland, 1859 - 1919

Gerald Hugo Rée, University, My, Regina Ganter
The police, trying to establish better relations with the Indigenous population after the carnage of the Frontier Wars, attempted to help out those who seemed to be suffering the most.  ...  In this thesis, I investigate the public health role of the Queensland police: starting with the New South Wales Towns Police Act of 1838, which empowered the police of proclaimed towns to order the removal  ...  They developed alcohol free hotels and coffee palaces, pursued an aggressive educational program, and they pushed for political reform.  ... 
doi:10.25904/1912/3197 fatcat:rus2zu7qwjahzam6ycqcn53a5a
« Previous Showing results 1 — 15 out of 16 results