Search results for "circus"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	Alistair A. McEwan	A Circus Development and Verification of an Internet Packet Filter.	CPA	2006	DBLP BibTeX RDF
23	Leonardo Freitas	Model checking Circus.		2005	RDF
23	Marcel Vinícius Medeiros Oliveira	Formal derivation of state-rich reactive programs using Circus.		2005	RDF
23	Geguang Pu, Zongyan Qiu, Jifeng He 0001	Integrating Time and Resource into Circus.	SBMF	2004	DBLP DOI BibTeX RDF
23	Stergios V. Anastasiadis, Rajiv Wickremesinghe, Jeffrey S. Chase	Circus: Opportunistic Block Reordering for Scalable Content Servers.	FAST	2004	DBLP BibTeX RDF
23	HoonSang Jin, Fabio Somenzi	CirCUs: A Hybrid Satisfiability Solver.	SAT	2004	DBLP BibTeX RDF
23	Ana Cavalcanti 0001, Jim Woodcock 0001	Predicate transformers in the semantics of Circus.	IEE Proc. Softw.	2003	DBLP DOI BibTeX RDF
23	Jim Woodcock 0001	Using Circus for Safety-critical Applications.	WMF	2003	DBLP DOI BibTeX RDF
23	Susan M. Stocklmayer	What makes a successful outreach program? An outline of the Shell Questacon Science Circus.	Int. J. Technol. Manag.	2003	DBLP DOI BibTeX RDF
23	Ana Cavalcanti 0001, Augusto Sampaio, Jim Woodcock 0001	Refinement of actions in Circus.	Refine	2002	DBLP DOI BibTeX RDF
23	Marilyn Kay Harhai	Maybe It's Not Too Late to Join the Circus: Books for Midlife Career Management.	Libr. Trends	2002	DBLP BibTeX RDF
23	Flavia Sparacino, Glorianna Davenport, Alex Pentland	Media in performance: Interactive spaces for dance, theater, circus, and museum exhibits.	IBM Syst. J.	2000	DBLP DOI BibTeX RDF
23	M. E. Kabay	Monty Python's flying circus: Microsoft and the aircraft carriers.	Ubiquity	2000	DBLP DOI BibTeX RDF
23	Mark E. Hartmann, Özgür Özlük	Solving the Traveling Circus Problem by Branch & Cut.	Electron. Notes Discret. Math.	1999	DBLP DOI BibTeX RDF
23	Jean-Yves Vion-Dury	CIRCUS, un générateur de composants pour le traitement des langages visuels et textuels.		1999	RDF
23	Wendy G. Lehnert, Joseph F. McCarthy, Stephen Soderland, Ellen Riloff, Claire Cardie, Jon Peterson, Fangfang Feng	UMASS/HUGHES: Description Of The Circus System Used For Tipster Text.	TIPSTER	1993	DBLP BibTeX RDF
23	Wendy G. Lehnert, Joseph F. McCarthy, Stephen Soderland, Ellen Riloff, Claire Cardie, Jon Peterson, Fangfang Feng, Charles Dolan, Seth Goldman	UMass/Hughes: description of the CIRCUS system used for MUC-5.	MUC	1993	DBLP DOI BibTeX RDF
23	Andrej Blaho, Ivan Kalas	Thomash the Clown's Circus: Order in Action in Picture Languages.	Informatics and Changes in Learning	1993	DBLP BibTeX RDF
23	Eric C. Cooper	Circus: A Replicated Procedure Call Facility.	Symposium on Reliability in Distributed Software and Database Systems	1984	DBLP BibTeX RDF
18	Anthony Savidis, Panagiotis Papadakos, George Zargianakis	Rapid visual design with semantics encoding through 3d CRC cards.	SOFTVIS	2008	DBLP DOI BibTeX RDF	visual design encoding, visual software design, rapid prototyping
18	Alessandro Cavalcante Gurgel, Cristiano Gurgel de Castro, Marcel Vinícius Medeiros Oliveira	Tool Support for the CircusRefinement Calculus.	ABZ	2008	DBLP DOI BibTeX RDF
18	Joe Marshall, Steve Benford, Tony P. Pridmore	Eye-balls: juggling with the virtual.	Creativity & Cognition	2007	DBLP DOI BibTeX RDF	juggling, performance, computer vision, interactive art
18	Leo Freitas, Ana Cavalcanti 0001, Jim Woodcock 0001	Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking.	ICFEM	2006	DBLP DOI BibTeX RDF
18	Jim Woodcock 0001	An Operational Semantics in UTP for a Language of Reactive Designs (Abstract).	UTP	2006	DBLP DOI BibTeX RDF
18	Marcel Oliveira, Ana Cavalcanti 0001, Jim Woodcock 0001	Unifying Theories in ProofPower-Z.	UTP	2006	DBLP DOI BibTeX RDF	Unifying Theories of Programming, theorem prover
18	Newton Lee	A word from the editor.	Comput. Entertain.	2004	DBLP DOI BibTeX RDF
18	Emmanuel Pietriga, Jean-Yves Vion-Dury	VXT: Visual XML Transformer.	HCC	2001	DBLP DOI BibTeX RDF