Search results for "Incarnations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
89	Hagit Attiya, Rinat Rappoport	The Level of Handshake Required for Managing a Connection.	Distributed Comput.	1997	DBLP DOI BibTeX RDF	Conncection management, TCP-Memory requirements, Incarnations, Transport layer, Handshake
54	Naren Ramakrishnan	From the Area Editor: Search-The New Incarnations.	Computer	2007	DBLP DOI BibTeX RDF
36	Duncan Hughes	Silent risk: new incarnations of longstanding threats.	Netw. Secur.	2016	DBLP DOI BibTeX RDF
36	William McCune, Larry Wos	Otter - The CADE-13 Competition Incarnations.	J. Autom. Reason.	1997	DBLP DOI BibTeX RDF
36	Michael Codish, Bart Demoen	Deriving Polymorphic Type Dependencies for Logic Programs using Multiple Incarnations of Prop.	GULP-PRODE (1)	1994	DBLP BibTeX RDF
36	Michael Codish, Bart Demoen	Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop.	ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages	1994	DBLP BibTeX RDF
36	Michael Codish, Bart Demoen	Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop.	SAS	1994	DBLP DOI BibTeX RDF
35	Hagit Attiya, Shlomi Dolev, Jennifer L. Welch	Connection management without retaining information.	HICSS (2)	1995	DBLP DOI BibTeX RDF	serial incarnation management, message transfer, connection management protocols, node crashes, performance evaluation, protocols, computer network, wide area networks, wide area network, connection management, state information
17	Rasmus Gude	Digital hospitality: expressing hospitality towards guests in smart homes using private and domestic displays.	AVI	2010	DBLP DOI BibTeX RDF	digital hospitality, group interfaces, ubiquitous computing technologies, mobile user interfaces
17	Matthew Might, Yannis Smaragdakis, David Van Horn	Resolving and exploiting the k-CFA paradox: illuminating functional vs. object-oriented program analysis.	PLDI	2010	DBLP DOI BibTeX RDF	k-cfa, m-cfa, object-oriented, static analysis, functional, pointer analysis, control-flow analysis
17	Baba Piprani	A Model for Semantic Equivalence Discovery for Harmonizing Master Data.	OTM Workshops	2009	DBLP DOI BibTeX RDF	Master Data, data equivalency, semantic interoperability, Entity Resolution, Semantic Equivalence
17	Javier Esparza	Stochastic Process Creation.	MFCS	2009	DBLP DOI BibTeX RDF
17	Asia Slowinska, Herbert Bos	Pointless tainting?: evaluating the practicality of pointer tainting.	EuroSys	2009	DBLP DOI BibTeX RDF	dynamic taint analysis, pointer tainting
17	Radovan Janecek	Service Oriented Architecture Pitfalls.	SOFSEM	2009	DBLP DOI BibTeX RDF
17	Michael N. Huhns	From DPS to MAS to ...: continuing the trends.	AAMAS (1)	2009	DBLP BibTeX RDF	MAS application description, cross-cutting focus, distributed and social system inspiration
17	Danilo Beuche, Jens Weiland	Managing Flexibility: Modeling Binding-Times in Simulink.	ECMDA-FA	2009	DBLP DOI BibTeX RDF
17	Marie Hicks	Repurposing Turing's "Human Brake".	IEEE Ann. Hist. Comput.	2008	DBLP DOI BibTeX RDF
17	Ritesh Maheshwari, Shweta Jain 0001, Samir R. Das	A measurement study of interference modeling and scheduling in low-power wireless networks.	SenSys	2008	DBLP DOI BibTeX RDF	tdma, interference model
17	Jan Smans, Bart Jacobs 0002, Frank Piessens	VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language.	FMOODS	2008	DBLP DOI BibTeX RDF
17	Grady Booch	It Is What It Is Because It Was What It Was.	IEEE Softw.	2007	DBLP DOI BibTeX RDF	software engineering, architecture, problem solving, architectural pattern
17	Ivan Damgård	A "proof-reading" of Some Issues in Cryptography.	ICALP	2007	DBLP DOI BibTeX RDF
17	Mary Anne L. Egan	Teaching a "women in computer science" course.	ITiCSE	2007	DBLP DOI BibTeX RDF	gender disparity, computer science education, women
17	Paul Frenger	Ten years of Forth in ACM Sigplan Notices: part 2.	ACM SIGPLAN Notices	2006	DBLP DOI BibTeX RDF
17	Patrick Th. Eugster	Uniform proxies for Java.	OOPSLA	2006	DBLP DOI BibTeX RDF	Java, transformation, proxy, future
17	Vladimír Bergl, Martin Cmejrek, Martin Fanta, Martin Labský, Ladislav Serédi, Jan Sedivý, Lubos Ures	CarDialer: multi-modal in-vehicle cellphone control application.	ICMI	2006	DBLP DOI BibTeX RDF	name dialer, vehicle information system, multi-modal, automated speech recognition
17	Elisabeth André	Engaging in a Conversation with Synthetic Agents along the Virtuality Continuum.	IAT	2006	DBLP DOI BibTeX RDF
17	Alok Garg, M. Wasiur Rashid, Michael C. Huang 0001	Slackened Memory Dependence Enforcement: Combining Opportunistic Forwarding with Decoupled Verification.	ISCA	2006	DBLP DOI BibTeX RDF
17	Moe Thandar Wynn, David Edmond, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede	Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets.	ICATPN	2005	DBLP DOI BibTeX RDF	OR-join, synchronizing merge, Reset nets, Petri nets, Workflow patterns, YAWL
17	Robert Martinez, Torgeir Enkerud	The Importance of Single-Source Engineering of Emergency and Process Shutdown Systems.	SAFECOMP	2005	DBLP DOI BibTeX RDF
17	Dietmar Berwanger, Erich Grädel	Entanglement - A Measure for the Complexity of Directed Graphs with Applications to Logic and Games.	LPAR	2004	DBLP DOI BibTeX RDF
17	Amit P. Sheth, Sanjeev Thacker, Shuchi Patel	Complex relationships and knowledge discovery support in the InfoQuilt system.	VLDB J.	2003	DBLP DOI BibTeX RDF
17	Chang-Shing Perng, David Thoenen, Genady Grabarnik, Sheng Ma, Joseph L. Hellerstein	Data-driven validation, completion and construction of event relationship networks.	KDD	2003	DBLP DOI BibTeX RDF	ERN Construction, ERN Validation, action oriented-analysis, event management methodology, event relationship networks, proactive management, root cause analysis
17	Sabine Glesner	ASMs versus Natural Semantics: A Comparison with New Insights.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
17	John Morris	Reconfigurable Logic: A Saviour for Experimental Computer Architecture Research.	Asia-Pacific Computer Systems Architecture Conference	2003	DBLP DOI BibTeX RDF	programmable hardware, data flow, stereo correspondence, Reconfigurable logic, asynchronous logic
17	Yvonne Coady, Gregor Kiczales	Back to the future: a retroactive study of aspect evolution in operating system code.	AOSD	2003	DBLP DOI BibTeX RDF
17	Hyeong In Choi, Doo Seok Lee, Hwan Pyo Moon	Clifford Algebra, Spin Representation, and Rational Parameterization of Curves and Surfaces.	Adv. Comput. Math.	2002	DBLP DOI BibTeX RDF
17	Horst F. Wedde, Sabine Böhm, Wolfgang Freund	Adaptive Protocols For Survivability Of Transactions Operating On Replicated Objects.	WORDS	2001	DBLP DOI BibTeX RDF	adaptive transaction management, adaptive concurrency control, real-time systems, safety-critical systems, Distributed operating systems
17	Thomas Genssler, Welf Löwe	Correct Composition of Distributed Systems.	TOOLS (31)	1999	DBLP DOI BibTeX RDF	Aspect Separation, Components, Efficiency, Compatibility, Connectors
17	Quoc Bao Vo, Joe Thurbon	Semantics for Pollock's Defeasible Reasoning.	Australian Joint Conference on Artificial Intelligence	1999	DBLP DOI BibTeX RDF
17	Ranga Vemuri, R. Kalyanaraman	Generation of design verification tests from behavioral VHDL programs using path enumeration and constraint programming.	IEEE Trans. Very Large Scale Integr. Syst.	1995	DBLP DOI BibTeX RDF
17	Hagit Attiya, Rinat Rappoport	The Level of Handshake Required for Establishing a Connection.	WDAG	1994	DBLP DOI BibTeX RDF	incarnation, connectionless network, transport protocols, connection management
17	Thomas R. Dean, David Alex Lamb	A theory model core for module interconnection languages.	CASCON	1994	DBLP BibTeX RDF