Search results for "preconditions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Kaushal Sarda, Duminda Wijesekera, Sushil Jajodia	Implementing Consistency Checking in Correlating Attacks.	ICDCIT	2004	DBLP DOI BibTeX RDF
11	Lois W. Harper, Harry S. Delugach	Using Conceptual Graphs to Represent Agent Semantic Constituents.	ICCS	2004	DBLP DOI BibTeX RDF
11	Marius Bozga, Radu Iosif, Yassine Lakhnech	On Logics of Aliasing.	SAS	2004	DBLP DOI BibTeX RDF
11	Jim Woodcock 0001, Ana Cavalcanti 0001	A Tutorial Introduction to Designs in Unifying Theories of Programming.	IFM	2004	DBLP DOI BibTeX RDF
11	Willem Visser, Corina S. Pasareanu, Sarfraz Khurshid	Test input generation with java PathFinder.	ISSTA	2004	DBLP DOI BibTeX RDF	testing object-oriented programs, model checking, coverage, symbolic execution, red-black trees
11	Sven Schade, Arnd Sahlmann, Michael Lutz 0001, Florian Probst, Werner Kuhn	Comparing Approaches for Semantic Service Description and Matchmaking.	CoopIS/DOA/ODBASE (2)	2004	DBLP DOI BibTeX RDF
11	Zhiming Liu 0001, Mathai Joseph	Real-Time and Fault-Tolerant Systems.	PSSE	2004	DBLP DOI BibTeX RDF
11	Mohamed Mosbah 0001, Rodrigue Ossamy	A Programming Language for Local Computations in Graphs: Computational Completeness.	ENC	2004	DBLP DOI BibTeX RDF
11	Cesare Tinelli, Calogero G. Zarba	Combining Decision Procedures for Sorted Theories.	JELIA	2004	DBLP DOI BibTeX RDF
11	Laura Giordano 0001, Alberto Martelli, Camilla Schwind	Verifying Communicating Agents by Model Checking in a Temporal Action Logic.	JELIA	2004	DBLP DOI BibTeX RDF
11	Jutta Eusterbrock	Context-Aware Code Certification.	ASE	2004	DBLP DOI BibTeX RDF
11	Karine Arnout, Bertrand Meyer 0001	Uncovering Hidden Contracts: The .NET Example.	Computer	2003	DBLP DOI BibTeX RDF
11	Jeremy Frank, Ari K. Jónsson	Constraint-Based Attribute and Interval Planning.	Constraints An Int. J.	2003	DBLP DOI BibTeX RDF	dynamic constraint reasoning, consistency enforcement, temporal planning, planning, resources
11	Jan Chomicki	Preference formulas in relational queries.	ACM Trans. Database Syst.	2003	DBLP DOI BibTeX RDF	query optimization, relational algebra, preferences, Preference queries
11	Petri Paju	A Failure Revisited: The First Finnish Computer Construction Project.	History of Nordic Computing	2003	DBLP DOI BibTeX RDF	Finnish Computing history, Esko computer, Scandinavian - German co-operation, punched card use, Rolf Nevanlinna
11	Charles Lowe	Experiences of Take-Up of e-Government in Europe.	EGOV	2003	DBLP DOI BibTeX RDF
11	Wolfgang Weber, Heidemarie Tondok, Michael Bachmayer	Enhancing Software Safety by Fault Trees: Experiences from an Application to Flight Critical SW.	SAFECOMP	2003	DBLP DOI BibTeX RDF
11	Moshe Deutsch, Martin C. Henson	An Analysis of Backward Simulation Data-Refinement for Partial Relation Semantics.	APSEC	2003	DBLP DOI BibTeX RDF
11	Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic	A Derivation System for Security Protocols and its Logical Formalization.	CSFW	2003	DBLP DOI BibTeX RDF
11	Timothy S. Gegg-Harrison, Gary R. Bunce, Rebecca D. Ganetzky, Christina M. Olson, Joshua D. Wilson	Studying program correctness in ProVIDE.	ITiCSE	2003	DBLP DOI BibTeX RDF
11	Timothy S. Gegg-Harrison, Gary R. Bunce, Rebecca D. Ganetzky, Christina M. Olson, Joshua D. Wilson	Studying program correctness by constructing contracts.	ITiCSE	2003	DBLP DOI BibTeX RDF	Java, design by contract, axiomatic semantics
11	Wilfried Lemahieu, Monique Snoeck, Cindy Michiels, Frank G. Goethals, Guido Dedene, Jacques Vandenbulcke	Event Based Web Service Description and Coordination.	WES	2003	DBLP DOI BibTeX RDF
11	Moshe Deutsch, Martin C. Henson	An Analysis of Forward Simulation Data Refinement.	ZB	2003	DBLP DOI BibTeX RDF
11	Javier Sánchez, Amol Dattatraya Mali	S-MEP: A Planner for Numeric Goals.	ICTAI	2003	DBLP DOI BibTeX RDF
11	Lei Xu 0003, Baowen Xu, Changhai Nie, Huowang Chen, Hongji Yang	A Browser Compatibility Testing Method Based on Combinatorial Testing.	ICWE	2003	DBLP DOI BibTeX RDF
11	Harald Holz	An Incremental Approach to Task-Specific Information Delivery in SE Processe.	ASE	2003	DBLP DOI BibTeX RDF
11	Paolo Busetta, Mattia Merzi, Silvia Rossi 0002, François Legras	Intra-role Coordination Using Group Communication: A Preliminary Report.	Workshop on Agent Communication Languages	2003	DBLP DOI BibTeX RDF
11	Marco Baioletti, Alfredo Milani, Valentina Poggioni	Planning with Fuzzy Resources.	AI*IA	2003	DBLP DOI BibTeX RDF
11	Laura Giordano 0001, Alberto Martelli, Camilla Schwind	Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic.	AI*IA	2003	DBLP DOI BibTeX RDF
11	Bernhard Beckert, Peter H. Schmitt	Program Verification Using Change Information.	SEFM	2003	DBLP DOI BibTeX RDF
11	Graeme Smith 0001, John Derrick	Abstract Specification in Object-Z and CSP.	ICFEM	2002	DBLP DOI BibTeX RDF
11	Cristina Gómez 0001, Antoni Olivé	Evolving Partitions in Conceptual Schemas in the UML.	CAiSE	2002	DBLP DOI BibTeX RDF
11	James Blow, Andy Galloway	Generalised Substitution Language and Differentials.	ZB	2002	DBLP DOI BibTeX RDF
11	Robert P. Goldman	A Stochastic Model for Intrusions.	RAID	2002	DBLP DOI BibTeX RDF
11	Darren D. Cofer, Murali Rangarajan	Formal Verification of Overhead Accounting in an Avionics RTOS.	RTSS	2002	DBLP DOI BibTeX RDF
11	Héctor Ruíz Barradas, Didier Bert	Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems.	IFM	2002	DBLP DOI BibTeX RDF
11	Amol Dattatraya Mali	On Temporal Planning as CSP.	ICTAI	2002	DBLP DOI BibTeX RDF
11	Renate Motschnig-Pitrik	Employing the Unified Process for Developing a Web-Based Application - A Case-Study.	PAKM	2002	DBLP DOI BibTeX RDF
11	Geir J. Husøy, Edgar Karlsen, Arnt Hugo Lund	Openness and Cross-Functional Risk Reduction - The Key to a Successful Development Project? - "Hindsight in Advance" within and between Organizations.	PAKM	2002	DBLP DOI BibTeX RDF
11	Meirav Hadad, Sarit Kraus	Exchanging and Combining Temporal Information in a Cooperative Environment.	CIA	2002	DBLP DOI BibTeX RDF
11	Sami Vaarala, Antti Nuopponen, Teemupekka Virtanen	Attacking Predictable IPsec ESP Initialization Vectors.	ICICS	2002	DBLP DOI BibTeX RDF
11	Nick Papadakis, Dimitris Plexousakis	The Ramification and Qualification Problems in Temporal Databases.	SETN	2002	DBLP DOI BibTeX RDF
11	Wiebe van der Hoek, Michael J. Wooldridge	Tractable multiagent planning for epistemic goals.	AAMAS	2002	DBLP DOI BibTeX RDF	epistemic & temporal logic, model checking, planning
11	Hüseyin Sevay, Costas Tsatsoulis	Multiagent reactive plan application learning in dynamic environments.	AAMAS	2002	DBLP DOI BibTeX RDF
11	Atif M. Memon, Martha E. Pollack, Mary Lou Soffa	Hierarchical GUI Test Case Generation Using Automated Planning.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	application of AI planning, GUI regression testing, generating alternative plans, Software testing, GUI testing, automated test case generation
11	Franck Multon, Stéphane Ménardais, Bruno Arnaldi	Human motion coordination: a juggler as an example.	Vis. Comput.	2001	DBLP DOI BibTeX RDF	Motion planification, Virtual human, Motion control, AI techniques, Motion coordination
11	Claus Lewerentz, Heinrich Rust, Frank Simon	A Model for Analyzing Measurement Based Feedback Loops in Software Development Projects.	LSO	2001	DBLP DOI BibTeX RDF
11	Cormac Flanagan, James B. Saxe	Avoiding exponential explosion: generating compact verification conditions.	POPL	2001	DBLP DOI BibTeX RDF
11	Eila Niemelä, Tuomas Ihme	Product line software engineering of embedded systems.	SSR	2001	DBLP DOI BibTeX RDF	quality attributes, domain engineering, product line architecture, product features
11	Matthew Brand	Morphable 3D models from video.	CVPR (2)	2001	DBLP DOI BibTeX RDF
11	Pedro Guerreiro	Simple Support for Design by Contract in C++.	TOOLS (39)	2001	DBLP DOI BibTeX RDF
11	Leonid V. Tsap	Feedback From Video For Virtual Reality Navigation.	Workshop on Digital and Computational Video	2001	DBLP DOI BibTeX RDF
11	Nihan Kesim Cicekli, Yakup Yildirim	Formalizing Workflows Using the Event Calculus.	DEXA	2000	DBLP DOI BibTeX RDF
11	Uffe Kock Wiil	Towards a Proposal for a Standard Component-Based Open Hypermedia System Storage Interface.	OHS-6/SC-2	2000	DBLP DOI BibTeX RDF
11	Marc Shapiro 0001, Antony I. T. Rowstron, Anne-Marie Kermarrec	Application-independent reconciliation for nomadic applications.	ACM SIGOPS European Workshop	2000	DBLP DOI BibTeX RDF
11	Hubert Baumeister, Alexandre V. Zamulin	State-Based Extensions of CASL.	IFM	2000	DBLP DOI BibTeX RDF
11	Mauro Mosconi, Marco Porta	A Data-Flow Visual Approach to Symbolic Computing: Implementing a Production-Rule-Based Programming System through a General-Purpose Data-Flow VL.	VL	2000	DBLP DOI BibTeX RDF
11	Pedro Guerreiro	Another Mediocre Assertion Mechanism for C++.	TOOLS (33)	2000	DBLP DOI BibTeX RDF
11	Pedro Sánchez, Patricio Letelier 0001, Isidro Ramos	Animating Formal Specifications with Inheritance in a DL-Based Framework.	Requir. Eng.	1999	DBLP DOI BibTeX RDF	Animation of specifications, Requirements engineering, Inheritance, Object-oriented methods
11	Thomas Kleymann	Hoare Logic and Auxiliary Variables.	Formal Aspects Comput.	1999	DBLP DOI BibTeX RDF	Adaptation Completeness, Most General Formula, Hoare Logic, VDM, Auxiliary variables
11	Philippe Audebaud, Elena Zucca	Deriving Proof Rules from Continuation Semantics.	Formal Aspects Comput.	1999	DBLP DOI BibTeX RDF	Hoare semantics, Continuations, Labels, Exceptions
11	Claude Laï	Using Constraints in Local Proofs for CLP Debugging.	PADL	1999	DBLP DOI BibTeX RDF
11	Ali Hamie	Enhancing the Object Constraint Language for More Expressive Specifications.	APSEC	1999	DBLP DOI BibTeX RDF	modeling, UML, specification, constraints, OCL
11	Nihan Kesim Cicekli	A Temporal Reasoning Approach to Model Workflow Activities.	NGITS	1999	DBLP DOI BibTeX RDF
11	Klaus-Dieter Schewe, Bernhard Thalheim	A Generalization of Dijkstra's Calculus to Typed Program Specifications.	FCT	1999	DBLP DOI BibTeX RDF
11	Joost Breuker	Indexing Problem Solving Methods for Reuse.	EKAW	1999	DBLP DOI BibTeX RDF
11	Werner DePauli-Schimanovich-Göttig	Automatic Players for Computer Games.	EUROCAST	1999	DBLP DOI BibTeX RDF
11	David Maley, Ivor T. A. Spence	Emulating Design by Contract in C++.	TOOLS (29)	1999	DBLP DOI BibTeX RDF	C++, Design by Contract, Computational Physics, Standard Template Library
11	Miguel Katrib, Damián Fernández, Ernesto Pimentel 0001	Synchronizing Java Threads Using Assertions.	TOOLS (31)	1999	DBLP DOI BibTeX RDF	Java, Concurrency, Synchronization, Object-Oriented, Assertions
11	Donald Firesmith	A Comparison of Defensive Development and Design by Contract.	TOOLS (30)	1999	DBLP DOI BibTeX RDF
11	Richard Mitchell	Analysis by Contract or UML with Attitude.	TOOLS (30)	1999	DBLP DOI BibTeX RDF
11	Murat Karaorman, Urs Hölzle, John L. Bruno	jContractor: A Reflective Java Library to Support Design by Contract.	Reflection	1999	DBLP DOI BibTeX RDF
11	Udo Miletzki, Thomas Bayer, Hartmut Schäfer	Continuous Learning Systems: Postal Address Readers with Built-In Learning Capability.	ICDAR	1999	DBLP DOI BibTeX RDF	Continuous Learning Capability, Polynomial Classifier, Stepwise Improvement Classifier SIC, learning sample set, automatic truthing, feature set
11	Paolo A. G. Sivilotti, Charles P. Giles	The specification of distributed objects: liveness and locality.	CASCON	1999	DBLP BibTeX RDF	CORBA
11	Masud Ahmad Malik	Evolution of the High Level Programming Languages: A Critical Perspective.	ACM SIGPLAN Notices	1998	DBLP DOI BibTeX RDF
11	Trevor J. M. Bench-Capon	Specifying the Interaction Between Information Sources.	DEXA	1998	DBLP DOI BibTeX RDF
11	Moshe Y. Vardi	Reasoning about The Past with Two-Way Automata.	ICALP	1998	DBLP DOI BibTeX RDF
11	Jan Lubbers, Rogier R. Spaans	The Priority/Confidence Model as a Framework for Soccer Agents.	RoboCup	1998	DBLP DOI BibTeX RDF
11	Richard Banach, Michael Poppleton	Retrenchment: An Engineering Variation on Refinement.	B	1998	DBLP DOI BibTeX RDF
11	Li-Dong Cai, John E. W. Mayhew	A Note on Some Phase Differencing Algorithms for Disparity Estimation.	Int. J. Comput. Vis.	1997	DBLP DOI BibTeX RDF	phase difference, numerical instability, matching residual norm, Gabor filter, singularity, stereo disparity
11	Werner H. Tack	Kognitionswissenschaft: eine Interdisziplin.	Kognitionswissenschaft	1997	DBLP DOI BibTeX RDF
11	Kevin Lano, Juan Bicarregui, José Luiz Fiadeiro, Antónia Lopes	Specification of Required Non-determinism.	FME	1997	DBLP DOI BibTeX RDF
11	Axel Dold, Friedrich W. von Henke, Holger Pfeifer, Harald Rueß	Formal Verification of Transformations for Peephole Optimization.	FME	1997	DBLP DOI BibTeX RDF	reusability of specifications, formal verification, transformations, higher-order logic
11	Arne Sølvberg	Data and What They Refer to.	Conceptual Modeling	1997	DBLP DOI BibTeX RDF
11	Ana Anaya, María J. Rodríguez, José Parets-Llorca	Representation and Management of Memory and Decision in Evolving Software Systems.	EUROCAST	1997	DBLP DOI BibTeX RDF
11	Gerhard Haßlinger	Towards an Analytical Tool for Performance Modelling of ATM Networks by Decomposition.	Computer Performance Evaluation	1997	DBLP DOI BibTeX RDF	SMP/G/1 analysis in discrete time, ATM networks, self-similar traffic, semi-Markov processes, autocorrelation function
11		AI planning systems in the real world.	IEEE Expert	1996	DBLP DOI BibTeX RDF
11	Yves Lespérance, Hector J. Levesque, Shane J. Ruman	An Experiment in Using Golog to Build a Personal Banking Assistant.	PRICAI Workshop on Intelligent Agent Systems	1996	DBLP DOI BibTeX RDF
11	Jonathan Jacky	Specifying a Safety-Critical Control System in Z.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	cyclotron, Formal specification, safety, Z, process control, medical applications, radiation therapy
11	Lee A. Iverson, Steven W. Zucker	Logical/Linear Operators for Image Curves.	IEEE Trans. Pattern Anal. Mach. Intell.	1995	DBLP DOI BibTeX RDF	nonlinear operators, computer vision, image processing, feature extraction, Edge detection
11	R. G. G. Cattell	Object Databases and Standards.	BNCOD	1995	DBLP DOI BibTeX RDF
11	Otto Petrovic	On the necessity of an iterative design of business strategy, business organization and information technology.	HICSS (4)	1995	DBLP DOI BibTeX RDF	business organization, productivity paradox, organization concepts, demand oriented, technology driven, MIASOI, iterative design model, information technology, information technology, business data processing, iterative design, strategic planning, business strategy, investment, investments, management of change, economy
11	Trevor King	Formalising British Rail's Signalling Rules.	FME	1994	DBLP DOI BibTeX RDF
11	Kelvin J. Ross, Peter A. Lindsay	A Precise Examination of the Behaviour of Process Models.	FME	1994	DBLP DOI BibTeX RDF	formal methods, process modelling, configuration management, VDM
11	Daniel F. Gieskens, James D. Foley	Controlling User Interface Objects Through Pre- and Postconditions.	CHI	1992	DBLP DOI BibTeX RDF	prototyping, predicates, user interface tools
11	Barry Richards, Yuejun Jiang, H. Choi	On Interval-based Temporal Planning: An IQ Strategy.	ISMIS	1991	DBLP DOI BibTeX RDF	Qualification Problem, Interval Principle, Collapsing and Stretching/Clipping, Temporal Logics, Planning, Constraint Satisfaction, Points, Actions, Intervals, Maximal, Frame Problem
11	Jan Friso Groote, Alban Ponse	Process Algebra with Guards - Combining Hoare Logic with Process Algebra (Extended Abstract).	CONCUR	1991	DBLP DOI BibTeX RDF
11	Pierre De Boeck, Baudouin Le Charlier	Static Type Analysis of Prolog Procedures for Ensuring Correctness.	PLILP	1990	DBLP DOI BibTeX RDF
11	Alan E. Middleditch, T. W. Stacey, Shu Beng Tor	Intersection algorithms for lines and circles.	ACM Trans. Graph.	1989	DBLP DOI BibTeX RDF
11	Detlev Ruland	CADULA - A Graph-Based Model for Monitoring CAD-Processes.	WG	1989	DBLP DOI BibTeX RDF