Search results for "precondition"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Mi-young Kang, Sung-Won Jung, Hyuk-Chul Kwon, Ae-sun Yoon	Automatic Korean Phoneme Generation Via Input-Text Preprocessing and Disambiguation.	TSD	2006	DBLP DOI BibTeX RDF
10	He Yu'an, Yu Tao, Liu Lilan, Sun Haiyang	Research on Manufacturing Resource Discovery Based on Ontology and QoS in Manufacturing Grid.	CW	2006	DBLP DOI BibTeX RDF
10	Peter Amey	Why Programming Languages Still Matter.	RODIN Book	2006	DBLP DOI BibTeX RDF
10	Zhen Yang, Huadong Ma	Providing Consistent Service for Structured P2P Streaming System.	PCM	2006	DBLP DOI BibTeX RDF	service consistency, peer-to-peer, streaming system
10	Guang-Sheng Ma, Xiuqin Wang, Hao Wang	Web-Based Cooperative Design for SoC and Improved Architecture Exploration Algorithm.	APWeb Workshops	2006	DBLP DOI BibTeX RDF
10	Jedidiah R. Crandall, Gary Wassermann, Daniela Alvim Seabra de Oliveira, Zhendong Su 0001, Shyhtsun Felix Wu, Frederic T. Chong	Temporal search: detecting hidden malware timebombs with virtual machines.	ASPLOS	2006	DBLP DOI BibTeX RDF	virtual machines, malware, worms
10	Harald Raffelt, Bernhard Steffen	LearnLib: A Library for Automata Learning and Experimentation.	FASE	2006	DBLP DOI BibTeX RDF
10	Yici Cai, Jin Shi, Zuying Luo, Xianlong Hong	Modeling and Analysis of Mesh Tree Hybrid Power/Ground Networks with Multiple Voltage Supply in Time Domain.	J. Comput. Sci. Technol.	2005	DBLP DOI BibTeX RDF	power/ground network, mesh tree hybrid, multi-source, Choleskey decomposition, fast variable elimination, simulation, VLSI
10	Farn Wang	Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	model-checking, verification, Data-structures, BDD, hybrid automata
10	Gertrude Neuman Levine	The classification of deadlock prevention and avoidance is erroneous.	ACM SIGOPS Oper. Syst. Rev.	2005	DBLP DOI BibTeX RDF
10	Chia-Feng Juang	Combination of online clustering and Q-value based GA for reinforcement fuzzy system design.	IEEE Trans. Fuzzy Syst.	2005	DBLP DOI BibTeX RDF
10	Keith Braithwaite, Tim Joyce	XP Expanded: Distributed Extreme Programming.	XP	2005	DBLP DOI BibTeX RDF	distributed, XP, Extreme Programming, outsourcing, Agile, Scrum, multi-site
10	Sven Olaf Ropers, André A. Bell, Thomas Würflinger, Alfred Böcking, Dietrich Meyer-Ebrecht	Automatic scene comparison and matching in multimodal cytopathological microscopic images.	ICIP (1)	2005	DBLP DOI BibTeX RDF
10	Chetan Shiva Shankar, Roy H. Campbell	A Policy-based Management Framework for Pervasive Systems using Axiomatized Rule-Actions.	NCA	2005	DBLP DOI BibTeX RDF
10	Kotaro Nakayama, Takahiro Hara, Shojiro Nishio	A Web Mining Method Based on Personal Ontology for Semi-structured RDF.	WISE Workshops	2005	DBLP DOI BibTeX RDF
10	Farn Wang	Symbolic Verification of Distributed Real-Time Systems with Complex Synchronizations.	ICFEM	2005	DBLP DOI BibTeX RDF	model-checking, verification, real-time, synchronization, distributed
10	Wojciech J. Dzidek, Lionel C. Briand, Yvan Labiche	Lessons Learned from Developing a Dynamic OCL Constraint Enforcement Tool for Java.	MoDELS (Satellite Events)	2005	DBLP DOI BibTeX RDF
10	Stefan Bertschi, Noah Bubenhofer	Linguistic Learning: A New Conceptual Focus in Knowledge Visualization.	IV	2005	DBLP DOI BibTeX RDF
10	Katsuhisa Maruyama, Shinichiro Yamamoto	Design and Implementation of an Extensible and Modifiable Refactoring Tool.	IWPC	2005	DBLP DOI BibTeX RDF
10	Marc O. Ernst	The "puzzle" of sensory perception: putting together multisensory information.	ICMI	2005	DBLP DOI BibTeX RDF
10	Yi Hong 0002, Qingsheng Ren, Jin Zeng, Ying Zhang	Search Space Filling and Shrinking Based to Solve Constraint Optimization Problems.	ICIC (1)	2005	DBLP DOI BibTeX RDF
10	Jianming Hu, Xi Shi, Jingyan Song, Yangsheng Xu	Optimal Design for Urban Mass Transit Network Based on Evolutionary Algorithms.	ICNC (2)	2005	DBLP DOI BibTeX RDF
10	Frank Zeyda, Bill Stoddart, Steve Dunne	A Prospective-Value Semantics for the GSL.	ZB	2005	DBLP DOI BibTeX RDF	bunch theory, prospective-value semantics, expression transformers, wp calculus, B Method, Generalised substitution
10	Andreas Podelski, Thomas Wies	Boolean Heaps.	SAS	2005	DBLP DOI BibTeX RDF
10	Christian Plagemann, Thomas Müller 0004, Wolfram Burgard	Vision-Based 3D Object Localization Using Probabilistic Models of Appearance.	DAGM-Symposium	2005	DBLP DOI BibTeX RDF
10	Jinlong Wang, Congfu Xu, Huifeng Shen, Yunhe Pan	Hierarchical Infrastructure for Large-Scale Distributed Privacy-Preserving Data Mining.	International Conference on Computational Science (3)	2005	DBLP DOI BibTeX RDF
10	Venu K. Murthy, E. V. Krishnamurthy	Contextual information management using contract: based workflow.	Conf. Computing Frontiers	2005	DBLP DOI BibTeX RDF	ambient intelligent computing environment (AmI), chemical-reactivity properties, contextual management, contract-based workflow, intention - context-action protocol, agents
10	Miguel Goulão, Fernando Brito e Abreu	Composition Assessment Metrics for CBSE.	EUROMICRO-SEAA	2005	DBLP DOI BibTeX RDF	Software Metrics, OCL, Component-Based Software Engineering, CORBA Component Model
10	Ingo Stock, Michael Weber 0001, Eckhard Steinmeier	Metadata based authoring for technical documentation.	SIGDOC	2005	DBLP DOI BibTeX RDF	metadata, authoring, technical documentation
10	Fangyong Hou, Zhiying Wang 0003, Kui Dai, Yun Liu	Protecting Mass Data Basing on Small Trusted Agent.	ISPEC	2005	DBLP DOI BibTeX RDF
10	Beatriz Otero, José M. Cela, Rosa M. Badia, Jesús Labarta	Data Distribution Strategies for Domain Decomposition Applications in Grid Environments.	ICA3PP	2005	DBLP DOI BibTeX RDF
10	Leon Bobrowski	Linear Ranked Regression - Designing Principles.	CORES	2005	DBLP DOI BibTeX RDF
10	Janusz Jezewski, Janusz Wrobel, Tomasz Kupka	Baseline and Acceleration Episodes - Clinically Significant Nonstationarities in FHR Signal: Part I. Coefficients of Inconsistency.	CORES	2005	DBLP DOI BibTeX RDF
10	Anliang Ning, Hong Hou, Qingyi Hua, Bin Yu, Kegang Hao	Requirements Engineering Processes Improvement: A Systematic View.	ISPW	2005	DBLP DOI BibTeX RDF
10	Lixin Han, Guihai Chen, Linping Sun, Li Xie	CMSA: A Method for Construction and Maintenance of Semantic Annotations.	ISPA Workshops	2005	DBLP DOI BibTeX RDF
10	Marcelo F. Frias, Juan P. Galeotti, Carlos López Pombo, Nazareno Aguirre	DynAlloy: upgrading alloy with actions.	ICSE	2005	DBLP DOI BibTeX RDF	software specification, dynamic logic, alloy, software validation
10	Witold Charatonik, Lilia Georgieva, Patrick Maier 0001	Bounded Model Checking of Pointer Programs.	CSL	2005	DBLP DOI BibTeX RDF
10	Topi Mäenpää	An Iterative Algorithm for Fast Iris Detection.	IWBRS	2005	DBLP DOI BibTeX RDF
10	Feng Shi, Jing Huang	Prediction of T-cell Epitopes Using Support Vector Machine and Similarity Kernel.	CIS (1)	2005	DBLP DOI BibTeX RDF
10	Miguel Goulão, Fernando Brito e Abreu	Formal Definition of Metrics Upon the CORBA Component Model.	QoSA/SOQUA	2005	DBLP DOI BibTeX RDF
10	Xuefeng Zhu, Zhi Jin	Inconsistency Measurement of Software Requirements Specifications: An Ontology-Based Approach.	ICECCS	2005	DBLP DOI BibTeX RDF
10	Yan Xing, Michael G. Madden, Jim Duggan, Gerard Lyons	Context-Sensitive Regression Analysis for Distributed Data.	ADMA	2005	DBLP DOI BibTeX RDF
10	Jan Olaf Blech, Lars Gesellensetter, Sabine Glesner	Formal Verification of Dead Code Elimination in Isabelle/HOL.	SEFM	2005	DBLP DOI BibTeX RDF
10	Yuefeng Li, Ning Zhong 0001	Rough Association Mining and Its Application in Web Information Gathering.	Australian Conference on Artificial Intelligence	2005	DBLP DOI BibTeX RDF
10	Qun Liu, WenBiao Jin, SiYuan Wu, YingHua Zhou	Clustering research using dynamic modeling based on granular computing.	GrC	2005	DBLP DOI BibTeX RDF
10	Debora Field, Allan Ramsay	Sarcasm, Deception, and Stating the Obvious: Planning Dialogue without Speech Acts.	Artif. Intell. Rev.	2004	DBLP DOI BibTeX RDF	conversational record, deception, speech acts, AI planning, implicature
10	Hwanho Kim, Jinchao Xu, Ludmil T. Zikatanov	Uniformly Convergent Multigrid Methods for Convection-Diffusion Problems without Any Constraint on Coarse Grids.	Adv. Comput. Math.	2004	DBLP DOI BibTeX RDF	nonsymmetric and indefinite problems, convection-diffusion equations, monotone finite element scheme, EAFE scheme, normal equation, preconditioning, multigrid method, GMRES
10	Ralph-Johan Back, Cristina Cerschi Seceleanu	Contracts and Games in Controller Synthesis for Discrete Systems.	ECBS	2004	DBLP DOI BibTeX RDF
10	Farn Wang	Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures.	CAV	2004	DBLP DOI BibTeX RDF	model-checking, verification, data-structures, BDD, hybrid automata
10	Pascal Hénon, François Pellegrini, Pierre Ramet, Jean Roman, Yousef Saad	Applying Parallel Direct Solver Techniques to Build Robust High Performance Preconditioners.	PARA	2004	DBLP DOI BibTeX RDF
10	Dirk Woitha, Dietmar Janich	Adaptive Threshold.	Reading and Learning	2004	DBLP DOI BibTeX RDF
10	Miles Efron, Jonathan L. Elsas, Gary Marchionini, Junliang Zhang	Machine learning for information architecture in a large governmental website.	JCDL	2004	DBLP DOI BibTeX RDF	machine learning, interface design, information architecture
10	Stefan Edelkamp	Generalizing the Relaxed Planning Heuristic to Non-linear Tasks.	KI	2004	DBLP DOI BibTeX RDF
10	Takuya Fukasawa, Jiahong Wang, Toyoo Takata, Masatoshi Miyazaki	An Effective Distributed Privacy-Preserving Data Mining Algorithm.	IDEAL	2004	DBLP DOI BibTeX RDF
10	Kaushal Sarda, Duminda Wijesekera, Sushil Jajodia	Implementing Consistency Checking in Correlating Attacks.	ICDCIT	2004	DBLP DOI BibTeX RDF
10	Ole Guttorm Jensen, Michael H. Böhlen	Lossless Conditional Schema Evolution.	ER	2004	DBLP DOI BibTeX RDF
10	Walter Binder, Jarle Hulaas	Extending Standard Java Runtime Systems for Resource Management.	SEM	2004	DBLP DOI BibTeX RDF	Bytecode rewriting, JDK, Java, program transformations, resource management
10	Ziyang Duan, Arthur J. Bernstein, Philip M. Lewis, Shiyong Lu	Semantics Based Verification and Synthesis of BPEL4WS Abstract Processes.	ICWS	2004	DBLP DOI BibTeX RDF
10	William N. Scherer III, Michael L. Scott	Nonblocking Concurrent Data Structures with Condition Synchronization.	DISC	2004	DBLP DOI BibTeX RDF
10	Antti Oulasvirta, Antti Salovaara	A cognitive meta-analysis of design approaches to interruptions in intelligent environments.	CHI Extended Abstracts	2004	DBLP DOI BibTeX RDF	context-aware computing, interruptions, intelligent environment, cognitive psychology
10	Jim Woodcock 0001, Ana Cavalcanti 0001	A Tutorial Introduction to Designs in Unifying Theories of Programming.	IFM	2004	DBLP DOI BibTeX RDF
10	Greta Yorsh, Thomas W. Reps, Shmuel Sagiv	Symbolically Computing Most-Precise Abstract Operations for Shape Analysis.	TACAS	2004	DBLP DOI BibTeX RDF
10	Mohamed Mosbah 0001, Rodrigue Ossamy	A Programming Language for Local Computations in Graphs: Computational Completeness.	ENC	2004	DBLP DOI BibTeX RDF
10	Martin Smits, Aldo de Moor	Measuring Knowledge Management Effectiveness in Communities of Practice.	HICSS	2004	DBLP DOI BibTeX RDF
10	Zhu Pan, Yici Cai, Sheldon X.-D. Tan, Zuying Luo, Xianlong Hong	Transient Analysis of On-Chip Power Distribution Networks Using Equivalent Circuit Modeling.	ISQED	2004	DBLP DOI BibTeX RDF
10	Saeid Arabestani, Friedemann Bitsch, Jan-Tecker Gayen	Precise Definition of the Single-Track Level Crossing in Radio-Based Operation in UML Notation and Specification of Safety Requirements.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF	safety requirements specification, safety patterns, radio-based train control system (FFB), UML, object orientation, level crossing
10	Kenji Obata	Approximate max-integral-flow/min-multicut theorems.	STOC	2004	DBLP DOI BibTeX RDF
10	Mingsheng Ying	Reasoning about probabilistic sequential programs in a probabilistic logic.	Acta Informatica	2003	DBLP DOI BibTeX RDF
10	Karl Lermer, Colin J. Fidge, Ian J. Hayes	Linear Approximation of Execution-Time Constraints.	Formal Aspects Comput.	2003	DBLP DOI BibTeX RDF	Automatic constraint determination, Real-time program analysis, Worst-case and best-case execution times, Control-flow analysis, Timing prediction
10	Chang Huang, Zhaohui Wu 0001, Guozhou Zheng	A Negotiation Protocol for Database Resource Binding.	ISPDC	2003	DBLP DOI BibTeX RDF
10	José Manuel Colom	The Resource Allocation Problem in Flexible Manufacturing Systems.	ICATPN	2003	DBLP DOI BibTeX RDF
10	K. Rustan M. Leino	A SAT Characterization of Boolean-Program Correctness.	SPIN	2003	DBLP DOI BibTeX RDF
10	Jacques Wainer, Fábio de Lima Bezerra	Constraint-Based Flexible Workflows.	CRIWG	2003	DBLP DOI BibTeX RDF
10	Christel Kemke	A Formal Theory for Describing Action Concepts in Terminological Knowledge Bases.	AI	2003	DBLP DOI BibTeX RDF
10	Lilian Burdy, Antoine Requet	Extending B with Control Flow Breaks.	ZB	2003	DBLP DOI BibTeX RDF
10	Oliver Ritthoff, Ralf Klinkenberg	Evolutionary Feature Space Transformation Using Type-Restricted Generators.	GECCO	2003	DBLP DOI BibTeX RDF
10	Marco Fischer, Hendrik Jähn, Tobias Teich	Partner Selection in Virtual Enterprises by Using Ant Colony Optimization in Combination with the Analytical Hierarchy Process.	GECCO	2003	DBLP DOI BibTeX RDF
10	Viktor Kuncak, Martin C. Rinard	Existential Heap Abstraction Entailment Is Undecidable.	SAS	2003	DBLP DOI BibTeX RDF	Program Verification, Shape Analysis, Type Checking, Monadic Second-Order Logic, Typestate, Graph Homomorphism, Post Correspondence Problem
10	Cees Pierik, Frank S. de Boer	A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts.	FMOODS	2003	DBLP DOI BibTeX RDF
10	Dong Zhao, Ya-Wei Li, Mingtian Zhou	Research on Adaptable Replication Protocol.	GCC (2)	2003	DBLP DOI BibTeX RDF
10	David Keil, Dina Q. Goldin	Modeling Indirect Interaction in Open Computational Systems.	WETICE	2003	DBLP DOI BibTeX RDF
10	Natenapa Sriharee, Twittie Senivongse	Discovering Web Services Using Behavioural Constraints and Ontology.	DAIS	2003	DBLP DOI BibTeX RDF
10	Joan Mir, Joan Borrell	Protecting Mobile Agent Itineraries.	MATA	2003	DBLP DOI BibTeX RDF
10	Ligang He, Stephen A. Jarvis, Daniel P. Spooner, Graham R. Nudd	Dynamic Scheduling of Parallel Real-Time Jobs by Modelling Spare Capabilities in Heterogeneous Clusters.	CLUSTER	2003	DBLP DOI BibTeX RDF
10	Jingzhi Guo, Chengzheng Sun	Context representation, transformation and comparison for ad hoc product data exchange.	ACM Symposium on Document Engineering	2003	DBLP DOI BibTeX RDF	XML product map, XPM, ad hoc product data exchange, context comparison, context transformation, electronic product catalogue, product data integration, semantics, electronic commerce, concept, context representation
10	Geoffrey Watson, Colin J. Fidge	A Partial-Correctness Semantics for Modelling Assembler Programs.	SEFM	2003	DBLP DOI BibTeX RDF
10	Paul Ammann, Duminda Wijesekera, Saket Kaushik	Scalable, graph-based network vulnerability analysis.	CCS	2002	DBLP DOI BibTeX RDF	monotonic analysis, model checking, scalability, network security, vulnerability, exploit
10	Graeme Smith 0001, John Derrick	Abstract Specification in Object-Z and CSP.	ICFEM	2002	DBLP DOI BibTeX RDF
10	Colin J. Fidge	Timing Analysis of Assembler Code Control-Flow Paths.	FME	2002	DBLP DOI BibTeX RDF
10	Chi Shen, Jun Zhang 0001	Robust Parallel ILU Preconditioning Techniques for Solving Large Sparse Matrices.	IPDPS	2002	DBLP DOI BibTeX RDF
10	James Blow, Andy Galloway	Generalised Substitution Language and Differentials.	ZB	2002	DBLP DOI BibTeX RDF
10	Markus Müller-Olm, Helmut Seidl	Polynomial Constants Are Decidable.	SAS	2002	DBLP DOI BibTeX RDF
10	Gabi Dreo Rodosek	Quality Aspects in IT Service Management.	DSOM	2002	DBLP DOI BibTeX RDF
10	Alain Couchot	Improving the Refined Triggering Graph Method for Active Rules Termination Analysis.	BNCOD	2002	DBLP DOI BibTeX RDF
10	Klaus B. Bærentsen, Johan Trettvik	An activity theory approach to affordance.	NordiCHI	2002	DBLP DOI BibTeX RDF	ecological psychology, praxis, perception, activity theory, activity, affordance, artifacts, appropriation
10	Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov	Korat: automated testing based on Java predicates.	ISSTA	2002	DBLP DOI BibTeX RDF
10	Lionel C. Briand, Yvan Labiche, Hong Sun	Investigating the use of analysis contracts to support fault isolation in object oriented code.	ISSTA	2002	DBLP DOI BibTeX RDF	contracts, testability, object-oriented analysis, object-oriented testing
10	Heinz W. Schmidt, Bernd J. Krämer, Iman Poernomo, Ralf H. Reussner	Predictable Component Architectures Using Dependent Finite State Machines.	RISSEF	2002	DBLP DOI BibTeX RDF	automated interface adaptation, component-based interface specification, component-based prediction, production cell, protocol types, parameterised contracts, software architecture, finite state machines
10	Maria Vargas-Vera, Enrico Motta, John Domingue, Mattia Lanzoni, Arthur Stutt, Fabio Ciravegna	MnM: Ontology Driven Semi-automatic and Automatic Support for Semantic Markup.	EKAW	2002	DBLP DOI BibTeX RDF
10	Konstantinos Ergazakis, Konstantinos Karnezis, Kostas S. Metaxiotis, Ioannis Psarras	Knowledge Management in Enterprises: A Research Agenda.	PAKM	2002	DBLP DOI BibTeX RDF