Search results for "Open Systems"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	S. Pappe, Wolfgang Effelsberg, Winfried Lamersdorf	Database Access in Open Systems.	Networking in Open Systems	1986	DBLP DOI BibTeX RDF
3	Moris Behnam, Insik Shin, Thomas Nolte, Mikael Nolin	SIRAP: a synchronization protocol for hierarchical resource sharingin real-time open systems.	EMSOFT	2007	DBLP DOI BibTeX RDF	SIRAP, real-time open systems, real-time subsystem integration, resource sharing, hierarchical scheduling, synchronization protocol
3	Ejub Kajan	The maturity of open systems for B2B.	SIGecom Exchanges	2004	DBLP DOI BibTeX RDF	middleware, interoperability, standards, open systems, B2B
3	Clay Spinuzzi	Documentation, participatory citizenship, and the web: the potential of open systems.	SIGDOC	2002	DBLP DOI BibTeX RDF	open systems, customer relationship management
3	James F. Leathrum, K. A. Liburdy	A formal approach to requirements based testing in open systems standards. (PDF / PS)	ICRE	1996	DBLP DOI BibTeX RDF	requirements based testing, IEEE POSIX arena, open systems standards, full scale conformance test suite development, executable tests, Clemson Automated Testing System, design taxonomy, IEEE Std 10035-The Ada Language Binding to POSIX, formal specification, testing, systems analysis, open systems, conformance testing, IEEE standards, software standards, automatic translation, test requirements, formal approach
3	Gregor von Bochmann, Rachida Dssouli, J. R. Zhao	Trace Analysis for Conformance and Arbitration Testing.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	arbitration testing, implementation under test, IUT, communication protocol implementations, distributed test architectures, partial input/output traces, local observers, error-detection power, global knowledge, automated construction, trace analysis modules, reference specification, open systems interconnection, formal specification, protocols, transport protocol, program testing, open systems, conformance testing, conformance testing, OSI
3	Carl Hewitt	Offices Are Open Systems.	ACM Trans. Inf. Syst.	1986	DBLP DOI BibTeX RDF	due process, microtheories, decision making, negotiation, logic, open systems, debate, offices
3	Robert P. Blanc	NBS Program in Open Systems Interconnections (OSI).	Networking in Open Systems	1986	DBLP DOI BibTeX RDF
3	David Rayner	Methodology and Framework for OSI Conformance Testing.	Networking in Open Systems	1986	DBLP DOI BibTeX RDF
2	Gul Agha, Olivier Danvy, José Meseguer (eds.)	Formal Modeling: Actors, Open Systems, Biological Systems - Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday	Formal Modeling: Actors, Open Systems, Biological Systems	2011	DBLP DOI BibTeX RDF
2	Lars Hartmann, Neil D. Jones, Jakob Grue Simonsen, Søren Bjerregaard Vrist	Computational Biology: A Programming Perspective.	Formal Modeling: Actors, Open Systems, Biological Systems	2011	DBLP DOI BibTeX RDF
2	Leila Jalali, Sharad Mehrotra, Nalini Venkatasubramanian	Multisimulations: Towards Next Generation Integrated Simulation Environments.	Formal Modeling: Actors, Open Systems, Biological Systems	2011	DBLP DOI BibTeX RDF
2	Mark-Oliver Stehr, Carolyn L. Talcott, John M. Rushby, Patrick Lincoln, Minyoung Kim, Steven Cheung, Andy Poggio	Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term Vision.	Formal Modeling: Actors, Open Systems, Biological Systems	2011	DBLP DOI BibTeX RDF
2	Sylvan Pinsky	Honoring Carolyn Talcott's Contributions to Science.	Formal Modeling: Actors, Open Systems, Biological Systems	2011	DBLP DOI BibTeX RDF
2	Carlos Henrique C. Duarte	Mathematical Models of Object-Based Distributed Systems.	Formal Modeling: Actors, Open Systems, Biological Systems	2011	DBLP DOI BibTeX RDF
2	Hanne Riis Nielson, Flemming Nielson, Jörg Kreiker, Henrik Pilegaard	From Explicit to Symbolic Types for Communication Protocols in CCS.	Formal Modeling: Actors, Open Systems, Biological Systems	2011	DBLP DOI BibTeX RDF
2	Ashish Gehani, Lee Zaniewski, K. Subramani	Algorithmic Aspects of Risk Management.	Formal Modeling: Actors, Open Systems, Biological Systems	2011	DBLP DOI BibTeX RDF
2	Steven Eker	Fast Sort Computations for Order-Sorted Matching and Unification.	Formal Modeling: Actors, Open Systems, Biological Systems	2011	DBLP DOI BibTeX RDF
2	Peter Csaba Ölveczky	Semantics, Simulation, and Formal Analysis of Modeling Languages for Embedded Systems in Real-Time Maude.	Formal Modeling: Actors, Open Systems, Biological Systems	2011	DBLP DOI BibTeX RDF
2	Farhad Arbab	Puff, The Magic Protocol.	Formal Modeling: Actors, Open Systems, Biological Systems	2011	DBLP DOI BibTeX RDF
2	Solomon Feferman	Two PhD Students for the Price of One.	Formal Modeling: Actors, Open Systems, Biological Systems	2011	DBLP DOI BibTeX RDF
2	Kyung-Goo Doh, Hyunha Kim, David A. Schmidt	Abstract LR-Parsing.	Formal Modeling: Actors, Open Systems, Biological Systems	2011	DBLP DOI BibTeX RDF
2	Francisco Durán, Camilo Rocha, José M. Álvarez	Towards a Maude Formal Environment.	Formal Modeling: Actors, Open Systems, Biological Systems	2011	DBLP DOI BibTeX RDF
2	Anupama Panikkar, Merrill Knapp, Huaiyu Mi, Dave Anderson, Krishna Kodukula, Amit K. Galande, Carolyn L. Talcott	Applications of Pathway Logic Modeling to Target Identification.	Formal Modeling: Actors, Open Systems, Biological Systems	2011	DBLP DOI BibTeX RDF
2	Matthias M. Hölzl, Martin Wirsing	Towards a System Model for Ensembles.	Formal Modeling: Actors, Open Systems, Biological Systems	2011	DBLP DOI BibTeX RDF
2	Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil Dutt, Nalini Venkatasubramanian	A Formal Methodology for Compositional Cross-Layer Optimization.	Formal Modeling: Actors, Open Systems, Biological Systems	2011	DBLP DOI BibTeX RDF
2	Shangping Ren, Yue Yu, Miao Song 0004	Model Feasible Interactions in Distributed Real-Time Systems.	Formal Modeling: Actors, Open Systems, Biological Systems	2011	DBLP DOI BibTeX RDF
2	Sam Owre, Natarajan Shankar	Solving the First Verified Software Competition Problems Using PVS.	Formal Modeling: Actors, Open Systems, Biological Systems	2011	DBLP DOI BibTeX RDF
2	Manuel Clavel, Narciso Martí-Oliet, Miguel Palomino	Parameterized Metareasoning in Membership Equational Logic.	Formal Modeling: Actors, Open Systems, Biological Systems	2011	DBLP DOI BibTeX RDF
2	Devis Bianchini, Francesco Pagliarecci, Luca Spalazzi	From Service Identification to Service Selection: An Interleaved Perspective.	Formal Modeling: Actors, Open Systems, Biological Systems	2011	DBLP DOI BibTeX RDF
2	Marjan Sirjani, Mohammad Mahdi Jaghoori	Ten Years of Analyzing Actors: Rebeca Experience.	Formal Modeling: Actors, Open Systems, Biological Systems	2011	DBLP DOI BibTeX RDF
2	Daniel Schneider, Mario Trapp	Conditional safety certificates in open systems.	EDCC-CARS	2010	DBLP DOI BibTeX RDF	ad-hoc systems, conditional safety certificates, plug&safe, adaptivity, safety, open systems
2	Ayalvadi Ganesh, Sarah Lilienthal, D. Manjunath, Alexandre Proutiere, Florian Simatos	Load balancing via random local search in closed and open systems.	SIGMETRICS	2010	DBLP DOI BibTeX RDF	mean field asymptotics, stability analysis
2	Mario Tokoro	Communications and open systems.	IUCS	2009	DBLP DOI BibTeX RDF
2	Nicolas Rapin	Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables.	TAP	2009	DBLP DOI BibTeX RDF	Input Output Symbolic Transition Systems, Verification, Symbolic Execution, Linear Temporal Logic
2	Peter Henderson, Matthew J. Henderson	Consistency Checking for Component Reuse in Open Systems.	ICSR	2009	DBLP DOI BibTeX RDF
2	Philippe Aniorté, Jérôme Lacouture	CompAA : A Self-Adaptable Component Model for Open Systems.	ECBS	2008	DBLP DOI BibTeX RDF	Agent, Component, Dynamics, Self-adaptation
2	Rowan Martin-Hughes, Jochen Renz	Examining the motivations of defection in large-scale open systems.	SAC	2008	DBLP DOI BibTeX RDF	game theory, defection, reputation systems, online auctions
2	Arjan van der Schaft, Bernhard Maschke	Conservation laws and open systems on higher-dimensional networks.	CDC	2008	DBLP DOI BibTeX RDF
2	René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst	Static Validation of Licence Conformance Policies.	ARES	2008	DBLP DOI BibTeX RDF	static analysis, open systems, policy enforcement
2	Nicoletta Fornara, Francesco Viganò, Mario Verdicchio, Marco Colombetti	Artificial institutions: a model of institutional reality for open multiagent systems.	Artif. Intell. Law	2008	DBLP DOI BibTeX RDF	Artificial institutions, Open systems, Commitments, Norms, Conventions
2	Behzad Bastani	A requirements analysis framework for open systems requirements engineering.	ACM SIGSOFT Software Engineering Notes	2007	DBLP DOI BibTeX RDF	odeling, operational requirements management, requirements and architecture modeling, design, framework, specification, design patterns, requirements engineering, abstractions, methodologies, method, requirements analysis
2	Clay Spinuzzi	Learning our ABCs: accessibility, bottlenecks, and control in an organized research unit's website.	SIGDOC	2007	DBLP DOI BibTeX RDF	sociotechnical change, open systems, content management systems
2	Liang Song, Dimitrios Hatzinakos	A cross-layer architecture of wireless sensor networks for target tracking.	IEEE/ACM Trans. Netw.	2007	DBLP DOI BibTeX RDF	embedded wireless interconnect, open systems interconnect, wireless sensor networks, medium access control, target tracking, application layer
2		Open Systems for Online Face Recognition.	Encyclopedia of Multimedia	2006	DBLP DOI BibTeX RDF
2	Xianghua Deng, Jooyong Lee, Robby	Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems.	ASE	2006	DBLP DOI BibTeX RDF
2	Irem Aktug, Dilian Gurov	State Space Representation for Verification of Open Systems.	AMAST	2006	DBLP DOI BibTeX RDF
2	Chuchang Liu, Mehmet A. Orgun	Towards security labelling.	ACSC	2006	DBLP DOI BibTeX RDF	label validation, security policy, open systems, security labelling
2	Emil A. Stoyanov, Markus Alexander Wischy, Dieter Roller	Using managed communication channels in software components.	Conf. Computing Frontiers	2006	DBLP DOI BibTeX RDF	managed communication, software evolution, autonomic computing, open systems, software interoperability
2	Erika Ábrahám, Andreas Grüner, Martin Steffen	Abstract Interface Behavior of Object-Oriented Languages with Monitors.	FMOODS	2006	DBLP DOI BibTeX RDF	oo languages, thread-based concurrency, observable behavior, monitors, open systems, formal semantics
2	Maíra A. de C. Gatti, Gustavo R. de Carvalho, Rodrigo B. de Paes, Carlos José Pereira de Lucena, Jean-Pierre Briot	On Fault Tolerance in Law-Governed Multi-agent Systems.	SELMAS	2006	DBLP DOI BibTeX RDF	Law-Governed Approach, Dependability of Open Systems, Fault Tolerance, Multi-Agent Systems, Reliability, Requirements, Availability, Open Systems, Criticality
2	Nguyen Truong Thang, Takuya Katayama	Constructing Open Systems via Consistent Components.	ICTAC	2005	DBLP DOI BibTeX RDF
2	Michael Gibbons, Sungsoo Yoon, Sung-Hyuk Cha, Charles C. Tappert	Evaluation of Biometric Identification in Open Systems.	AVBPA	2005	DBLP DOI BibTeX RDF
2	Joachim Fischer, Toby Neumann, Anders Olsen	SDL Code Generation for Open Systems.	SDL Forum	2005	DBLP DOI BibTeX RDF
2	Munindar P. Singh, Amit K. Chopra, Nirmit Desai, Ashok U. Mallya	Protocols for processes: programming in the large for open systems.	SIGPLAN Notices	2004	DBLP DOI BibTeX RDF	business processes, open systems, interaction protocols
2	Paolo Baldan, Andrea Bracciali, Roberto Bruni	Symbolic Equivalences for Open Systems.	Global Computing	2004	DBLP DOI BibTeX RDF
2	Munindar P. Singh, Amit K. Chopra, Nirmit Desai, Ashok U. Mallya	Protocols for processes: programming in the large for open systems (extended abstract).	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	business processes, open systems, interaction protocols
2	Keith Irwin, Ting Yu	An identifiability-based access control model for privacy protection in open systems.	WPES	2004	DBLP DOI BibTeX RDF	identifiability-based access control
2	Patrice Godefroid	Reasoning about Abstract Open Systems with Generalized Module Checking.	EMSOFT	2003	DBLP DOI BibTeX RDF
2	André P. Meyer	Privacy-Aware Mobile Agent: Protecting Privacy in Open Systems by Modelling Social Behaviour of Software Agents.	ESAW	2003	DBLP DOI BibTeX RDF
2	Luca de Alfaro	Game Models for Open Systems.	Verification: Theory and Practice	2003	DBLP DOI BibTeX RDF
2	Michael Rovatsos, Matthias Nickles, Gerhard Weiß	Interaction is meaning: a new model for communication in open systems.	AAMAS	2003	DBLP DOI BibTeX RDF	evolutionary semantics, agent communication languages
2	Matthias Nickles, Gerhard Weiß	Agent-Based Social Assessment of Shared Resources.	AP2PC	2003	DBLP DOI BibTeX RDF	Multidimensional Rating, Semantic Web, Collaborative Filtering, Open Systems, Peer-to-Peer Computing
2	John Leaney, David Rowe, Tim O'Neill	Issues in the construction of new measures within the discipline of Open Systems.	APSEC	2002	DBLP DOI BibTeX RDF
2	Simon Miles, Mike Joy, Michael Luck	Towards a Methodology for Coordination Mechanism Selection in Open Systems.	ESAW	2002	DBLP DOI BibTeX RDF
2	Thomas Juan, Adrian R. Pearce, Leon Sterling	ROADMAP: extending the gaia methodology for complex open systems.	AAMAS	2002	DBLP DOI BibTeX RDF	agent organization, multi-agent system, methodology, open system, agent oriented software engineering, knowledge model
2	Harry C. Li, Shriram Krishnamurthi, Kathi Fisler	Verifying cross-cutting features as open systems.	SIGSOFT FSE	2002	DBLP DOI BibTeX RDF	feature-oriented design, model checking, software architecture, aspect-oriented programming, feature interaction, compositional reasoning, computer-aided verification
2	Michael Rovatsos, Gerhard Weiß, Marco Wolf	Multiagent Learning for Open Systems: A Study in Opponent Classification.	Adaptive Agents and Multi-Agents Systems	2002	DBLP DOI BibTeX RDF
2	José Antonio Pérez, Rafael Corchuelo, David Ruiz, Miguel Toro	An Order-Based, Distributed Algorithm for Implementing Multiparty Interactions.	COORDINATION	2002	DBLP DOI BibTeX RDF	coordination algorithms, $alpha$-core, open systems, Multiparty interactions
2	Orna Kupferman, P. Madhusudan, P. S. Thiagarajan, Moshe Y. Vardi	Open Systems in Reactive Environments: Control and Synthesis.	CONCUR	2000	DBLP DOI BibTeX RDF
2	Carlos Canal, Lidia Fuentes, José M. Troya, Antonio Vallecillo	Extending CORBA Interfaces with p-Calculus for Protocol Compatibility.	TOOLS	2000	DBLP DOI BibTeX RDF	p-calculus, CORBA, open systems, behavioral specifications, protocol specifications
2	Madhavan Mukund, K. Narayan Kumar, Scott A. Smolka	Faster Model Checking for Open Systems.	ASIAN	1999	DBLP DOI BibTeX RDF
2	Harold W. Lawson, John Leaney, Tim O'Neill	Open Complex Computer Based Systems: Only the First Step along the Way to Safe, Reliable Computing.	ECBS	1999	DBLP DOI BibTeX RDF	Complex Computer Based Systems, Busyware, Valueware, Stableware, Domain openness, Extending CORBA, Open System Engineering, Reducing Complexity, Open Systems
2	Frank Siqueira, Vinny Cahill	Delivering QoS in Open Distributed Systems.	FTDCS	1999	DBLP DOI BibTeX RDF	QoS translation, QoS enforcement, Quality of service, CORBA, open systems, heterogeneous systems, distributed object computing, QoS specification, resource adaptation, QoS architecture
2	Tim O'Neill, John Leaney	Open Complex Computer Systems are No Silver Bullet.	ICECCS	1998	DBLP DOI BibTeX RDF	Complex Computer Systems, CORBA limitations, Open systems, Interface specification, Interface model
2	Moshe Y. Vardi	Verification of Open Systems.	FSTTCS	1997	DBLP DOI BibTeX RDF
2	Tony Belpaeme, Luc Steels, Joris Van Looveren	The Construction and Acquisition of Visual Categories.	EWLR	1997	DBLP DOI BibTeX RDF	origins of language, self-organization, open systems, vision, distributed agents
2	Myong H. Kang, Ira S. Moskowitz, Bruce E. Montrose, James J. Parsonese	A Case Study Of Two Nrl Pump Prototypes.	ACSAC	1996	DBLP DOI BibTeX RDF	NRL Pump, data pump, interconnected computer systems, process layer, 4-layer network reference model, DOS-Pump, D-Pump, event-driven Pump, E-Pump, performance, prototypes, congestion control, case study, fairness, open systems, open systems, covert channels, hardware implementation, secure communication, transport layer, reliable communication, threats, denial-of-service attacks
2	Roman Ginis, Victor Fay Wolfe, Janet J. Prichard	The design of an open system with distributed real-time requirements. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1996	DBLP DOI BibTeX RDF	naval engineering computing, distributed real-time requirements, New Attack Submarine C3I system, US Navy, real-time systems, prototyping, SQL, open systems, open system, client-server systems, command and control systems, research design
2	Doug Lea, Jos Marlowe	Interface-Based Protocol Specification of Open Systems using PSL.	ECOOP	1995	DBLP DOI BibTeX RDF
2	Richard Barker	Managing Open Systems Now that the Glass-house Has Gone.	BNCOD	1994	DBLP DOI BibTeX RDF
2	H. L. James, A. N. Chantler	Logical Access Security in Open Systems Networks.	Local Area Network Applications	1993	DBLP BibTeX RDF
2	Martin Zauner	CASE - Computer-Aided Systems Engineering, a New Approach for Developing IM-Systems with Special Consideration of CIM Systems.	EUROCAST	1993	DBLP DOI BibTeX RDF	active database management systems, client/server concepts, CIM concept, IM concepts, right-sizing, prototyping, open systems, RDBMS
2	Timothy R. Hines	Open Systems Interconnection Abstract Syntax Notation: ASN.CG.	Workshop on Conceptual Graphs	1992	DBLP DOI BibTeX RDF
2	John N. Pocock	VSF and Its Relationship to Open Systems and Standard Repositories.	Software Development Environments and CASE Technology	1991	DBLP DOI BibTeX RDF
2	Volker Tschammer, Klaus-Peter Eckert, Jane Hall, Gerd Schürmann, Linda Strick	OAI - Concepts for Open Systems Cooperation.	Process in Distributed Operating Systems and Distributed Systems Management	1989	DBLP DOI BibTeX RDF
2	Günter Müller, Robert P. Blanc (eds.)	Networking in Open Systems, International Seminar, Oberlech, Austria, August 18-22, 1986, Proceedings	Networking in Open Systems	1987	DBLP BibTeX RDF
2	Berthold Butscher, Michael Tschichholz	Directory System Requirements and the CCITT- Model.	Networking in Open Systems	1986	DBLP DOI BibTeX RDF
2	Alfred Z. Spector	Communication Support in Operating Systems for Distributed Transactions.	Networking in Open Systems	1986	DBLP DOI BibTeX RDF
2	Gesualdo Le Moli	OSI and Research.	Networking in Open Systems	1986	DBLP DOI BibTeX RDF
2	Dennis K. Branstad	Considerations for Security in the OSI Architecture.	Networking in Open Systems	1986	DBLP DOI BibTeX RDF
2	B. Woodward	Management in OSI.	Networking in Open Systems	1986	DBLP DOI BibTeX RDF
2	P. J. Keuhn	ISDN- Technology, Networking Concepts and Applications.	Networking in Open Systems	1986	DBLP DOI BibTeX RDF
2	Chris A. Vissers, Giuseppe Scollo	Formal Specification in OSI.	Networking in Open Systems	1986	DBLP DOI BibTeX RDF
2	Liba Svobodova	Communication Support for Distributed Processing: Design and Implementation Issues.	Networking in Open Systems	1986	DBLP DOI BibTeX RDF
2	Hubert Zimmermann	European Harmonization of OSI Usage and Conformance Testing Services.	Networking in Open Systems	1986	DBLP DOI BibTeX RDF
2	Herbert Eberle, Hermann Schmutz	Network Operating System Kernels for Heterogenous Environments.	Networking in Open Systems	1986	DBLP DOI BibTeX RDF
2	Wilhelm F. Racke, Thomas E. Schütt	Integration of Group Communication into CCITT X.400 Message Handling Systems.	Networking in Open Systems	1986	DBLP DOI BibTeX RDF
2	Richard F. Rashid	Experiences with the Accent Network Operating System.	Networking in Open Systems	1986	DBLP DOI BibTeX RDF
2	Robert J. Sundstrom	SNA: Recent Advances and Additional Requirements.	Networking in Open Systems	1986	DBLP DOI BibTeX RDF