Search results for "Architectures"

Hits ?▲	Authors	Title	Venue	Year	Link
22	Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli	Secrecy in Security Protocols as Non Interference.	Workshop on Secure Architectures and Information Flow	1999	DBLP DOI BibTeX RDF
22	Paul H. B. Gardiner	Power Simulation and its Relation to Traces and Failures Refinement.	Workshop on Secure Architectures and Information Flow	1999	DBLP DOI BibTeX RDF
22	Birgit Pfitzmann, Matthias Schunter, Michael Waidner	Cryptographic Security of Reactive Systems.	Workshop on Secure Architectures and Information Flow	1999	DBLP DOI BibTeX RDF
22	Steve A. Schneider, Peter Ryan 0001	Preface.	Workshop on Secure Architectures and Information Flow	1999	DBLP DOI BibTeX RDF
22	Yun-Chung Chu	Estimating the dimensions of manifolds using delaunay diagrams.	Algorithms and Architectures	1998	DBLP DOI BibTeX RDF
22	Pau-Choo Chung, Ching-Tsorng Tsai	Reliability issue and quantization effects in optical and electronic network implementations of hebbian-type associative memories.	Algorithms and Architectures	1998	DBLP DOI BibTeX RDF
22	Isaac Meilijson, Eytan Ruppin, Moshe Sipper	Fast computation in hamming and hopfield networks.	Algorithms and Architectures	1998	DBLP DOI BibTeX RDF
22	Jung Hwan Kim, Hyunseo Oh, Sung-Kwon Park, Youngnam Han	Synthesis of three-layer threshold networks.	Algorithms and Architectures	1998	DBLP DOI BibTeX RDF
22	Marco Bove, Massimo Grattarola, Giuseppe Massobrio, Michele Giugliano, Sergio Martinoia	Dynamics of networks of biological neurons: Simulation and experimental tools.	Algorithms and Architectures	1998	DBLP DOI BibTeX RDF
22	Cornelius T. Leondes	Preface.	Algorithms and Architectures	1998	DBLP DOI BibTeX RDF
22	Mikko Lehtokangas, Jukka Saarinen, Petri Salmela, Kimmo Kaski	Weight initialization techniques.	Algorithms and Architectures	1998	DBLP DOI BibTeX RDF
22	M. Daniel Tom, Manoel Fernando Tenorio	Short time memory problems.	Algorithms and Architectures	1998	DBLP DOI BibTeX RDF
22	Okan K. Ersoy	Parallel, self-organizing, hierarchical neural network systems.	Algorithms and Architectures	1998	DBLP DOI BibTeX RDF
22	Jennie Si, Anthony N. Michel	Multilevel neurons.	Algorithms and Architectures	1998	DBLP DOI BibTeX RDF
22	Jason A. S. Freeman, Mark J. L. Orr, David Saad	Statistical theories of learning in radial basis function networks.	Algorithms and Architectures	1998	DBLP DOI BibTeX RDF
22	Angelo Monfroglio	Finite constraint satisfaction.	Algorithms and Architectures	1998	DBLP DOI BibTeX RDF
22	Sumio Watanabe, Kenji Fukumizu	Probabilistic design.	Algorithms and Architectures	1998	DBLP DOI BibTeX RDF
22	Luigi V. Mancini, Indrajit Ray, Sushil Jajodia, Elisa Bertino	Flexible Commit Protocols for Advanced Transaction Processing.	Advanced Transaction Models and Architectures	1997	DBLP BibTeX RDF
22	Christof Hasse, Gerhard Weikum	Inter- and Intra-Transaction Parallelism for Combined OLTP/OLAP Workloads.	Advanced Transaction Models and Architectures	1997	DBLP BibTeX RDF
22	Abdelsalam Helal, Y. Kim, Marian H. Nodine, Ahmed K. Elmagarmid, Abdelsalam Heddaya	Transaction Optimization Techniques.	Advanced Transaction Models and Architectures	1997	DBLP BibTeX RDF
22	Andreas Reuter 0001, Kerstin Schneider 0001, Friedemann Schwenkreis	ConTracts Revisited.	Advanced Transaction Models and Architectures	1997	DBLP BibTeX RDF
22	Laurent Daynès, Malcolm P. Atkinson 0001, Patrick Valduriez	Customizable Concurrency Control for Persistent Java.	Advanced Transaction Models and Architectures	1997	DBLP BibTeX RDF
22	Jayavel Shanmugasundaram, Arvind Nithrakashyap, Jitendra Padhye, Rajendran M. Sivasankaran, Ming Xiong, Krithi Ramamritham	Transaction Processing in Broadcast Disk Environments.	Advanced Transaction Models and Architectures	1997	DBLP BibTeX RDF
22	Cris Pedregal Martin, Krithi Ramamritham	Toward Formalizing Recovery of (Advanced) Transactions.	Advanced Transaction Models and Architectures	1997	DBLP BibTeX RDF
22	Eman Anwar, Sharma Chakravarthy, Marisa S. Viveros	An Extensible Approach to Realizing Advanced Transaction Models.	Advanced Transaction Models and Architectures	1997	DBLP BibTeX RDF
22	Roger S. Barga, Calton Pu	The Reflective Transaction Framework.	Advanced Transaction Models and Architectures	1997	DBLP BibTeX RDF
22	Paul A. Jensen, Nandit Soparkar, Malek Tayara	Towards Distributed Real-Time Concurrency and Coordination Control.	Advanced Transaction Models and Architectures	1997	DBLP BibTeX RDF
22	Gustavo Alonso, C. Mohan 0001	WFMS: The Next Generation of Distributed Processing Tools.	Advanced Transaction Models and Architectures	1997	DBLP BibTeX RDF
22	Devashish Worah, Amit P. Sheth	Transactions in Transactional Workflows.	Advanced Transaction Models and Architectures	1997	DBLP BibTeX RDF
22	Paul Ammann, Sushil Jajodia, Indrakshi Ray	Semantic-Based Decomposition of Transactions.	Advanced Transaction Models and Architectures	1997	DBLP BibTeX RDF
22	Michael J. Wooldridge, Nicholas R. Jennings (eds.)	Intelligent Agents, ECAI-94 Workshop on Agent Theories, Architectures, and Languages, Amsterdam, The Netherlands, August 8-9, 1994, Proceedings	ECAI Workshop on Agent Theories, Architectures, and Languages	1995	DBLP DOI BibTeX RDF
22	Michel Banâtre, Peter A. Lee (eds.)	Hardware and Software Architectures for Fault Tolerance, Experiences and Perspecives [revised papers from a workshop at Le Mont Saint Michel, France, June 1993]	Hardware and Software Architectures for Fault Tolerance	1994	DBLP DOI BibTeX RDF
22	Jürg Gutknecht (eds.)	Programming Languages and System Architectures, International Conference, Zurich, Switzerland, March 2-4, 1994, Proceedings	Programming Languages and System Architectures	1994	DBLP DOI BibTeX RDF
22	Michael Franz	Technological Steps toward a Software Component Industry.	Programming Languages and System Architectures	1994	DBLP DOI BibTeX RDF
22	Stanislaw Chrobot	Where Concurrent Processes Originate.	Programming Languages and System Architectures	1994	DBLP DOI BibTeX RDF
22	Diane Corney, K. John Gough	Type Test Elimination Using Typeflow Analysis.	Programming Languages and System Architectures	1994	DBLP DOI BibTeX RDF
22	Suresh Jagannathan, James Philbin	High-Level Abstractions for Efficient Concurrent Systems.	Programming Languages and System Architectures	1994	DBLP DOI BibTeX RDF
22	Wolfgang Ambrosch, M. Anton Ertl, Felix Beer, Andreas Krall	Dependence-Conscious Global Register Allocation.	Programming Languages and System Architectures	1994	DBLP DOI BibTeX RDF
22	Sally A. McKee, Steven A. Moyer, William A. Wulf	Increasing Memory Bandwidth for Vector Computations.	Programming Languages and System Architectures	1994	DBLP DOI BibTeX RDF
22	David A. Naumann	On the Essence of Oberon.	Programming Languages and System Architectures	1994	DBLP DOI BibTeX RDF
22	C. A. R. Hoare, Ian Page	Hardware and Software: The Closing Gap.	Programming Languages and System Architectures	1994	DBLP DOI BibTeX RDF
22	Spyros Lalis, Beverly A. Sanders	Adding Concurrency to the Oberon System.	Programming Languages and System Architectures	1994	DBLP DOI BibTeX RDF
22	Manuel E. Benitez, Jack W. Davidson	The Advantages of Machine-Dependent Global Optimization.	Programming Languages and System Architectures	1994	DBLP DOI BibTeX RDF
22	Christian S. Collberg	Distributed High-Level Module Binding for Flexible Encapsulation and Fast Inter-Modular Optimization.	Programming Languages and System Architectures	1994	DBLP DOI BibTeX RDF
22	Atanas Radenski	Is Oberon as Simple as Possible? A Smaller Object-Oriented Language Based on the Concept of Module Type.	Programming Languages and System Architectures	1994	DBLP DOI BibTeX RDF
22	Jan L. A. van de Snepscheut	Mechanized Support for Stepwise Refinement.	Programming Languages and System Architectures	1994	DBLP DOI BibTeX RDF
22	Susan L. Graham	Languages and Interactive Software Development.	Programming Languages and System Architectures	1994	DBLP DOI BibTeX RDF
22	Alan G. Yoder, David L. Cohn	Architectural Issues in Spreadsheet Languages.	Programming Languages and System Architectures	1994	DBLP DOI BibTeX RDF
22	Klaus Didrich, Andreas Fett, Carola Gerke, Wolfgang Grieskamp, Peter Pepper	OPAL: Design and Implementation of an Algebraic Programming Language.	Programming Languages and System Architectures	1994	DBLP DOI BibTeX RDF
22	Clemens A. Szyperski, Stephen M. Omohundro, Stephan Murer	Engineering a Programming Language: The Type and Class System of Sather.	Programming Languages and System Architectures	1994	DBLP DOI BibTeX RDF
22	Butler W. Lampson	Interconnecting Computers: Architecture, Technology, and Economics.	Programming Languages and System Architectures	1994	DBLP DOI BibTeX RDF
22	Frédéric Guichard, Jacqueline Ayel	Logical Reorganization of DAI Systems.	ECAI Workshop on Agent Theories, Architectures, and Languages	1994	DBLP DOI BibTeX RDF
22	David Moffat, Nico Frijda	Where There's a Will There's an Agent.	ECAI Workshop on Agent Theories, Architectures, and Languages	1994	DBLP DOI BibTeX RDF
22	Mikhail Soutchanski, Eugenia Ternovskaia	Logical Formalization of Concurrent Actions for Multi-Agent Systems.	ECAI Workshop on Agent Theories, Architectures, and Languages	1994	DBLP DOI BibTeX RDF
22	Devindra Weerasooriya, Anand S. Rao, Kotagiri Ramamohanarao	Design of a Concurrent Agent-Oriented Language.	ECAI Workshop on Agent Theories, Architectures, and Languages	1994	DBLP DOI BibTeX RDF
22	Innes A. Ferguson	Integrated Control and Coordinated Behaviour: A Case for Agent Models.	ECAI Workshop on Agent Theories, Architectures, and Languages	1994	DBLP DOI BibTeX RDF
22	John Bell	Changing Attitudes.	ECAI Workshop on Agent Theories, Architectures, and Languages	1994	DBLP DOI BibTeX RDF
22	J. Stuart Aitken, Franz Schmalhofer, Nigel Shadbolt	A Knowledge Level Characterisation of Multi-Agent Systems.	ECAI Workshop on Agent Theories, Architectures, and Languages	1994	DBLP DOI BibTeX RDF
22	Hans-Dieter Burkhard	Agent-Oriented Programming for Open Systems.	ECAI Workshop on Agent Theories, Architectures, and Languages	1994	DBLP DOI BibTeX RDF
22	Peter Wavish, Michael Graham	Roles, Skills and Behaviour: A Situated Action Approach to Orgenising Systems of Interacting Agents.	ECAI Workshop on Agent Theories, Architectures, and Languages	1994	DBLP DOI BibTeX RDF
22	S. Rebecca Thomas	The PLACA Agent Programming Language.	ECAI Workshop on Agent Theories, Architectures, and Languages	1994	DBLP DOI BibTeX RDF
22	Cristiano Castelfranchi	Guarantees for Autonomy in Cognitive Agent Architecture.	ECAI Workshop on Agent Theories, Architectures, and Languages	1994	DBLP DOI BibTeX RDF
22	Timothy J. Norman, Derek Long	Goal Creation in Motivated Agents.	ECAI Workshop on Agent Theories, Architectures, and Languages	1994	DBLP DOI BibTeX RDF
22	Bertil Ekdahl, Eric Astor, Paul Davidsson	Towards Anticipatory Agents.	ECAI Workshop on Agent Theories, Architectures, and Languages	1994	DBLP DOI BibTeX RDF
22	Jacek Malec	A Unified Approach to Intelligent Agency.	ECAI Workshop on Agent Theories, Architectures, and Languages	1994	DBLP DOI BibTeX RDF
22	Michael Fisher 0001	Representing and Executing Agent-Based Systems.	ECAI Workshop on Agent Theories, Architectures, and Languages	1994	DBLP DOI BibTeX RDF
22	Paul Dongha	Toward a Formal Model of Commitment for Resource Bounded Agents.	ECAI Workshop on Agent Theories, Architectures, and Languages	1994	DBLP DOI BibTeX RDF
22	Agostino Poggi	DAISY: An Object-Oriented System for Distributed Artificial Intelligence.	ECAI Workshop on Agent Theories, Architectures, and Languages	1994	DBLP DOI BibTeX RDF
22	Barbara Dunin-Keplicz, Jan Treur	Compositional Formal Specification of Multi-Agent Systems.	ECAI Workshop on Agent Theories, Architectures, and Languages	1994	DBLP DOI BibTeX RDF
22	Frank G. McCabe, Keith L. Clark	April - Agent PRocess Interaction Language.	ECAI Workshop on Agent Theories, Architectures, and Languages	1994	DBLP DOI BibTeX RDF
22	Michael J. Wooldridge	This is MYWORLD: The Logic of an Agent-Oriented DAI Testbed.	ECAI Workshop on Agent Theories, Architectures, and Languages	1994	DBLP DOI BibTeX RDF
22	Geof Staniford, Ray Paton	Simulating Animal Societies with Adaptive Communicating Agents.	ECAI Workshop on Agent Theories, Architectures, and Languages	1994	DBLP DOI BibTeX RDF
22	Jun Huang, Nicholas R. Jennings, John Fox 0001	An Agent Architecture for Distributed Medical Care.	ECAI Workshop on Agent Theories, Architectures, and Languages	1994	DBLP DOI BibTeX RDF
22	Alessandro Cimatti, Luciano Serafini	Multi-Agent Reasoning with Belief Contexts: The Approach and a Case Study.	ECAI Workshop on Agent Theories, Architectures, and Languages	1994	DBLP DOI BibTeX RDF
22	Arndt Bode, Mario Dal Cin (eds.)	Parallel Computer Architectures: Theory, Hardware, Software, Applications	Parallel Computer Architectures	1993	DBLP DOI BibTeX RDF
22		USENIX Microkernels and Other Kernel Architectures Symposium, September 20-23, 1993, San Diego, California, USA	USENIX Microkernels and Other Kernel Architectures Symposium	1993	DBLP BibTeX RDF
22	Ytzhak H. Levendel	Fault Tolerance Cost Effectiveness.	Hardware and Software Architectures for Fault Tolerance	1993	DBLP DOI BibTeX RDF
22	David Liddell	Simple Design Makes Reliable Computers.	Hardware and Software Architectures for Fault Tolerance	1993	DBLP DOI BibTeX RDF
22	E. N. Elnozahy	Fault Tolerance for Clusters of Workstations.	Hardware and Software Architectures for Fault Tolerance	1993	DBLP DOI BibTeX RDF
22	Ram Chillarege	Top Five Challenges Facing the Practice of Fault Tolerance.	Hardware and Software Architectures for Fault Tolerance	1993	DBLP DOI BibTeX RDF
22	Yennun Huang, Chandra M. R. Kintala, Pankaj Jalote	Two Techniques for Transient Software Error Recovery.	Hardware and Software Architectures for Fault Tolerance	1993	DBLP DOI BibTeX RDF
22	Barry J. Gleeson	Fault Tolerance: Why Should I Pay for It?	Hardware and Software Architectures for Fault Tolerance	1993	DBLP DOI BibTeX RDF
22	Andrea J. Borr, Carol Wilhelmy	Highly-Available Data Services for UNIX Client-Server Networks: Why Fault Tolerant Hardware Isn't the Answer.	Hardware and Software Architectures for Fault Tolerance	1993	DBLP DOI BibTeX RDF
22	Ofir Amir, Yair Amir, Danny Dolev	A Highly Available Application in the Transis Environment.	Hardware and Software Architectures for Fault Tolerance	1993	DBLP DOI BibTeX RDF
22	Jeremy Jones, Brian A. Coghlan	Stable Disk - A Fault Tolerant Cached RAID Subsystem.	Hardware and Software Architectures for Fault Tolerance	1993	DBLP DOI BibTeX RDF
22	Farnam Jahanian	Fault Tolerance in Embedded Real-Time Systems.	Hardware and Software Architectures for Fault Tolerance	1993	DBLP DOI BibTeX RDF
22	David Powell	Distributed Fault Tolerance - Lessons Learned from Delta-4.	Hardware and Software Architectures for Fault Tolerance	1993	DBLP DOI BibTeX RDF
22	Rod Bark	Fault Tolerant Platforms for Emerging Telecommunications Markets.	Hardware and Software Architectures for Fault Tolerance	1993	DBLP DOI BibTeX RDF
22	Kenneth P. Birman	Reliable Enterprise Computing Systems.	Hardware and Software Architectures for Fault Tolerance	1993	DBLP DOI BibTeX RDF
22	Santosh K. Shrivastava	Arjuna and Voltan: Case Studies in Building Fault Tolerant Distributed Systems Using Standard Components.	Hardware and Software Architectures for Fault Tolerance	1993	DBLP DOI BibTeX RDF
22	Dhiraj K. Pradhan, Debendra Das Sharma, Nitin H. Vaidya	Roll-Forward Checkpointing Schemes.	Hardware and Software Architectures for Fault Tolerance	1993	DBLP DOI BibTeX RDF
22	Jaynarayan H. Lala, Richard E. Harper	Fault Tolerance in Embedded Real-Time Systems: Importance and Treatment of Common Mode Failures.	Hardware and Software Architectures for Fault Tolerance	1993	DBLP DOI BibTeX RDF
22	Jim Lipkis, Marc Rozier	Fault Tolerance Enablers in the CHORUS Microkernel.	Hardware and Software Architectures for Fault Tolerance	1993	DBLP DOI BibTeX RDF
22	W. Kent Fuchs, Wen-mei W. Hwu, Neal J. Alewine	Application of Compiler-Assisted Rollback Recovery to Speculative Execution Repair.	Hardware and Software Architectures for Fault Tolerance	1993	DBLP DOI BibTeX RDF
22	Gilles Muller	A Reliable Client-Server Model on Top of a Micro-Kernel.	Hardware and Software Architectures for Fault Tolerance	1993	DBLP DOI BibTeX RDF
22	Hermann Kopetz	The Systematic Design of Large Real-Time Systems or Interface Simplicity.	Hardware and Software Architectures for Fault Tolerance	1993	DBLP DOI BibTeX RDF
22	Jehan-François Pâris	The Management of Replicated Data.	Hardware and Software Architectures for Fault Tolerance	1993	DBLP DOI BibTeX RDF
22	Peter A. Lee	Software-Faults: The Remaining Problem in Fault Tolerant Systems?	Hardware and Software Architectures for Fault Tolerance	1993	DBLP DOI BibTeX RDF
22	Michel Banâtre, Alain Gefflaut, Christine Morin	Scalable Shared Memory Multiprocessors: Some Ideas to Make Them Reliable.	Hardware and Software Architectures for Fault Tolerance	1993	DBLP DOI BibTeX RDF
22	C. Douglass Locke	Fault Tolerant Applications Systems: A Requirements Perspective.	Hardware and Software Architectures for Fault Tolerance	1993	DBLP DOI BibTeX RDF