Search results for "preconditions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Bruno Barras, Bruno Bernardo	The Implicit Calculus of Constructions as a Programming Language with Dependent Types.	FoSSaCS	2008	DBLP DOI BibTeX RDF
11	Myoung Kim, Yoonsik Cheon	A Fitness Function to Find Feasible Sequences of Method Calls for Evolutionary Testing of Object-Oriented Programs.	ICST	2008	DBLP DOI BibTeX RDF	genetic algorithms, object-oriented programming, test data generator, fitness function, evolutionary testing, pre and postconditions, JML language
11	Naoyasu Ubayashi, Jinji Piao, Suguru Shinotsuka, Tetsuo Tamai	Contract-Based Verification for Aspect-Oriented Refactoring.	ICST	2008	DBLP DOI BibTeX RDF	Verification, AOP, Refactoring, Contract
11	Luigi Dragone	An Ontology-Based Approach to Validation of E-Services under Static and Dynamic Constraints.	OTM Conferences (1)	2008	DBLP DOI BibTeX RDF
11	Zhijian Wang, Dingguo Wei	A Class of Petri Nets for Modular and Hierarchical System Modeling.	ICYCS	2008	DBLP DOI BibTeX RDF
11	Zhenyu Wang, Qi Feng, Rui Xu, Zengjie Dou, Xin Chen	Research on Trusted Access Technology of Grid Resource Based on the Virtual Machine.	ICYCS	2008	DBLP DOI BibTeX RDF
11	Zhixiong Jiang, Leqiu Qian, Yiming Lau, Shan Tang	Dynamic Description Logic Based Services Semantic Matching.	WKDD	2008	DBLP DOI BibTeX RDF	service dynamic description logic, matching degree, semantic web services, semantic matching
11	Alejandra Cechich, Lorenzo Madrid, Jeremy Gibbons, Jay P. Kesan	Interoperability frameworks for electronic governance.	ICEGOV	2008	DBLP DOI BibTeX RDF	interoperability frameworks, electronic governance
11	Jörg Hoffmann 0001, Ingo Weber, James Scicluna 0001, Tomasz Kaczmarek, Anupriya Ankolekar	Combining Scalability and Expressivity in the Automatic Composition of Semantic Web Services.	ICWE	2008	DBLP DOI BibTeX RDF
11	Haiqi Huang, Ming Gu 0006, Hongyang Chao	An Efficient Method of License Plate Location in Natural-Scene Image.	FSKD (4)	2008	DBLP DOI BibTeX RDF
11	Frederic Maris, Pierre Régnier	TLP-GP: Solving Temporally-Expressive Planning Problems.	TIME	2008	DBLP DOI BibTeX RDF
11	Arne Burisch, Annika Raatz, Jürgen Hesselbach	Strategies and Devices for a Modular Desktop Factory.	IPAS	2008	DBLP DOI BibTeX RDF	desktop factory, miniaturised robot, micro gripper, gripper changer, compact robot control, flexibility
11	Ivan Di Pietro, Francesco Pagliarecci, Luca Spalazzi, Annapaola Marconi, Marco Pistore	Semantic Web Service Selection at the Process-Level: The eBay/Amazon/PayPal Case Study.	Web Intelligence	2008	DBLP DOI BibTeX RDF
11	Timo Gendrullis, Martin Novotný, Andy Rupp	A Real-World Attack Breaking A5/1 within Hours.	CHES	2008	DBLP DOI BibTeX RDF	A5/1, COPACOBANA, GSM, special-purpose hardware
11	Karl-Heinz Pennemann	Development of Correct Graph Transformation Systems.	ICGT	2008	DBLP DOI BibTeX RDF
11	Manuel Götz, Matthias Ehmann, Stefan Jablonski, Michael Igler	Experiences in Online Teaching and Learning.	ICIW	2008	DBLP DOI BibTeX RDF	Web Application, Teaching, Cooperative Learning, Teleteaching, Online Learning Environment
11	Luigi Dragone	Validation and Discovery of Non-deterministic Semantic e-Services.	WS-FM	2008	DBLP DOI BibTeX RDF
11	Guzmán Llambías, Regina Motz, Alvaro Rettich, Marco Scalone	Multidimensional Semantic Web Services Matching.	LA-WEB	2008	DBLP DOI BibTeX RDF
11	Ru Fang, Zhile Zou, Corina Stratan, Liana Fong, David Marston, Linh Lam, David Frank	Dynamic Support for BPEL Process Instance Adaptation.	IEEE SCC (1)	2008	DBLP DOI BibTeX RDF	BPEL Process, Dynamic instance adaptation, Busniess Process Management, SOA
11	Peter Bartalos, Mária Bieliková	Enhancing Semantic Web Services Composition with User Interaction.	IEEE SCC (2)	2008	DBLP DOI BibTeX RDF	semantic web service composition, user interaction
11	Annett Mitschick, Ronny Fritzsche	Publishing and Sharing Ontology-Based Information in a Collaborative Multimedia Document Management System.	WISE Workshops	2007	DBLP DOI BibTeX RDF
11	Klaus-Dieter Schewe, Bernhard Thalheim	Term Rewriting for Web Information Systems - Termination and Church-Rosser Property.	WISE	2007	DBLP DOI BibTeX RDF
11	Torben Amtoft, Anindya Banerjee 0001	Verification condition generation for conditional information flow.	FMSE	2007	DBLP DOI BibTeX RDF	conditional information flow analysis, object invariants, verification condition generation
11	Dimitrios Lekkas, Dimitris Gritzalis	E-Passports as a Means Towards the First World-Wide Public Key Infrastructure.	EuroPKI	2007	DBLP DOI BibTeX RDF	Machine Readable Travel Documents, Security, Trust, RFID, Digital Signatures, Smart card, PKI, Passport
11	Feng Cheng 0002, Christian Wolter, Christoph Meinel	A Simple, Smart and Extensible Framework for Network Security Measurement.	Inscrypt	2007	DBLP DOI BibTeX RDF
11	James Skorupski, Lakshmi Jayapalan, Sheena Marquez, Michael Mateas	Wide Ruled: A Friendly Interface to Author-Goal Based Story Generation.	International Conference on Virtual Storytelling	2007	DBLP DOI BibTeX RDF	interactive narrative, Story generation, author modeling
11	Jouko Kokko, Erkki Kemppainen, Aulikki Rautavaara	Technology and Regional Social Structures: Evaluation of Remote Sign Language Interpretation in Finland.	HCI (5)	2007	DBLP DOI BibTeX RDF	Interpretation service, hard of hearing people, Disability, ICT
11	Martijn N. Rooker, Christoph Sünder, Thomas I. Strasser, Alois Zoitl, Oliver Hummer, Gerhard Ebenhofer	Zero Downtime Reconfiguration of Distributed Automation Systems: The epsilonCEDAC Approach.	HoloMAS	2007	DBLP DOI BibTeX RDF	Architectures, Reconfiguration, Holonic Systems
11	Alberto Fernández 0002, Matteo Vasirani, César Cáceres, Sascha Ossowski	A Role-Based Support Mechanism for Service Description and Discovery.	SOCASE	2007	DBLP DOI BibTeX RDF
11	Gregor Engels, Baris Güldali, Christian Soltenborn, Heike Wehrheim	Assuring Consistency of Business Process Models and Web Services Using Visual Contracts.	AGTIVE	2007	DBLP DOI BibTeX RDF	UML Activities, visual contracts, web services, Business processes, graph transformations
11	Daniel Kroening, Natasha Sharygina	Interactive presentation: Image computation and predicate refinement for RTL verilog using word level proofs.	DATE	2007	DBLP DOI BibTeX RDF
11	Sylvain Boulmé	Intuitionistic Refinement Calculus.	TLCA	2007	DBLP DOI BibTeX RDF
11	Toshiro Takase	Workshop on Service Oriented Architecture.	APSEC	2007	DBLP DOI BibTeX RDF
11	Patrice Godefroid	Compositional dynamic test generation.	POPL	2007	DBLP DOI BibTeX RDF	compositional program analysis, scalability, software testing, program verification, automatic test generation
11	Cristiano Calcagno, Philippa Gardner, Uri Zarfaty	Context logic as modal logic: completeness and parametric inexpressivity.	POPL	2007	DBLP DOI BibTeX RDF	contexts, logic, expressivity, structured data
11	Denis Hatebur, Maritta Heisel, Holger Schmidt 0001	A Pattern System for Security Requirements Engineering.	ARES	2007	DBLP DOI BibTeX RDF
11	Liang Chang 0003, Fen Lin, Zhongzhi Shi	A Dynamic Description Logic for Representation and Reasoning About Actions.	KSEM	2007	DBLP DOI BibTeX RDF
11	Haibo Zhao, Prashant Doshi	Haley: A Hierarchical Framework for Logical Composition ofWeb Services.	ICWS	2007	DBLP DOI BibTeX RDF
11	Rona Machlin	Index-based multidimensional array queries: safety and equivalence.	PODS	2007	DBLP DOI BibTeX RDF	array query languages, integer linear constraints, aggregation, multidimensional data, scientific data, query equivalence
11	Zhijun Ding, Junli Wang, Hong Song	AI Planning for Web Service Automatic Composition Using Petri Nets.	CSCWD	2007	DBLP DOI BibTeX RDF
11	Guozhen Ren, Qingzhong Li, Li-zhen Cui, Tiangang Dong	Discovering the Most Suitable Web Service in Collaboration Environment.	CSCWD (Selected Papers)	2007	DBLP DOI BibTeX RDF	Semantic Web Service, Description Logic, Service Matching
11	Xianghua Zhang, Jiwei Li, Zhaohui Jiang, Huanqing Feng	Black-Box Extraction of Functional Structures from System Call Traces for Intrusion Detection.	ICIC (3)	2007	DBLP DOI BibTeX RDF	System Call Trace, Extraction of Function Structure, Black- Box Approach, Intrusion Detection
11	Michael Roitzsch	Slice-balancing H.264 video encoding for improved scalability of multicore decoding.	EMSOFT	2007	DBLP DOI BibTeX RDF	scalability, multicore, H.264, slices, video encoding
11	Chao Wang 0001, Hyondeuk Kim, Aarti Gupta	Hybrid CEGAR: combining variable hiding and predicate abstraction.	ICCAD	2007	DBLP DOI BibTeX RDF
11	Lisa Ling Liu, Bertrand Meyer 0001, Bernd Schoeller	Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation.	TAP	2007	DBLP DOI BibTeX RDF
11	Neal A. Harman	Algebraic Models of Simultaneous Multithreaded and Multi-core Processors.	CALCO	2007	DBLP DOI BibTeX RDF	many-sorted algebra, verification, microprocessors, correctness, threaded
11	Gordon Fraser 0001, Franz Wotawa	Improving Model-Checkers for Software Testing.	QSIC	2007	DBLP DOI BibTeX RDF
11	Laura Giordano 0001, Alberto Martelli	Verifying Agent Conformance with Protocols Specified in a Temporal Action Logic.	AI*IA	2007	DBLP DOI BibTeX RDF
11	Sergey Bereg, Markus Völker, Alexander Wolff 0001, Yuanyi Zhang	Straightening Drawings of Clustered Hierarchical Graphs.	SOFSEM (1)	2007	DBLP DOI BibTeX RDF
11	Alexandre Delteil, Laure Bourgois, François Lévy	A Formalism for Active and Informative Web Services.	ICIW	2007	DBLP DOI BibTeX RDF
11	Ádám Darvas, K. Rustan M. Leino	Practical Reasoning About Invocations and Implementations of Pure Methods.	FASE	2007	DBLP DOI BibTeX RDF
11	Nicolas Gorse, Luigi Logrippo, Jacques Sincennes	Detecting feature interaction in CPL.	Softw. Syst. Model.	2006	DBLP DOI BibTeX RDF	Telephony software, Detection method, Feature interaction, Formal techniques
11	Moshe Deutsch, Martin C. Henson	An analysis of refinement in an abortive paradigm.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	Operation-refinement, Specification language, Data-refinement, Specification logic
11	Harald Meyer, Mathias Weske	Light-Weight Semantic Service Annotations Through Tagging.	ICSOC	2006	DBLP DOI BibTeX RDF
11	Mathieu Verbaere, Arnaud Payement, Oege de Moor	Scripting refactorings with JunGL.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	refactoring, scripting language, source code transformation, language workbenches
11	Adam Zachary Wyner	A Functional Program for Agents, Actions, and Deontic Specifications.	DALT	2006	DBLP DOI BibTeX RDF
11	Ian J. Hayes	Termination of Real-Time Programs: Definitely, Definitely Not, or Maybe.	UTP	2006	DBLP DOI BibTeX RDF
11	Samir N. Hamade	The Legal and Political Aspects of Software Piracy in the Arab World.	ITNG	2006	DBLP DOI BibTeX RDF
11	Michael Barnett 0001, David A. Naumann, Wolfram Schulte, Qi Sun	Allowing State Changes in Specifications.	ETRICS	2006	DBLP DOI BibTeX RDF
11	Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Eric Ruppert	When Birds Die: Making Population Protocols Fault-Tolerant.	DCOSS	2006	DBLP DOI BibTeX RDF
11	Alexandra Galatescu	Multilingual Semantics in the Request-Service Matchmaking.	ECOWS	2006	DBLP DOI BibTeX RDF
11	Eric T. Matson, Raj Bhatnagar	Properties of Capability Based Agent Organization Transition.	IAT	2006	DBLP DOI BibTeX RDF
11	Dalal Alrajeh, Oliver Ray, Alessandra Russo, Sebastián Uchitel	Extracting Requirements from Scenarios with ILP.	ILP	2006	DBLP DOI BibTeX RDF
11	Li Ye, Junliang Chen	Automatic Composition of Semantic Web Services - A Theorem Proof Approach.	ASWC	2006	DBLP DOI BibTeX RDF	Automatic Theorem Proof, Deductive Program Synthesis, Semantic Web Services, Automatic Service Composition
11	Ioan Alfred Letia, Raluca Vartic	Commitment-Based Policies in Persuasion Dialogues with Defeasible Beliefs.	AC	2006	DBLP DOI BibTeX RDF	agent, protocol, argumentation
11	Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel	Inferring operational requirements from scenarios and goal models using inductive learning.	SCESM	2006	DBLP DOI BibTeX RDF	FLTL, scenarios, event calculus, inductive inference, goal-oriented requirements engineering
11	Shanshan Jiang, Finn Arve Aagesen	An Approach to Integrated Semantic Service Discovery.	Autonomic Networking	2006	DBLP DOI BibTeX RDF
11	Maayan Goldstein, Yishai A. Feldman, Shmuel S. Tyszberowicz	Refactoring with Contracts.	AGILE	2006	DBLP DOI BibTeX RDF
11	Jim Davies, James Welch, Alessandra Cavarra, Edward Crichton	On the Generation of Object Databases using Booster.	ICECCS	2006	DBLP DOI BibTeX RDF
11	Yishai A. Feldman, Ohad Barzilay, Shmuel S. Tyszberowicz	Jose: Aspects for Design by Contract80-89.	SEFM	2006	DBLP DOI BibTeX RDF
11	Frank Devos, Eric Steegmans	Specifying business rules in object-oriented analysis.	Softw. Syst. Model.	2005	DBLP DOI BibTeX RDF	Unified modeling language, Constraints, Object Constraint Language, Business rules, Object-oriented analysis
11	Gianluigi Greco, Antonella Guzzo, Giuseppe Manco 0001, Domenico Saccà	Mining and Reasoning on Workflows.	IEEE Trans. Knowl. Data Eng.	2005	DBLP DOI BibTeX RDF	Data mining, workflow management
11	Li Chen 0011, Kim-Hui Yap	A soft double regularization approach to parametric blind image deconvolution.	IEEE Trans. Image Process.	2005	DBLP DOI BibTeX RDF
11	Vincent Wan, Steve Renals	Speaker verification using sequence discriminant support vector machines.	IEEE Trans. Speech Audio Process.	2005	DBLP DOI BibTeX RDF
11	Viktor Kuncak, Patrick Lam 0001, Karen Zee, Martin C. Rinard	Implications of a Data Structure Consistency Checking System.	VSTTE	2005	DBLP DOI BibTeX RDF
11	Eric C. R. Hehner	Specified Blocks.	VSTTE	2005	DBLP DOI BibTeX RDF
11	Eva Cogan, Simon Parsons, Peter McBurney	New Types of Inter-agent Dialogues.	ArgMAS	2005	DBLP DOI BibTeX RDF
11	Mangala Gowri Nanda, Christian Grothoff, Satish Chandra 0001	Deriving object typestates in the presence of inter-object references.	OOPSLA	2005	DBLP DOI BibTeX RDF	Java, predicate abstraction, alias analysis, interface specification, heap analysis
11	Thomas I. Strasser, Alois Zoitl, Franz Auinger, Christoph Sünder	Towards Engineering Methods for Reconfiguration of Distributed Real-Time Control Systems Based on the Reference Model of IEC 61499.	HoloMAS	2005	DBLP DOI BibTeX RDF
11	John Pisokas, Ulrich Nehmzow	Experiments in Subsymbolic Action Planning with Mobile Robots.	Adaptive Agents and Multi-Agent Systems	2005	DBLP DOI BibTeX RDF
11	Nicolas Brodu	Environmental fitness for sustained population dynamics.	Congress on Evolutionary Computation	2005	DBLP DOI BibTeX RDF
11	Nam Tran II, David Abramson 0001, Christine Mingins	Call-Ordering Constraints.	APSEC	2005	DBLP DOI BibTeX RDF
11	Cristiano Calcagno, Philippa Gardner, Uri Zarfaty	Context logic and tree update.	POPL	2005	DBLP DOI BibTeX RDF	tree update, contexts, hoare logic
11	Vincent Kotzsch, Jörg Schneider, Günther Döring	Reusable Design of Inter-chip Communication Interfaces for Next Generation of Adaptive Computing Systems.	ARCS	2005	DBLP DOI BibTeX RDF
11	Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn	Symbolic Execution with Separation Logic.	APLAS	2005	DBLP DOI BibTeX RDF
11	Margaret Hilsbos, Il-Yeol Song, Yoo Choi	A Comparative Analysis of Use Case Relationships.	ER (Workshops)	2005	DBLP DOI BibTeX RDF
11	Olivier Barais, Laurence Duchien, Anne-Françoise Le Meur	A Framework to Specify Incremental Software Architecture Transformations.	EUROMICRO-SEAA	2005	DBLP DOI BibTeX RDF
11	Wei-Ngan Chin, Siau-Cheng Khoo, Shengchao Qin, Corneliu Popeea, Huu Hai Nguyen	Verifying safety policies with size properties and alias controls.	ICSE	2005	DBLP DOI BibTeX RDF	alias control, object-based programs, size properties, dependent types, safety verification
11	Warren Blanchet, Renée Elio, Eleni Stroulia	Conversation Errors in Web Service Coordination: Run-time Detection and Repair.	Web Intelligence	2005	DBLP DOI BibTeX RDF
11	Witold Charatonik, Lilia Georgieva, Patrick Maier 0001	Bounded Model Checking of Pointer Programs.	CSL	2005	DBLP DOI BibTeX RDF
11	Roberto Pirrone, Giovanni Pilato, Riccardo Rizzo, Giuseppe Russo	Learning Path Generation by Domain Ontology Transformation.	AI*IA	2005	DBLP DOI BibTeX RDF
11	Eevi E. Beck	Learning management systems: the need for critical analyses.	Critical Computing	2005	DBLP DOI BibTeX RDF	educational methods, education, accessibility, control, LMS, learning management systems, standardisation
11	Lionel C. Briand, Wojciech J. Dzidek, Yvan Labiche	Instrumenting Contracts with Aspect-Oriented Programming to Increase Observability and Support Debugging.	ICSM	2005	DBLP DOI BibTeX RDF
11	Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke	Word level predicate abstraction and refinement for verifying RTL verilog.	DAC	2005	DBLP DOI BibTeX RDF	SAT, predicate abstraction, verilog
11	Hironori Washizaki, Yuhki Sakai, Yoshiaki Fukazawa	Conditional Test for JavaBeans Components.	XP	2004	DBLP DOI BibTeX RDF
11	Roelof van Zwol, Herre van Oostendorp	Google's "I'm Feeling Lucky", Truly a Gamble?	WISE	2004	DBLP DOI BibTeX RDF
11	Fabrice Bouquet, Bruno Legeard, Mark Utting, Nicolas Vacelet	Faster Analysis of Formal Specifications.	ICFEM	2004	DBLP DOI BibTeX RDF
11	Jacques Wainer, Fábio de Lima Bezerra, Paulo Barthelmess	Tucupi: a flexible workflow system based on overridable constraints.	SAC	2004	DBLP DOI BibTeX RDF	fexibility, workflow, constraints, RBAC
11	Ali Hamie	Translating the Object Constraint Language into the Java Modelling Language.	SAC	2004	DBLP DOI BibTeX RDF	UML, constraints, reasoning, OCL, JML
11	Markus Müller-Olm, Helmut Seidl	Precise interprocedural analysis through linear algebra.	POPL	2004	DBLP DOI BibTeX RDF	affine relation, polynomial relation, linear algebra, interprocedural analysis, weakest precondition