Author | : Heinrich Taube |
Publisher | : Routledge |
Total Pages | : 354 |
Release | : 2013-10-23 |
Genre | : Music |
ISBN | : 1134381387 |
First Published in 2005. Routledge is an imprint of Taylor & Francis, an informa company.
Author | : Heinrich Taube |
Publisher | : Routledge |
Total Pages | : 354 |
Release | : 2013-10-23 |
Genre | : Music |
ISBN | : 1134381387 |
First Published in 2005. Routledge is an imprint of Taylor & Francis, an informa company.
Author | : Akinori Yonezawa |
Publisher | : Springer |
Total Pages | : 293 |
Release | : 2003-06-30 |
Genre | : Computers |
ISBN | : 3540454292 |
This volume constitutes the proceedings of REFLECTION 2001, the Third Int- national Conference on Metalevel Architectures and Separation of Crosscutting Concerns, which was held in Kyoto, September 25-28, 2001. Metalevel architectures and re?ection have drawn the attention of researchers and practitioners throughout computer science. Re?ective and metalevel te- niques are being used to address real-world problems in such areas as: progr- ming languages, operating systems, databases, distributed computing, expert systems and web computing. Separation of concerns has been a guiding principle of software engineering for nearly 30 years, but its known bene?ts are seldom fully achieved in practice. This is primarily because traditional mechanisms are not powerful enough to handle many kinds of concerns that occur in practice. Over the last 10 years, to overcome the limitations of traditional frameworks, many researchers, including several from the re?ection community, have proposed new approaches. For the ?rst time, papers on advanced approaches to separation of concerns were explicitly solicited. Following the success of previous conferences such as IMSA’92 in Tokyo, Re?ection’96 in San Francisco, and Re?ection’99 in Saint Malo, we hope that the conference provided an excellent forum for researchers with a broad range of interests in metalevel architectures, re?ective techniques, and separation of concerns in general.
Author | : Pierre Cointe |
Publisher | : Springer |
Total Pages | : 283 |
Release | : 2003-06-29 |
Genre | : Computers |
ISBN | : 3540484434 |
This book constitutes the refereed proceedings of the Second International Conference on Meta-Level Architectures and Reflection, Reflection'99, held in St. Malo, France in July 1999. The 13 revised full papers presented were carefully selected from 44 submissions. Also included are six short papers and the abstracts of three invited talks. The papers are organized in sections on programming languages, meta object protocols, middleware/multi-media, work in progress, applications, and meta-programming. The volume covers all current issues arising in the design and analysis of reflective systems and demontrates their practical applications.
Author | : Alexander Kozintsev |
Publisher | : Routledge |
Total Pages | : 247 |
Release | : 2017-07-12 |
Genre | : Social Science |
ISBN | : 1351479407 |
The Mirror of Laughter presents a theory of humor and laughter by examining their relationship to human behaviors. Kozintsev is especially interested in the relationship between biological and cultural factors that influence behaviors. He divides his work into four chapters, the first of which establishes a theme of the book, focusing on the study of meaning from the perspective of philosophy and psychology, while examining linguistic theories of humor. The second chapter examines biological data regarding laughter and the evolutionary origins of laughter and humor. It demonstrates the author's interest in studying humor objectively by detailing physiological reactions and underlying psychological issues. The third section on play, including linguistic play, distinguishes between orderly and disorderly play. While orderly play has no biological roots and is synonymous with culture, disorderly play is rooted in the pre-human past. The final chapter discusses the conflict between culture and nature and how culture has transformed the original semantics of laughter. Kozintsev seeks to understand the relationship between the biological, cultural, and social origins of humor and, from here, he seeks to create new understanding that only the alliance of several disciplines could provide. All of this is done while the author challenges many popular ideas of humor, such as that humor is inherently related to hostility. Originally written in Russian, this work makes great strides towards its goal, and it does so in an interesting and enlightening way.
Author | : Frank Van Harmelen |
Publisher | : Morgan Kaufmann |
Total Pages | : 180 |
Release | : 1991 |
Genre | : Computers |
ISBN | : 9781558601963 |
Author | : Helmut Schmidt |
Publisher | : Springer Science & Business Media |
Total Pages | : 172 |
Release | : 1991 |
Genre | : Computers |
ISBN | : 9783540537540 |
The development of database technology has currently reached the stage of deductive database systems which use Horn clauses for defining relations. An important characteristic of these systems is the clear separation of logic and control. However, the programmer cannot affect the control part of a deductive database system. To eliminate this deficiency, this monograph presents a so-called expert deductive database system that allows explicit control of the deduction process. The system consists of an object-level describing the logical aspects of a problem and of a meta-level that contains application-specific control information affecting the object-level deduction process. For example, object-level rules can be disregarded, and some tuples deduced at the object-level can be preferred to others. Besides the architecture of this system, the book also identifies some important possibilities of deduction control which are explained by characteristic examples.
Author | : Justin Cruickshank |
Publisher | : Psychology Press |
Total Pages | : 368 |
Release | : 2007-01-24 |
Genre | : Philosophy |
ISBN | : 0415436850 |
In recent years, methodological debates in the social sciences have increasingly focused on issues relating to epistemology. Realism and Sociology makes an original contribution to the debate, charting a middle ground between postmodernism and positivism. Critics often hold that realism tries to assume some definitive account of reality. Against this it is argued throughout the book that realism can combine a strong definition of social reality with an anti-foundational approach to knowledge. The position of realist anti-foundationalism that is argued for is developed and defended via the use of immanent critiques. These deal primarily with post-Wittgensteinian positions that seek to define knowledge and social reality in terms of 'rule-following practices' within different 'forms of life' and 'language games'. Specifically, the argument engages with Rorty's neo-pragmatism and the structuration theory of Giddens. The philosophy of Popper is also drawn upon in a critically appreciative way. While the positions of Rorty and Giddens seek to deflate the claims of 'grand theory', albeit in different ways, they both end up with definitive claims about knowledge and reality that preclude social research. By avoiding the general deflationary approach that relies on reference to 'practices', realism is able to combine a strong social ontology with an anti-foundational epistemology, and thus act as an underlabourer for empirical research.
Author | : Cyrille Artho |
Publisher | : Springer |
Total Pages | : 527 |
Release | : 2016-10-07 |
Genre | : Computers |
ISBN | : 3319465201 |
This book constitutes the proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, held in Chiba, Japan, in October 2016. The 31 papers presented in this volume were carefully reviewed and selected from 82 submissions. They were organized in topical sections named: keynote; Markov models, chains, and decision processes; counter systems, automata; parallelism, concurrency; complexity, decidability; synthesis, refinement; optimization, heuristics, partial-order reductions; solving procedures, model checking; and program analysis.
Author | : R. Meersman |
Publisher | : Springer Science & Business Media |
Total Pages | : 905 |
Release | : 2004-10-14 |
Genre | : Computers |
ISBN | : 3540236643 |
This book constitutes the joint refereed proceedings of seven international workshops held as part of OTM 2004 in Agia Napa, Cyprus in October 2004. The 73 revised papers presented together with 31 abstracts of posters from the OTM main conferences were carefully reviewed and selected from more than 150 submissions. In accordance with the 7 workshops, the papers are organized in topical sections on grid computing and its applications to data analysis; Java technologies for real-time and embedded systems; modeling inter-organizational systems; regulatory ontologies; ontologies, semantics and e-learning; PhD symposium; and interoperability.