Search results for "well-specified"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
54	Muhammad A. Qureshi, William H. Sanders, Aad P. A. van Moorsel, Reinhard German	Algorithms for the Generation of State-Level Representations of Stochastic Activity Networks with General Reward Structures.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	well-specified, well-defined, Markov processes, Stochastic Petri nets, stochastic activity networks
22	Jiawei Ge, Shange Tang, Jianqing Fan, Cong Ma, Chi Jin	Maximum Likelihood Estimation is All You Need for Well-Specified Covariate Shift.	CoRR	2023	DBLP DOI BibTeX RDF
22	Zhaocai Sun, William K. Cheung 0001, Xiaofeng Zhang 0002, Jun Yang	Towards well-specified semi-supervised model-based classifiers via structural adaptation.	CoRR	2017	DBLP BibTeX RDF
22	Tsuyoshi Ueno, Shin-ichi Maeda, Shin Ishii	Asymptotic analysis of value prediction by well-specified and misspecified models.	Neural Networks	2012	DBLP DOI BibTeX RDF
22	Daniel D. Deavours, William H. Sanders	An efficient well-specified check.	PNPM	1999	DBLP DOI BibTeX RDF
22	Debabrata Dey, Terence M. Barron, Veda C. Storey	A Well-Specified Temporal Relational Model.	ICIS	1992	DBLP BibTeX RDF
10	Ruth Rosenholz	Significantly Different Textures: A Computational Model of Pre-attentive Texture Segmentation.	ECCV (2)	2000	DBLP DOI BibTeX RDF
8	Victor R. Basili, Sebastian G. Elbaum	Empirically driven SE research: state of the art and required maturity.	ICSE	2006	DBLP DOI BibTeX RDF
8	Scott Moss	Talking about ABSS: Functional Descriptions of Models.	EPOS	2006	DBLP DOI BibTeX RDF	model space, opinion dynamics, verification, validation, Agent-based social simulation
8	Metin Tekkalmaz, Hasan Sözer, Ibrahim Korpeoglu	Distributed Construction and Maintenance of Bandwidth and Energy Efficient Bluetooth Scatternets.	IEEE Trans. Parallel Distributed Syst.	2006	DBLP DOI BibTeX RDF	ad hoc networks, distributed computing, Bluetooth, network topology, algorithm design, scatternet formation
8	Marcio T. Oliveira, Alan J. Hu	High-Level specification and automatic generation of IP interface monitors.	DAC	2002	DBLP DOI BibTeX RDF	formal verification, pipelining, regular expressions, alternation
7	Byeongcheol Lee, Ben Wiedermann, Martin Hirzel, Robert Grimm 0001, Kathryn S. McKinley	Jinn: synthesizing dynamic bug detectors for foreign language interfaces.	PLDI	2010	DBLP DOI BibTeX RDF	ffi bugs, foreign function interfaces (FFI), java native interface (jni), multilingual programs, python/C, specification generation, specification, dynamic analysis
7	Jan Camenisch, Dieter Sommer, Roger Zimmermann	A General Certification Framework with Applications to Privacy-Enhancing Certificate Infrastructures.	SEC	2006	DBLP DOI BibTeX RDF
7	Hirozumi Yamaguchi, Khaled El-Fakih, Akihito Hiromori, Teruo Higashino	A formal approach to design optimized multimedia service overlay.	NOSSDAV	2005	DBLP DOI BibTeX RDF	service composition, overlay network, multimedia service
7	Jeffrey V. Nickerson	The Meaning of Arrows: Diagrams and Other Facets in System Sciences Literature.	HICSS	2005	DBLP DOI BibTeX RDF
7	Christophe Dony	An Object-Oriented Exception Handling System for an Object-Oriented Language.	ECOOP	1988	DBLP DOI BibTeX RDF	Fault-tolerant encapsulations, Resumption model, Object-oriented programming, Exception handling, Debugging environments
5	Philipp Rohlfshagen, Xin Yao 0001	Attributes of Dynamic Combinatorial Optimisation.	SEAL	2008	DBLP DOI BibTeX RDF
5	Marcus Ciolkowski, Jens Heidrich, Marco Kuhrmann, Jürgen Münch	2nd International Workshop on Measurement-Based Cockpits for Distributed Software and Systems Engineering Projects (SOFTPIT 2008).	PROFES	2008	DBLP DOI BibTeX RDF
5	Mikolás Janota, Radu Grigore, Michal Moskal	Reachability analysis for annotated code.	SAVCBS	2007	DBLP DOI BibTeX RDF	ESC/Java2, JML
5	Brian A. Malloy, Nicholas A. Kraft, Jason O. Hallstrom, Jeffrey M. Voas	Improving the Predictable Assembly of Service-Oriented Architectures.	IEEE Softw.	2006	DBLP DOI BibTeX RDF	SOAs, Web services, specifications, WSDL
5	Hang Chang, Qing Yang 0002, Chunhong Pan	An Iterative Bayesian Approach for Digital Matting.	ICPR (2)	2006	DBLP DOI BibTeX RDF
5	Youcef Baghdadi	A business model for deploying Web services: A data-centric approach based on factual dependencies.	Inf. Syst. E Bus. Manag.	2005	DBLP DOI BibTeX RDF	Business events, Factual dependency, Web services generation and deployment, SOA, Information systems, Business model, Business objects, Coordination artifacts
5	François Pottier	From ML type inference to stratified type inference.	ICFP	2005	DBLP DOI BibTeX RDF
5	Venkatesh Akella, Ganesh Gopalakrishnan	Specification and Validation of Control-Intensive IC's in hopCP.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	control-intensive integrated circuits, hopCP, asynchronous operations, multiple concurrent threads, Intel 8251, Universal Synchronous/Asynchronous Receiver/Transmitter, USART, synchronous message passing, distributed shared variables, asynchronous ports, compiled-code concurrent functional simulator, CFSIM, formal specification, formal methods, formal verification, specification, validation, message passing, specification languages, interrupt, digital simulation, hardware description language, microprocessor chips, hardware design, polling, computational requirements, synchronous operations
5	Norihisa Suzuki	Analysis of Pointer Rotation.	POPL	1980	DBLP DOI BibTeX RDF
4	Andrew Butterfield, Art Ó Catháin	Concurrent Models of Flash Memory Device Behaviour.	SBMF	2009	DBLP DOI BibTeX RDF
4	Brian Hill	Towards a "Sophisticated" Model of Belief Dynamics. Part II: Belief Revision.	Stud Logica	2008	DBLP DOI BibTeX RDF	Representations of belief, logical omniscience, logical locality, belief dynamics, iterated revision, Gärdenfors postulates, framing effect, awareness, bounded rationality, rational choice theory
4	Sofia Stamou, Lefteris Kozanidis, Paraskevi Tzekou, Nikos Zotos	Query selection for improved Greek web searches.	CIKM-iNEWS	2008	DBLP DOI BibTeX RDF	Greek web search, query selection, semantics, text mining, linguistic analysis
4	Hilaire Fernandes, Stéphane Ducasse, Thibault Carron	DR. GEO II: Adding Interactivity Planes in Interactive Dynamic Geometry.	C5	2007	DBLP DOI BibTeX RDF
4	Jerry Boetje	Foundational actions: teaching software engineering when time is tight.	ITiCSE	2006	DBLP DOI BibTeX RDF	software engineering, education, pedagogy, software, tools, process, engineering, undergraduate
4	Eric Wohlstadter, Kris De Volder	Doxpects: aspects supporting XML transformation interfaces.	AOSD	2006	DBLP DOI BibTeX RDF
4	Heath A. James, Kenneth A. Hawick	Scientific Data Management in a Grid Environment.	J. Grid Comput.	2005	DBLP DOI BibTeX RDF	parameter cross-products, data mining, metadata, data management, Grid systems
4	Lars Birkedal, Noah Torp-Smith, Hongseok Yang	Semantics of Separation-Logic Typing and Higher-Order Frame Rules.	LICS	2005	DBLP DOI BibTeX RDF
4	Hans-Juergen Boehm	Threads cannot be implemented as a library.	PLDI	2005	DBLP DOI BibTeX RDF	optimization, threads, data race, pthreads, register promotion
4	Dirk Sudholt	Crossover is provably essential for the ising model on trees.	GECCO	2005	DBLP DOI BibTeX RDF	expected optimization time, mutation vs. crossover, ising model, theoretical analysis, fitness sharing
4	Yuangui Lei	An instance mapping ontology for the semantic web.	K-CAP	2005	DBLP DOI BibTeX RDF	instance mapping, mapping ontology, semantic data transformation, semantic web, ontology mapping
4	Ahmed Lehireche, Abdellatif Rahmoun	The EE-method, an evolutionary engineering developer tool: neural net character mapping.	AICCSA	2005	DBLP DOI BibTeX RDF
4	Massimiliano Albanese, Pasquale Capasso, Antonio Picariello, Antonio Maria Rinaldi	Information Retrieval from the Web: An Interactive Paradigm.	Multimedia Information Systems	2005	DBLP DOI BibTeX RDF
4	Michael J. North, Cynthia S. Hood 0001	Users Matter: A Multi-agent Systems Model of High Performance Computing Cluster Users.	MABS	2004	DBLP DOI BibTeX RDF
4	Youcef Baghdadi	A Business Model for B2B Integration through Web Services.	CEC	2004	DBLP DOI BibTeX RDF
4	Yongwei Wu, Qing Wang, Guangwen Yang, Weimin Zheng	Coarse-Grained Distributed Parallel Programming Interface for Grid Computing.	GCC (1)	2003	DBLP DOI BibTeX RDF
4	Robert M. Bruckner, Beate List, Josef Schiefer	Striving towards Near Real-Time Data Integration for Data Warehouses.	DaWaK	2002	DBLP DOI BibTeX RDF
4	Paul Davidsson	Categories of Artificial Societies.	ESAW	2001	DBLP DOI BibTeX RDF
4	Helen C. Purchase	Peer Assessment: Encouraging Reflection on Interface Design.	ACSC	2000	DBLP DOI BibTeX RDF
4	Hermann Kopetz	Elementary versus Composite Interfaces in Distributed Real-Time Systems.	ISADS	1999	DBLP DOI BibTeX RDF	temporal accuracy of data, Real-time system, interface, system design, time-triggered, client-server model
4	Suzanne M. Embury, Andrew C. Jones, Iain Sutherland, W. A. Gray, Richard J. White, John S. Robinson, Frank A. Bisby, Sue M. Brandt	Conflict Detection for Integration of Taxonomic Data Sources.	SSDBM	1999	DBLP DOI BibTeX RDF
4	Barry W. Boehm, Hoh In	Identifying Quality-Requirement Conflicts.	IEEE Softw.	1996	DBLP DOI BibTeX RDF
4	Patrick D. Surry, Nicholas J. Radcliffe	Formal Algorithms + Formal Representations = Search Strategies.	PPSN	1996	DBLP DOI BibTeX RDF
4	Taketoshi Ushiama, Toyohide Watanabe	A Representation Method of Time-Varying Characteristics of Entity on the Basis of Core-Surface Concept.	COMPSAC	1996	DBLP DOI BibTeX RDF
4	David Lowe	The representation of debate as a basis for information storage and retrieval.	AFIPS National Computer Conference	1984	DBLP DOI BibTeX RDF