Search results for "UNITY"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
91	Rob T. Udink, Joost N. Kok	On the Relation Between Unity Properties and Sequences of States.	REX Workshop	1992	DBLP DOI BibTeX RDF	Semantic models - Unity, program refinement
82	Edgar Knapp	Soundness and Completeness of UNITY Logic.	FSTTCS	1994	DBLP DOI BibTeX RDF	Classification Theory of Programming Languages, Logic in Computer Science, Theory of Parallel and Distributed Computation
81	Yih-Kuen Tsay, Rajive L. Bagrodia	Deducing Fairness Properties in UNITY Logic - A New Completeness Result.	ACM Trans. Program. Lang. Syst.	1995	DBLP DOI BibTeX RDF	fairness properties, temporal logic, completeness, UNITY
75	Naima Brown, Dominique Méry	A Proof Environment for Concurrent Programs.	FME	1993	DBLP DOI BibTeX RDF	formal specifications, concurrency, program verification, Automated theorem proving, B, Unity
72	Borzoo Bonakdarpour, Ali Ebnenasir, Sandeep S. Kulkarni	Complexity results in revising UNITY programs.	TAAS	2009	DBLP DOI BibTeX RDF	formal methods, UNITY
72	Gruia-Catalin Roman, Peter J. McCann, Jerome Y. Plun	Mobile UNITY: Reasoning and Specification in Mobile Computing.	ACM Trans. Softw. Eng. Methodol.	1997	DBLP DOI BibTeX RDF	mobile UNITY, transient interactions, mobile computing, formal methods, synchronization, weak consistency, shared variables
68	Carlos Ulises Moulines	The Unity of Science and The Unity of Being: a Sketch of a Formal Approach.	Logic, Epistemology, and the Unity of Science	2004	DBLP DOI BibTeX RDF
63	Anas A. Hamoui, Mohammad Sukhon, Franco Maloberti	Digitally-enhanced 2nd-order DeltaSigma modulator with unity-gain signal transfer function.	ISCAS	2008	DBLP DOI BibTeX RDF
63	Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden	Mobile agent security with the IPEditor development tool and the mobile UNITY language.	Agents	2001	DBLP DOI BibTeX RDF
62	Ali Ebnenasir, Sandeep S. Kulkarni, Borzoo Bonakdarpour	Revising UNITY Programs: Possibilities and Limitations.	OPODIS	2005	DBLP DOI BibTeX RDF	Formal Methods, Program Synthesis, UNITY
62	Daniel M. Zimmerman	A UNITY-Based Formalism for Dynamic Distributed Systems.	IPDPS	2003	DBLP DOI BibTeX RDF	dynamic distributed systems, program composition, formal methods, UNITY
62	Peter J. McCann, Gruia-Catalin Roman	Modeling Mobile IP in Mobile UNITY.	ACM Trans. Softw. Eng. Methodol.	1999	DBLP DOI BibTeX RDF	mobile UNITY, transient interactions, mobile computing, formal methods, synchronization, IP, weak consistency, shared variables
62	H. Conrad Cunningham, Gruia-Catalin Roman	A UNITY-Style Programming Logic for Shared Dataspace Programs.	IEEE Trans. Parallel Distrib. Syst.	1990	DBLP DOI BibTeX RDF	UNITY-style programming logic, shared dataspace programs, program verification, Swarm, proof system, program correctness
53	Sumit Kumar Basu	t-UNITY - A Formal Framework for Modeling and Reasoning About Timing Constraints in Real-Time Systems.	IWDC	2004	DBLP DOI BibTeX RDF
53	Gruia-Catalin Roman, Jamie Payton	Mobile UNITY Schemas for Agent Coordination.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
53	Flemming Andersen, Ulla Binau, Karsten Nyblad, Kim Dam Petersen, Jimmi S. Pettersson	The HOL-UNITY Verification System.	TAPSOFT	1995	DBLP DOI BibTeX RDF
53	Flemming Andersen, Kim Dam Petersen, Jimmi S. Pettersson	Program Verification using HOL-UNITY.	HUG	1993	DBLP DOI BibTeX RDF
53	Luís Moniz Pereira	Evolutionary Psychology and the Unity of Sciences: Towards an Evolutionary Epistemology.	Special Sciences and the Unity of Science	2012	DBLP DOI BibTeX RDF
53	Paco Calvo Garzón	Plant Neurobiology: Lessons for the Unity of Science.	Special Sciences and the Unity of Science	2012	DBLP DOI BibTeX RDF
53	Luc Faucher	Unity of Science and Pluralism: Cognitive Neurosciences of Racial Prejudice as a Case Study.	Special Sciences and the Unity of Science	2012	DBLP DOI BibTeX RDF
53	J. R. Croca	The Principle of Eurhythmy: A Key to the Unity of Physics.	Special Sciences and the Unity of Science	2012	DBLP DOI BibTeX RDF
53	Sheldon Steed, Gabriele Contessa, Nancy Cartwright	Keeping Track of Neurath's Bill: Abstract Concepts, Stock Models and the Unity of Classical Physics.	Otto Neurath and the Unity of Science	2011	DBLP DOI BibTeX RDF
53	Jan Wolenski	Naturalism and the Unity of Science.	Otto Neurath and the Unity of Science	2011	DBLP DOI BibTeX RDF
53	Otto Neurath, Thomas Bonk	Unity of Science and Logical Empiricism: A Reply.	Otto Neurath and the Unity of Science	2011	DBLP DOI BibTeX RDF
53	Hossein Sheykh Rezaee	The Flat Analysis of Properties and the Unity of Science.	Otto Neurath and the Unity of Science	2011	DBLP DOI BibTeX RDF
53	Ángel Nepomuceno-Fernández, Fernando Soler-Toscano, Atocha Aliseda-Llera	Searching for the Unity of Science: From Classical Logic to Abductive Logical Systems.	Otto Neurath and the Unity of Science	2011	DBLP DOI BibTeX RDF
53	Andrés Rivadulla	Scientific Reasonableness and the Pragmatic Approach to the Unity of Science.	Otto Neurath and the Unity of Science	2011	DBLP DOI BibTeX RDF
53	Olga Pombo	Neurath and the Encyclopaedic Project of Unity of Science.	Otto Neurath and the Unity of Science	2011	DBLP DOI BibTeX RDF
53	Daniel Andler	Unity Without Myths.	Otto Neurath and the Unity of Science	2011	DBLP DOI BibTeX RDF
53	Juan Manuel Torres	The Role of Biology in the Unity of Science Program.	Otto Neurath and the Unity of Science	2011	DBLP DOI BibTeX RDF
53	Shahid Rahman, John Symons	Logic, Epistemology and the Unity of Science: An Encyclopedic Project in the Spirit of Neurath and Diderot.	Logic, Epistemology, and the Unity of Science	2004	DBLP DOI BibTeX RDF
53	Herbert Gintis	Towards a Unity of the Human Behavioral Sciences.	Logic, Epistemology, and the Unity of Science	2004	DBLP DOI BibTeX RDF
53	John Woods, Kent A. Peacock	Quantum Logic and the Unity of Science.	Logic, Epistemology, and the Unity of Science	2004	DBLP DOI BibTeX RDF
53	Gerhard Schurz	Normic Laws, Non-Monotonic Reasoning, and the Unity of Science.	Logic, Epistemology, and the Unity of Science	2004	DBLP DOI BibTeX RDF
53	Yutaka Ohtake, Alexander G. Belyaev, Marc Alexa, Greg Turk, Hans-Peter Seidel	Multi-level partition of unity implicits.	ACM Trans. Graph.	2003	DBLP DOI BibTeX RDF	adaptive distance, error-controlled subdivision, field approximation, partition of unity approximation, implicit modeling
53	Ernest H. Page, Marc Abrams	Simulation Model Development and Analysis in UNITY.	Annals OR	2001	DBLP DOI BibTeX RDF	simulation specification, simulation verification, parallel simulation protocols, UNITY
53	Lawrence C. Paulson	Mechanizing UNITY in Isabelle.	ACM Trans. Comput. Log.	2000	DBLP DOI BibTeX RDF	concurrency, UNITY, Isabelle, compositional reasoning
52	Gian Pietro Picco, Gruia-Catalin Roman, Peter J. McCann	Expressing Code Mobility in Mobile UNITY.	ESEC / SIGSOFT FSE	1997	DBLP DOI BibTeX RDF	mobile UNITY, mobile code languages, mobile computing, coordination, UNITY, code mobility
47	Boutheina Chetali	Formal Verification of Concurrent Programs Using the Larch Prover.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	theorem prover methodology, Larch prover, computer-checked proof, Formal verification, communication protocol, protocol verification, UNITY
47	Boutheina Chetali, Barbara Heyd	Formal Verification of Concurrent Programs in LP and in COQ: A Comparative Analysis.	TPHOLs	1997	DBLP DOI BibTeX RDF	theorem prover methodology, Larch Prover, Computer Checked Proof, Formal Verification, Unity, Coq
47	David M. Goldschlag	Mechanically Verifying Concurrent Programs with the Boyer-Moore Prover.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	mechanically verifying concurrent programs, Boyer-Moore prover, transition system model, parallel programming, distributed algorithm, concurrency, theorem proving, program verification, safety, encoding, encoding, operational semantics, inference mechanisms, liveness, inference rules, proof system, Unity
44	Nadav Aharony, Jamie Zigelbaum	Comm.unity: leveraging social and physical proximity.	CHI Extended Abstracts	2009	DBLP DOI BibTeX RDF	privacy, ubiquitous computing, mobile, trust, pervasive computing, social, network interface
44	Pierre Collette	Application of the Composition Principle to Unity-like Specifications.	TAPSOFT	1993	DBLP DOI BibTeX RDF
44	Rob T. Udink, Joost N. Kok	Two Fully Abstract Models for UNITY.	CONCUR	1993	DBLP DOI BibTeX RDF
43	Joao Paulo Gois, Valdecir Polizelli-Junior, Tiago Etiene, Eduardo Tejada, Antônio Castelo Filho, Luis Gustavo Nonato, Thomas Ertl	Twofold adaptive partition of unity implicits.	The Visual Computer	2008	DBLP DOI BibTeX RDF	Algebraic triangulation, Partition of unity implicits, Orthogonal polynomials
43	Takato Hirano, Koichiro Wada, Keisuke Tanaka	Public-Key Cryptosystems with Primitive Power Roots of Unity.	ACISP	2008	DBLP DOI BibTeX RDF	Paillier encryption scheme, factoring assumption, power roots of unity, homomorphism
43	Borzoo Bonakdarpour, Sandeep S. Kulkarni	Revising Distributed UNITY Programs Is NP-Complete.	OPODIS	2008	DBLP DOI BibTeX RDF	Automated revision, Complexity, Formal methods, Transformation, Distributed programs, Repair, UNITY
43	Sergey P. Tarasov, Mikhail N. Vyalyi	An Efficient Algorithm for Zero-Testing of a Lacunary Polynomial at the Roots of Unity.	CSR	2007	DBLP DOI BibTeX RDF	algorithm, sparse representation, root of unity, cyclotomic polynomial
43	Weimin Han, Wing Kam Liu	Flexible piecewise approximations based on partition of unity.	Adv. Comput. Math.	2005	DBLP DOI BibTeX RDF	smooth piecewise approximation, partition of unity, polynomial reproducing, nodal interpolation, Galerkin method
43	Sidi O. Ehmety, Lawrence C. Paulson	Program Composition in Isabelle/UNITY.	IPDPS	2002	DBLP DOI BibTeX RDF	program composition, universal and existential properties, UNITY, Isabelle
43	Lawrence C. Paulson	Mechanizing a theory of program composition for UNITY.	ACM Trans. Program. Lang. Syst.	2001	DBLP DOI BibTeX RDF	concurrency, UNITY, Isabelle, compositional reasoning
38	Gerald Tesauro, David M. Chess, William E. Walsh, Rajarshi Das, Alla Segal, Ian Whalley, Jeffrey O. Kephart, Steve R. White	A Multi-Agent Systems Approach to Autonomic Computing.	AAMAS	2004	DBLP DOI BibTeX RDF
38	Beverly A. Sanders	Data Refinement of Mixed Specifications.	Acta Inf.	1998	DBLP DOI BibTeX RDF
38	Philippe Huneman	Computer Science Meets Evolutionary Biology: Pure Possible Processes and the Issue of Gradualism.	Special Sciences and the Unity of Science	2012	DBLP DOI BibTeX RDF
38	A. Yazdani	Appearance or Existence of the Entity Realism 'Sense' or Mind.	Special Sciences and the Unity of Science	2012	DBLP DOI BibTeX RDF
38	Nathalie Gontier	Introducing Universal Symbiogenesis.	Special Sciences and the Unity of Science	2012	DBLP DOI BibTeX RDF
38	Catherine Laurent	Plurality of Science and Rational Integration of Knowledge.	Special Sciences and the Unity of Science	2012	DBLP DOI BibTeX RDF
38	Christian Möckel	The Cultural Sciences and Their Basis in Life. On Ernst Cassirer's Theory of the Cultural Sciences.	Special Sciences and the Unity of Science	2012	DBLP DOI BibTeX RDF
38	María de la Concepción Caamaño Alegre	Pragmatic Continuities in Empirical Science: Some Examples from the History of Astronomy.	Special Sciences and the Unity of Science	2012	DBLP DOI BibTeX RDF
38	Vítor Neves	Sciences as Open Systems - The Case of Economics.	Special Sciences and the Unity of Science	2012	DBLP DOI BibTeX RDF
38	A. Perera, F. Sokolic	Looking at Water Through Paradigms.	Special Sciences and the Unity of Science	2012	DBLP DOI BibTeX RDF
38	Olga Pombo, Juan Manuel Torres, John Symons	Introduction.	Special Sciences and the Unity of Science	2012	DBLP DOI BibTeX RDF
38	César Lorenzano	A Physicalist Reconstruction of a Theory: The Case of the Freudian Theory of Hysteria.	Special Sciences and the Unity of Science	2012	DBLP DOI BibTeX RDF
38	Francisco Carrapiço	The Symbiotic Phenomenon in the Evolutive Context.	Special Sciences and the Unity of Science	2012	DBLP DOI BibTeX RDF
38	Edwin J. Beggs, José Félix Costa	Unifying Science Through Computation: Reflections on Computability and Physics.	Special Sciences and the Unity of Science	2012	DBLP DOI BibTeX RDF
38	Brian Hill	Fiction, Counterfactuals: The Challenge for Logic.	Special Sciences and the Unity of Science	2012	DBLP DOI BibTeX RDF
38	Karlheinz Barck	The Neurath-Horkeimer-Controversy Reconsidered: Otto Neurath's Erwiderung to Max Horkheimer's Attack Against the Vienna Circle.	Otto Neurath and the Unity of Science	2011	DBLP DOI BibTeX RDF
38	Thomas Bonk	Conceptions of Reality - Schlick, Carnap, Neurath.	Otto Neurath and the Unity of Science	2011	DBLP DOI BibTeX RDF
38	Jan Sebestik	Otto Neurath's Epistemology and Its Paradoxes.	Otto Neurath and the Unity of Science	2011	DBLP DOI BibTeX RDF
38	Robert L. Causey	A Comprehensible World.	Otto Neurath and the Unity of Science	2011	DBLP DOI BibTeX RDF
38	Ahti-Veikko Pietarinen	Principles and Practices of Neurath's Picture Language.	Otto Neurath and the Unity of Science	2011	DBLP DOI BibTeX RDF
38	Carlos Ulises Moulines	Does Scientific Progress Necessarily Lead to a Unified Science?	Otto Neurath and the Unity of Science	2011	DBLP DOI BibTeX RDF
38	Mario Bunge	Two Unification Strategies: Analysis or Reduction, and Synthesis or Integration.	Otto Neurath and the Unity of Science	2011	DBLP DOI BibTeX RDF
38	Gideon Freudenthal, Tatiana Karachentsev	G. Itelson - A Socratic Philosopher.	Otto Neurath and the Unity of Science	2011	DBLP DOI BibTeX RDF
38	Cornelia Schöck	Name (ism), Derived Name (ism mushtaqq) and Description (waṣf) in Arabic Grammar, Muslim Dialectical Theology and Arabic Logic.	The Unity of Science in the Arabic Tradition	2008	DBLP DOI BibTeX RDF
38	Hassan Tahiri	The Birth of Scientific Controversies The Dynamics of the Arabic Tradition and Its Impact on the Development of Science: Ibn al-Haytham's Challenge of Ptolemy's Almagest.	The Unity of Science in the Arabic Tradition	2008	DBLP DOI BibTeX RDF
38	Allan Bäck	Islamic Logic?	The Unity of Science in the Arabic Tradition	2008	DBLP DOI BibTeX RDF
38	Hans P. van Ditmarsch	Logical Fragments in Ibn Khaldūn's Muqaddimah.	The Unity of Science in the Arabic Tradition	2008	DBLP DOI BibTeX RDF
38	Albrecht Heeffer	A Conceptual Analysis of Early Arabic Algebra.	The Unity of Science in the Arabic Tradition	2008	DBLP DOI BibTeX RDF
38	Asad Ahmed	Jiha/Tropos-Mādda/Hūlē Distinction in Arabic Logic and its Significance for Avicenna's Modals.	The Unity of Science in the Arabic Tradition	2008	DBLP DOI BibTeX RDF
38	Jon McGinnis	Avicenna's Naturalized Epistemology and Scientific Method.	The Unity of Science in the Arabic Tradition	2008	DBLP DOI BibTeX RDF
38	Shahid Rahman, Tony Street, Hassan Tahiri	Introduction: The Major Breakthrough in Scientific Pratice.	The Unity of Science in the Arabic Tradition	2008	DBLP DOI BibTeX RDF
38	Paul Thom	Logic and Metaphysics in Avicenna's Modal Syllogistic.	The Unity of Science in the Arabic Tradition	2008	DBLP DOI BibTeX RDF
38	Roshdi Rashed	The Philosophy of Mathematics.	The Unity of Science in the Arabic Tradition	2008	DBLP DOI BibTeX RDF
38	Ahmad Hasnawi	Avicenna on the Quantification of the Predicate (with an Appendix on [Ibn Zur'a]).	The Unity of Science in the Arabic Tradition	2008	DBLP DOI BibTeX RDF
38	Deborah L. Black	Avicenna on Self-Awareness and Knowing that One Knows.	The Unity of Science in the Arabic Tradition	2008	DBLP DOI BibTeX RDF
38	Mohammad Ardeshir	Ibn Sī: nā's Philosophy of Mathematics.	The Unity of Science in the Arabic Tradition	2008	DBLP DOI BibTeX RDF
38	Stephen Read	The Truth Schema and the Liar.	Unity, Truth and the Liar	2008	DBLP DOI BibTeX RDF
38	Jan Wolenski	Read about T-Scheme.	Unity, Truth and the Liar	2008	DBLP DOI BibTeX RDF
38	Terence Parsons	Comments on Stephen Read's "The Truth-Schema and the Liar".	Unity, Truth and the Liar	2008	DBLP DOI BibTeX RDF
38	Claude Panaccio	Restrictionism: A Medieval Approach Revisited.	Unity, Truth and the Liar	2008	DBLP DOI BibTeX RDF
38	Stephen Read	Further Thoughts on Tarski's T-scheme and the Liar.	Unity, Truth and the Liar	2008	DBLP DOI BibTeX RDF
38	Bradley Armour-Garb	Read and Indirect Revenge.	Unity, Truth and the Liar	2008	DBLP DOI BibTeX RDF
38	Barry Hartley Slater	Out of the Liar Tangle.	Unity, Truth and the Liar	2008	DBLP DOI BibTeX RDF
38	Fabienne Pironet	William Heytesbury and the Treatment of Insolubilia in Fourteenth-Century England Followed by a Critical Edition of Three Anonymous Treatises De Insolubilibus Inspired by Heytesbury.	Unity, Truth and the Liar	2008	DBLP DOI BibTeX RDF
38	José M. Sagüillo	On a New Account of the Liar.	Unity, Truth and the Liar	2008	DBLP DOI BibTeX RDF
38	Laurence Goldstein	Doubting Thomas: From Bradwardine Back to Anon.	Unity, Truth and the Liar	2008	DBLP DOI BibTeX RDF
38	György Serény	The Liar Cannot Be Solved.	Unity, Truth and the Liar	2008	DBLP DOI BibTeX RDF
38	Gyula Klima	Logic Without Truth.	Unity, Truth and the Liar	2008	DBLP DOI BibTeX RDF
38	Eugene Mills	Scheming and Lying.	Unity, Truth and the Liar	2008	DBLP DOI BibTeX RDF