Search results for "Paolo A. G. Sivilotti"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Paolo A. G. Sivilotti, Matthew Lang	Interfaces first (and foremost) with Java.	SIGCSE	2010	DBLP DOI BibTeX RDF	concrete state, abstraction, behavioral specification
1	Matthew Lang, Paolo A. G. Sivilotti	On the Impossibility of Maximal Scheduling for Strong Fairness with Interleaving.	ICDCS	2009	DBLP DOI BibTeX RDF
1	Paolo A. G. Sivilotti, Stacey A. Laugel	Scratching the surface of advanced topics in software engineering: a workshop module for middle school students.	SIGCSE	2008	DBLP DOI BibTeX RDF	K-12 outreach, specifications, refinement, scratch
1	Paolo A. G. Sivilotti, Scott M. Pike	A collection of kinesthetic learning activities for a course on distributed computing: ACM SIGACT news distributed computing column 26.	SIGACT News	2007	DBLP DOI BibTeX RDF
1	Matthew Lang, Paolo A. G. Sivilotti	A Distributed Maximal Scheduler for Strong Fairness.	DISC	2007	DBLP DOI BibTeX RDF
1	Paolo A. G. Sivilotti, Scott M. Pike	The suitability of kinesthetic learning activities for teaching distributed algorithms.	SIGCSE	2007	DBLP DOI BibTeX RDF	concurrency, active learning, pedagogy, reasoning
1	Nigamanth Sridhar, Jason O. Hallstrom, Paolo A. G. Sivilotti	Container-Based Component Deployment: A Case Study.	SEKE	2006	DBLP BibTeX RDF
1	Gregory Buehrer, Bruce W. Weide, Paolo A. G. Sivilotti	Using parse tree validation to prevent SQL injection attacks.	SEM	2005	DBLP DOI BibTeX RDF
1	Brad T. Moore, Paolo A. G. Sivilotti	Plausible Clocks with Bounded Inaccuracy.	DISC	2005	DBLP DOI BibTeX RDF
1	Zhijun Liu, Paolo A. G. Sivilotti	The Impact of Laziness on the Performance of Snapshot Algorithms.	IASTED PDCS	2005	DBLP BibTeX RDF
1	Jason O. Hallstrom, Nigamanth Sridhar, Paolo A. G. Sivilotti, Anish Arora, William Leal	A Container-Based Approach to Object-Oriented Product Lines.	Journal of Object Technology	2004	DBLP DOI BibTeX RDF
1	Scott M. Pike, Paolo A. G. Sivilotti	Dining Philosophers with Crash Locality 1.	ICDCS	2004	DBLP DOI BibTeX RDF
1	Paolo A. G. Sivilotti, Bruce W. Weide	Research, teaching, and service: the miniconference as a model for CS graduate seminar courses.	SIGCSE	2004	DBLP DOI BibTeX RDF	graduate seminar courses, oral and written communication, professional service, technical reviewing, pedagogy
1	Nuh Aydin, Paolo A. G. Sivilotti	Remote Belief: Preserving Volition for Loosely Coupled Processe.	ICDCS	2003	DBLP DOI BibTeX RDF
1	Paolo A. G. Sivilotti, Murat Demirbas	Introducing middle school girls to fault tolerant computing.	SIGCSE	2003	DBLP DOI BibTeX RDF	algorithm anthropomorphism, distributed algorithms, pedagogy, outreach
1	Ayesha Mascarenhas, Paolo A. G. Sivilotti	A Paradigm for Component-based Software Development in a Distributed Environment.	PDPTA	2002	DBLP BibTeX RDF
1	Nigamanth Sridhar, Paolo A. G. Sivilotti	Lazy Snapshorts.	IASTED PDCS	2002	DBLP BibTeX RDF
1	Prakash Krishnamurthy, Paolo A. G. Sivilotti	The Specification and Testing of Quantified Progress Properties in Distributed Systems.	ICSE	2001	DBLP DOI BibTeX RDF
1	Ramesh Jagannathan, Paolo A. G. Sivilotti	Increasing client-side confidence in remote component implementations.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF	trust, CORBA, CORBA, observability, test oracles, distributed components
1	Charles P. Giles, Paolo A. G. Sivilotti	A Tool for Testing Liveness in Distributed Object Systems.	TOOLS	2000	DBLP DOI BibTeX RDF
1	Paolo A. G. Sivilotti, Charles P. Giles	The specification of distributed objects: liveness and locality.	CASCON	1999	DBLP DOI BibTeX RDF	CORBA
1	K. Mani Chandy, Paolo A. G. Sivilotti, Joseph Kiniry	A Cottage Industry of Software Publishing: Implications for Theories of Composition.	IPPS/SPDP Workshops	1998	DBLP DOI BibTeX RDF
1	Paolo A. G. Sivilotti	A class of synchronization systems that permit the use of large atomic blocks.	CASCON	1998	DBLP DOI BibTeX RDF
1	K. Mani Chandy, Adam Rifkin, Paolo A. G. Sivilotti, J. Mandelson, M. Richardson, W. Tanaka, L. Weisman	A World-Wide Distributed System Using Java and the Internet. (PDF / PS)	HPDC	1996	DBLP DOI BibTeX RDF	world-wide distributed system, software layer, remote procedure invocation mechanisms, Java, Internet, Internet, specification, groupware, distributed processing, software components, threads, object-oriented languages, object-oriented language, messaging, peer-to-peer communication, object request brokers
1	Paolo A. G. Sivilotti	A Verified Integration of Parallel Programming Paradigms in CC++.	IPPS	1994	DBLP BibTeX RDF

Publications of "Paolo A. G. Sivilotti" ( http://dblp.L3S.de/Authors/Paolo_A._G._Sivilotti )