Search results for "preconditions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Anne Gerdes	Revealing preconditions for trustful collaboration in CSCL.	Int. J. Comput. Support. Collab. Learn.	2010	DBLP DOI BibTeX RDF
20	Roman Beck, Oliver Marschollek, Robert Wayne Gregory	Establishing Preconditions for Spanning the Boundaries in Public Private IT Megaprojects.	Int. J. Inf. Technol. Proj. Manag.	2010	DBLP DOI BibTeX RDF
20	Risto Silvola, Olli Jaaskelainen, Hanna Kropsu-Vehkapera, Harri Haapasalo	Managing One Master Data - Challenges and Preconditions.	Ind. Manag. Data Syst.	2010	DBLP DOI BibTeX RDF
20	Flemming Andreasen, Gonzalo Camarillo, David Oran, Dan Wing	Connectivity Preconditions for Session Description Protocol (SDP) Media Streams.	RFC	2010	DBLP DOI BibTeX RDF
20	Roman Gielerak, Marek Sawerwain	Generalised quantum weakest preconditions.	Quantum Inf. Process.	2010	DBLP DOI BibTeX RDF
20	Markus Aderhold	Second-Order Programs with Preconditions.	Verification, Induction, Termination Analysis	2010	DBLP DOI BibTeX RDF
20	Yi Wei 0001, Serge Gebhardt, Bertrand Meyer 0001, Manuel Oriol	Satisfying Test Preconditions through Guided Object Selection.	ICST	2010	DBLP DOI BibTeX RDF	precondition satisfaction, linear constraint solving, random testing
20	Andrey Khurri, Sakari Luukkainen	Identification of preconditions for an emerging mobile LBS market.	J. Locat. Based Serv.	2009	DBLP DOI BibTeX RDF
20	Hankz Hankui Zhuo, Derek Hao Hu, Chad Hogg, Qiang Yang 0001, Hector Muñoz-Avila	Learning HTN Method Preconditions and Action Models from Partial Observations.	IJCAI	2009	DBLP BibTeX RDF
20	Ulrika H. Westergren, Jonny Holmström	Outsourcing as Open Innovation: Exploring Preconditions for the Open Innovation Model inthe Process Industry.	ICIS	2008	DBLP BibTeX RDF
20	Maria Knobelsdorf	A typology of CS students' preconditions for learning.	Koli Calling	2008	DBLP DOI BibTeX RDF
20	Fatemeh Nargesian, Gholamreza Ghassem-Sani	LHTNDT: Learn HTN Method Preconditions using Decision Tree.	ICINCO-ICSO	2008	DBLP BibTeX RDF
20	Mingsheng Ying, Jianxin Chen, Yuan Feng 0001, Runyao Duan	Commutativity of quantum weakest preconditions.	Inf. Process. Lett.	2007	DBLP DOI BibTeX RDF
20	Palmira Peciuliauskiene, Marija Barkauskaite	Would-Be Teachers' Competence in Applying ICT: Exposition and Preconditions for Development.	Informatics Educ.	2007	DBLP DOI BibTeX RDF
20	Flemming Andreasen, Dan Wing	Security Preconditions for Session Description Protocol (SDP) Media Streams.	RFC	2007	DBLP DOI BibTeX RDF
20	Gerry Stahl	Meaning making in CSCL: conditions and preconditions for cognitive processes by groups.	CSCL	2007	DBLP BibTeX RDF
20	Ellie D'Hondt, Prakash Panangaden	Quantum weakest preconditions.	Math. Struct. Comput. Sci.	2006	DBLP DOI BibTeX RDF
20	Ahmed Ait-Bouziad, Irène Guessarian, Laurent Vieille	Automatic generation of simplified weakest preconditions for integrity constraint verification	CoRR	2006	DBLP BibTeX RDF
20	Amel Mammar, Frédéric Gervais, Régine Laleau	Systematic Identification of Preconditions from Set-Based Integrity Constraints.	INFORSID	2006	DBLP BibTeX RDF
20	K. Rustan M. Leino	Efficient weakest preconditions.	Inf. Process. Lett.	2005	DBLP DOI BibTeX RDF
20	Gonzalo Camarillo, Paul Kyzivat	Update to the Session Initiation Protocol (SIP) Preconditions Framework.	RFC	2005	DBLP DOI BibTeX RDF
20	Okhtay Ilghami, Dana S. Nau, Héctor Muñoz-Avila, David W. Aha	Learning Preconditions for Planning from Plan Traces and HTN Structure.	Comput. Intell.	2005	DBLP DOI BibTeX RDF
20	Okhtay Ilghami, Héctor Muñoz-Avila, Dana S. Nau, David W. Aha	Learning approximate preconditions for methods in hierarchical plans.	ICML	2005	DBLP DOI BibTeX RDF
20	Awadhesh Kumar Singh, Anup Kumar Bandyopadhyay	Verifying Mutual Exclusion and Liveness Properties with Split Preconditions.	J. Comput. Sci. Technol.	2004	DBLP DOI BibTeX RDF
20	Martyn A. Ould	Preconditions for putting processes back in the hands of their actors.	Inf. Softw. Technol.	2003	DBLP DOI BibTeX RDF
20	Alfredo Gabaldon	Compiling Control Knowledge into Preconditions for Planning in the Situation Calculus.	IJCAI	2003	DBLP BibTeX RDF
20	Okhtay Ilghami, Dana S. Nau, Héctor Muñoz-Avila, David W. Aha	CaMeL: Learning Method Preconditions for HTN Planning.	AIPS	2002	DBLP BibTeX RDF
20	H. Abimbola Soriyan, Adebayo D. Akinde, Mikko Korpela, Felix Ale	Preconditions for Information System Development for African Healthcare Institutions: The MINPHIS Experience and a Software Industry Survey in Nigeria.	MedInfo	2001	DBLP DOI BibTeX RDF
20	Craig Boutilier	Approximately Optimal Monitoring of Plan Preconditions.	UAI	2000	DBLP BibTeX RDF
20	Bernhard Nebel	What Is the Expressive Power of Disjunctive Preconditions?	ECP	1999	DBLP DOI BibTeX RDF
20	Rudolf Berghammer	Soundness of a purely syntactical formalizationof weakest preconditions.	Workshop on Domains	1998	DBLP DOI BibTeX RDF
20	Dino Pedreschi, Salvatore Ruggieri	Weakest Preconditions for Pure Prolog Programs.	Inf. Process. Lett.	1998	DBLP DOI BibTeX RDF
20	Robert L. Baber	On the inadequacy of ordinary preconditions for the practical design and verification of programs.	ISSRE	1998	DBLP DOI BibTeX RDF
20	Annette ten Teije, Frank van Harmelen	Characterising Approximate Problem-Solving: From Partially Fulfilled Preconditions to Partially Achieved Functionality.	ECAI	1998	DBLP BibTeX RDF
20	James W. Cortada	Economic Preconditions That Made Possible Application of Commercial Computing in the United States.	IEEE Ann. Hist. Comput.	1997	DBLP DOI BibTeX RDF
20	Kai Reimers	Markets for Electronic Markets? The Non-market Preconditions of Electronic Markets.	Electron. Mark.	1995	DBLP DOI BibTeX RDF
20	Karen E. Lochbaum	The Use of Knowledge Preconditions in Language Processing	CoRR	1995	DBLP BibTeX RDF
20	Karen E. Lochbaum	The Use of Knowledge Preconditions in Language Processing.	IJCAI	1995	DBLP BibTeX RDF
20	Scarlet Schwiderski, Thorsten Hartmann, Gunter Saake	Monitoring Temporal Preconditions in a Behaviour Oriented Object Model.	Data Knowl. Eng.	1994	DBLP DOI BibTeX RDF
20	Ernest Davis	Knowledge Preconditions for Plans.	J. Log. Comput.	1994	DBLP DOI BibTeX RDF
20	Johan J. Lukkien	Operational Semantics and Generalized Weakest Preconditions.	Sci. Comput. Program.	1994	DBLP DOI BibTeX RDF
20	Steven J. Clarke, John Alexander McDermid	Software fault trees and weakest preconditions: a comparison and analysis.	Softw. Eng. J.	1993	DBLP DOI BibTeX RDF
20	Michael Lawley, Rodney W. Topor, Mark Wallace 0001	Using Weakest Preconditions to Simplify Integrity Constraint Checking.	Australian Database Conference	1993	DBLP BibTeX RDF
20	Johan J. Lukkien, Jan L. A. van de Snepscheut	Weakest Preconditions for Progress.	Formal Aspects Comput.	1992	DBLP DOI BibTeX RDF
20	Wim H. Hesselink, Ronald Reinds	Temporal Preconditions of Recursive Procedures.	REX Workshop	1992	DBLP DOI BibTeX RDF	leads-to, eventually, healthiness law, guarded recursion, unfolding, weakest precondition, recursive procedure
20	Robin W. Whitty	An Exercise in Weakest Preconditions.	Softw. Test. Verification Reliab.	1991	DBLP DOI BibTeX RDF
20	Marta Franová, Yves Kodratoff	Predicate Synthesis from Formal Specifications: Using Mathematical Induction for Finding the Preconditions of Theorems.	Nonmonotonic and Inductive Logic	1991	DBLP DOI BibTeX RDF
20	David Garlan	Preconditions for understanding.	IWSSD	1991	DBLP BibTeX RDF
20	Robin W. Whitty	An Exercise in Weakest Preconditions.	Bull. EATCS	1990	DBLP BibTeX RDF
20	Michael Morreau	Actions with Preconditions and Postconditions.	Nonclassical Logics and Information Processing	1990	DBLP DOI BibTeX RDF
20	Joseph M. Morris	Varieties of Weakest Liberal Preconditions.	Inf. Process. Lett.	1987	DBLP DOI BibTeX RDF
20	Leora Morgenstern	Knowledge Preconditions for Actions and Plans.	IJCAI	1987	DBLP BibTeX RDF
20	Neil W. Rickert	Preconditions for widespread reuse of code.	ACM SIGSOFT Softw. Eng. Notes	1986	DBLP DOI BibTeX RDF
20	Eric G. Wagner	A Categorical View of Weakest Liberal Preconditions.	CTCS	1985	DBLP DOI BibTeX RDF
20	Ernest G. Manes	Weakest Preconditions: Categorical Insights.	CTCS	1985	DBLP DOI BibTeX RDF
20	Kurt Sieber	Weakest expressible preconditions: a new tool for proving completeness results about Hoare calculi.	Theoretical Computer Science	1983	DBLP DOI BibTeX RDF
20	Pedro Guerreiro	Another characterization of weakest preconditions.	Symposium on Programming	1982	DBLP DOI BibTeX RDF
20	Mitchell Wand	A Characterization of Weakest Preconditions.	J. Comput. Syst. Sci.	1977	DBLP DOI BibTeX RDF
11	Robert Law	Using student blogs for documentation in software development projects.	ITiCSE	2011	DBLP DOI BibTeX RDF
11	Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon 0001	Modular verification of security protocol code by typing.	POPL	2010	DBLP DOI BibTeX RDF	f7, refinement type
11	Harmen L. A. van der Spek, C. W. Mattias Holm, Harry A. G. Wijshoff	How to unleash array optimizations on code using recursive data structures.	ICS	2010	DBLP DOI BibTeX RDF	control flow optimization, pointer optimization, recursive data structures, restructuring compilers
11	Ming-Yee Iu, Willy Zwaenepoel	HadoopToSQL: a mapReduce query optimizer.	EuroSys	2010	DBLP DOI BibTeX RDF	sql, query optimization, mapreduce, symbolic execution
11	Klaus-Dieter Schewe, Bernhard Thalheim, Qing Wang 0002	Customising Web Information Systems According to User Preferences.	World Wide Web	2009	DBLP DOI BibTeX RDF	critical pair completion, media type, deontic constraint, preference rule, termination, term rewriting, personalisation, web information system, Church-Rosser property, Kleene algebra with tests
11	Yiqiao Wang 0001, Sheila A. McIlraith, Yijun Yu, John Mylopoulos	Monitoring and diagnosing software requirements.	Autom. Softw. Eng.	2009	DBLP DOI BibTeX RDF	Diagnostics, Requirement monitoring
11	Glenda Shaw-Garlock	Looking Forward to Sociable Robots.	Int. J. Soc. Robotics	2009	DBLP DOI BibTeX RDF	Sociable robots, Kismet, Repliée, Human-robot interaction
11	Nikolaos Tsantalis, Alexander Chatzigeorgiou	Identification of Move Method Refactoring Opportunities.	IEEE Trans. Software Eng.	2009	DBLP DOI BibTeX RDF
11	Ingo Feinerer, Gernot Salzer	A comparison of tools for teaching formal software verification.	Formal Aspects Comput.	2009	DBLP DOI BibTeX RDF	Formal software verification, Frege Program Prover, Key system, Perfect developer, Prototype verification system
11	Hui Peng, Wenjia Niu, Ronghuai Huang	Similarity Based Semantic Web Service Match.	WISM	2009	DBLP DOI BibTeX RDF	ontology concept, similarity, semantic web service, service match
11	Magnus Sahlgren, Jussi Karlgren	Terminology mining in social media.	CIKM	2009	DBLP DOI BibTeX RDF	distributional semantics, random indexing, terminology mining, word space, social media
11	Benoît Hudson, Gary L. Miller, Todd Phillips, Don Sheehy	Size complexity of volume meshes vs. surface meshes.	SODA	2009	DBLP DOI BibTeX RDF
11	Tianguang Zhang, Xiaodong Liu, Kolja Kühnlenz, Martin Buss	Visual odometry for the Autonomous City Explorer.	IROS	2009	DBLP DOI BibTeX RDF
11	Ben George Weber, Michael Mateas	Conceptual Neighborhoods for Retrieval in Case-Based Reasoning.	ICCBR	2009	DBLP DOI BibTeX RDF
11	Jordi Pujol Ahulló, Pedro García López, Marc Sánchez Artigas, Marcel Arrufat-Arias	An extensible simulation tool for overlay networks and services.	SAC	2009	DBLP DOI BibTeX RDF	discrete event-based simulation, overlay network simulation, frameworks, design patterns
11	Jörg Becker 0001, Björn Niehaves, Andreas Krause 0003	Shared Service Center vs. Shared Service Network: A Multiple Case Study Analysis of Factors Impacting on Shared Service Configurations.	EGOV	2009	DBLP DOI BibTeX RDF	Public Sector Reform, Networks, E-Government, Qualitative Study, Shared Services
11	Chris Hawblitzel, Erez Petrank	Automated verification of practical garbage collectors.	POPL	2009	DBLP DOI BibTeX RDF	verification, garbage collection
11	Manuel Fähndrich	Language-agnostic specification and verification: invited talk.	PLPV	2009	DBLP DOI BibTeX RDF	specifications, static analysis, abstract interpretation, contracts, net
11	Senthil Mani, Vibha Singhal Sinha, Saurabh Sinha, Pankaj Dhoolia, Debdoot Mukherjee, Soham Chakraborty 0001	Efficient Testing of Service-Oriented Applications Using Semantic Service Stubs.	ICWS	2009	DBLP DOI BibTeX RDF
11	Umesh Bellur, Harin Vadodaria	Web Service Ranking Using Semantic Profile Information.	ICWS	2009	DBLP DOI BibTeX RDF
11	Edison Mera, Pedro López-García 0001, Manuel V. Hermenegildo	Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework.	ICLP	2009	DBLP DOI BibTeX RDF	static/dynamic debugging, program verification, unit testing, assertions, run-time verification
11	Ervin Ramollari, Dimitrios Kourtesis, Dimitris Dranidis, Anthony J. H. Simons	Leveraging Semantic Web Service Descriptions for Validation by Automated Functional Testing.	ESWC	2009	DBLP DOI BibTeX RDF	Service Validation, Semantic Web Services, Web service testing
11	Emmad Saadeh, Derrick G. Kourie	Composite refactoring using fine-grained transformations.	SAICSIT	2009	DBLP DOI BibTeX RDF	FGT-enabling precondition, fine-grain transformations, refactoring-level precondition, composite, primitive
11	Yanjing Wang 0001, Lakshmanan Kuppusamy, Jan van Eijck	Verifying epistemic protocols under common knowledge.	TARK	2009	DBLP DOI BibTeX RDF
11	Friedrich Steimann, Andreas Thies	From Public to Private to Absent: Refactoring Java Programs under Constrained Accessibility.	ECOOP	2009	DBLP DOI BibTeX RDF
11	Daniel Wasserrab, Denis Lohner, Gregor Snelting	On PDG-based noninterference and its modular proof.	PLAS	2009	DBLP DOI BibTeX RDF	modularity, program slicing, noninterference, correctness proof, program dependence graph
11	Jing Li 0075, Dianfu Ma, Jun Han, Xiang Long	Toward Trustworthy Semantic Web Service Discovery and Selection.	ATC	2009	DBLP DOI BibTeX RDF	Services, Service Discovery, Semantic Web Service, Trustworthy
11	Vladimir Mandic, Jouni Markkula, Markku Oivo	Towards Multi-Method Research Approach in Empirical Software Engineering.	PROFES	2009	DBLP DOI BibTeX RDF	Experimentation in Software Engineering, Multi-Method Research, Reporting Experiments, Empirical Methods, ESE
11	Cecilia R. Aragon, Sarah S. Poon, Andrés Monroy-Hernández, Diana Aragon	A tale of two online communities: fostering collaboration and creativity in scientists and children.	Creativity & Cognition	2009	DBLP DOI BibTeX RDF	collective creativity, computer-supported cooperative work, computer-mediated communication, social creativity
11	Negin Nejati, Tolga Könik, Ugur Kuter	A goal- and dependency-directed algorithm for learning hierarchical task networks.	K-CAP	2009	DBLP DOI BibTeX RDF	analytical learning, learning by observation, learning htns, learning procedural planning knowledge
11	Sumit Gulwani, Saurabh Srivastava 0001, Ramarathnam Venkatesan	Constraint-Based Invariant Inference over Predicate Abstraction.	VMCAI	2009	DBLP DOI BibTeX RDF
11	Anna Hristoskova, Bruno Volckaert, Filip De Turck	Dynamic Composition of Semantically Annotated Web Services through QoS-Aware HTN Planning Algorithms.	ICIW	2009	DBLP DOI BibTeX RDF
11	Mingzhong Wang, Kotagiri Ramamohanarao, Jinjun Chen	Reasoning intra-dependency in commitments for robust scheduling.	AAMAS (2)	2009	DBLP BibTeX RDF	commitment machines, commitment refactoring, scheduling, robustness, agent interaction
11	Deok-Gyu Lee, Jong Hyuk Park, Tai-Hoon Kim, Laurence Tianruo Yang	U-multimedia framework: a secure and intelligent multimedia service framework based on context information in U-home.	J. Supercomput.	2008	DBLP DOI BibTeX RDF	U-home, Ubiquitous multimedia service, WSN agent, DRM, Context information
11	Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke	Word-Level Predicate-Abstraction and Refinement Techniques for Verifying RTL Verilog.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF
11	Byron Cook, Sumit Gulwani, Tal Lev-Ami, Andrey Rybalchenko, Mooly Sagiv	Proving Conditional Termination.	CAV	2008	DBLP DOI BibTeX RDF
11	Corneliu Popeea, Dana N. Xu, Wei-Ngan Chin	A practical and precise inference and specializer for array bound checks elimination.	PEPM	2008	DBLP DOI BibTeX RDF	size properties, dependent types, safety verification
11	Michael Wolverton, David L. Martin 0001, Ian W. Harrison, Jérôme Thoméré	A Process Catalog for Workflow Generation.	ISWC	2008	DBLP DOI BibTeX RDF
11	Nathaniel Nystrom, Vijay A. Saraswat, Jens Palsberg, Christian Grothoff	Constrained types for object-oriented languages.	OOPSLA	2008	DBLP DOI BibTeX RDF	constraints, dependent types, object-oriented programming languages
11	Arsenii Rudich, Ádám Darvas, Peter Müller 0001	Checking Well-Formedness of Pure-Method Specifications.	FM	2008	DBLP DOI BibTeX RDF
11	Shuvendu K. Lahiri, Shaz Qadeer	Back to the future: revisiting precise program verification using SMT solvers.	POPL	2008	DBLP DOI BibTeX RDF	heap-manipulating programs, software verification, decision procedures, reachability, linked lists, SMT solvers
11	Keith Irwin, Ting Yu 0001, William H. Winsborough	Avoiding information leakage in security-policy-aware planning.	WPES	2008	DBLP DOI BibTeX RDF	scheduling, policy, obligations