Results 21 to 30 of about 30,070,977 (302)
Smart Choices and the Selection Monad [PDF]
Logical Methods in Computer Science, 2023 Describing systems in terms of choices and their resulting costs and rewards offers the promise of freeing algorithm designers and programmers from specifying how those choices should be made; in implementations, the choices can be realized by ...
Martin Abadi, Gordon Plotkin
doaj +1 more source
Parity Games with Weights [PDF]
Logical Methods in Computer Science, 2019 Quantitative extensions of parity games have recently attracted significant interest. These extensions include parity games with energy and payoff conditions as well as finitary parity games and their generalization to parity games with costs.
Sven Schewe +2 more
doaj +1 more source
The natural science of computing [PDF]
Communications of the ACM, 2017 As unconventional computing comes of age, we believe a revolution is needed in our view of computer science.
Dominic Horsman +2 more
openaire +6 more sources
Flexible Correct-by-Construction Programming [PDF]
Logical Methods in Computer Science, 2023 Correctness-by-Construction (CbC) is an incremental program construction process to construct functionally correct programs. The programs are constructed stepwise along with a specification that is inherently guaranteed to be satisfied. CbC is complex to
Tobias Runge +4 more
doaj +1 more source
Gheorghe Paun (A tribute in honour of his 60th birthday) [PDF]
Computer Science Journal of Moldova, 2010 Gheorghe Păun had a powerful influence on the development of theoretical computer science, especially the area of natural computing. He is the inventor of the new rapidly developing area of biocomputing - computing using membrane systems, or P systems ...
Editorial board of Computer Science Journal of Moldova
doaj
Expressive Path Queries on Graph with Data [PDF]
Logical Methods in Computer Science, 2015 Graph data models have recently become popular owing to their applications, e.g., in social networks and the semantic web. Typical navigational query languages over graph databases - such as Conjunctive Regular Path Queries (CRPQs) - cannot express ...
Pablo Barcelo +2 more
doaj +1 more source
A Framework for Automated Database Tuning Using Dynamic SGA Parameters and Basic Operating System Utilities [PDF]
Database Systems Journal, 2012 In present scenario the manual work (Done by Human) cost more to an organization than the automatic work ( Done by Machine)and the ratio is increasing day by day as per the tremendous increment in Machine (Hardware + Software) Intelligence. We are moving
Hitesh KUMAR SHARMA +2 more
doaj
Svetlana Cojocaru (in honour of her 60th anniversary) [PDF]
Computer Science Journal of Moldova, 2012 Our colleague, Vice Editor-in-Chief of the Computer Science Journal of Moldova and director of the Institute of Mathematics and Computer Science of Academy of Sciences of Moldova, dr.hab. Svetlana Cojocaru accomplishes in July a beautiful age.
Editorial board of the "Computer Science Journal of Moldova"
doaj
Director of IMCS - National Prize Laureate of Moldova [PDF]
Computer Science Journal of Moldova, 2012 Director of the Institute of Mathematics and Computer Science, Vice Editor-in-Chief of CSJM, and our colleague, D.Hab. Svetlana Cojocaru, in 2011 became the National Prize Laureate of Moldova.
Editorial board of the "Computer Science Journal of Moldova"
doaj
Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics [PDF]
Logical Methods in Computer Science, 2019 We study rewritability of monadic disjunctive Datalog programs, (the complements of) MMSNP sentences, and ontology-mediated queries (OMQs) based on expressive description logics of the ALC family and on conjunctive queries.
Cristina Feier +2 more
doaj +1 more source