Search results for "abstract model"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Reasey Praing, Markus Schneider	A Universal Abstract Model for Future Movements of Moving Objects.	AGILE Conf.	2007	DBLP DOI BibTeX RDF	future movements, moving objects, spatio-temporal model, abstract model, probability model
2	Samson Lee, John Leaney, Tim O'Neill, Mark Hunter	Evaluating Open Service Access with an Abstract Model of NGN Functions.	APNOMS	2008	DBLP DOI BibTeX RDF
2	Chuchang Liu, Angela Billard, Benjamin Long	An Abstract Model for Dynamic Access Control Architectures.	Web Intelligence/IAT Workshops	2008	DBLP DOI BibTeX RDF
2	Davy Van Deursen, Davy De Schrijver, Sarah De Bruyne, Rik Van de Walle	Fully Format Agnostic Media Resource Adaptation using an Abstract Model for Scalable Bitstreams.	ICME	2007	DBLP DOI BibTeX RDF
2	Fei Pu, Wenhui Zhang	Partition Refinement in Abstract Model Checking.	TASE	2007	DBLP DOI BibTeX RDF
2	Lutz Maicher	Mapping between the Dublin Core Abstract Model DCAM and the TMDM.	TMRA	2007	DBLP DOI BibTeX RDF
2	Xudong Shi, Feiqi Su, Jih-Kwon Peir, Ye Xia 0001, Zhen Yang	Modeling and Single-Pass Simulation of CMP Cache Capacity and Accessibility.	ISPASS	2007	DBLP DOI BibTeX RDF	multiple cache organization, single-pass simulation, on-chip storage space, on-chip cache capacity, single-pass stack simulation, global stack, shared stack, per-core private stack, single simulation pass, average memory access time, chip-multiprocessor, data replication, data accessibility, abstract model, reuse distances
2	Guillaume Grondin, Noury Bouraqadi, Laurent Vercouter	MaDcAr: An Abstract Model for Dynamic and Automatic (Re-)Assembling of Component-Based Applications.	CBSE	2006	DBLP DOI BibTeX RDF	Automatic Assembling, Context-Awareness, Dynamic Adaptation
2	Helmut Horacek	An Abstract Model of Man-Machine Interaction Based on Concepts from NL Dialog Processing.	NLDB	2006	DBLP DOI BibTeX RDF
2	Thomas Baker	A Common Grammar for Diverse Vocabularies: The Abstract Model for Dublin Core.	ICADL	2005	DBLP DOI BibTeX RDF
2	Jinkui Xie, Linpeng Huang	An Abstract Model for Service Compositions Based on Agents.	International Conference on Computational Science	2005	DBLP DOI BibTeX RDF
2	Mats Neovius	An Abstract Model for Incentive-Enhanced Trust in P2P Networks.	EUC Workshops	2005	DBLP DOI BibTeX RDF	Peer-to-Peer networks, incentive, trustworthiness, anticipation
2	María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel	A generalized semantics of PROMELA for abstract model checking.	Formal Asp. Comput.	2004	DBLP DOI BibTeX RDF	Model checking, Abstraction, spin, Structured operational semantics, promela
2	María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel	aSPIN: A tool for abstract model checking.	STTT	2004	DBLP DOI BibTeX RDF	Model checking, Verification, Temporal logic, Abstraction, Spin
2	Miyuki Koshimura, Mayumi Umeda, Ryuzo Hasegawa	Abstract Model Generation for Preprocessing Clause Sets.	LPAR	2004	DBLP DOI BibTeX RDF
2	María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel	Abstract Model Checking and Refinement of Temporal Logic in aSPIN.	ACSD	2003	DBLP DOI BibTeX RDF
2	Roberto Giacobazzi, Isabella Mastroeni	Domain Compression for Complete Abstractions.	VMCAI	2003	DBLP DOI BibTeX RDF	domain refinement, abstract model-checking, program analysis, Abstract interpretation, completeness, predicate abstraction, abstract domains
2	Alvaro E. Arenas	An Abstract Model for Scheduling Real-Time Programs.	ICFEM	2002	DBLP DOI BibTeX RDF	Scheduling, Program Verification, Real-time Programming
2	Francesco Ranzato, Francesco Tapparo	Making Abstract Model Checking Strongly Preserving.	SAS	2002	DBLP DOI BibTeX RDF
2	María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel	Refinement of LTL Formulas for Abstract Model Checking.	SAS	2002	DBLP DOI BibTeX RDF
2	Daniel C. DuVarney, S. Purushothaman Iyer	C Wolf - A Toolset for Extracting Models from C Programs.	FORTE	2002	DBLP DOI BibTeX RDF	Abstract Model checking, Concurrency Workbench, FDT for network protocols, Software tools, Verification and validation, C programs
2	Ludwik Kuzniarz, Maciej Piasecki	An abstract model for temporal composition of multimedia data.	EUROMICRO	1997	DBLP DOI BibTeX RDF	temporal composition, composed data, synchronisation points, technical standard, MME, RIFF structures, data model, multimedia systems, multimedia stream, multimedia computing, multimedia data, abstract model, SML
2	Chandra Chekuri, Richard Johnson, Rajeev Motwani, B. Natarajan, B. Ramakrishna Rau, Michael S. Schlansker	Profile-driven Instruction Level Parallel Scheduling with Application to Super Blocks.	MICRO	1996	DBLP BibTeX RDF	linear code regions, long-instruction-word machines, optimum scheduling, profile-driven instruction level parallel scheduling, profile-sensitive scheduler, ranking branch instructions, compiler optimization, scheduling heuristic, abstract model, optimising compilers, code scheduling
2	Thomas F. Keefe, Wei-Tek Tsai	A multiversion transaction scheduler for centralized multilevel secure database systems. (PDF / PS)	HASE	1996	DBLP DOI BibTeX RDF	multiversion transaction scheduler, centralized multilevel secure database systems, multilevel secure database management systems, MLS/DBMSs, secure multiversion scheduling protocol, serializable schedules, MLS noninterference assertions, timestamp generation, concurrency, concurrency control, transactions, correctness, contention, failure, covert channels, data access, abstract model, concurrent execution, multiple versions
2	Philip J. Morrow, Danny Crookes	Using Prolog to implement a compiler for a parallel image processing language. (PDF / PS)	ICIP	1995	DBLP DOI BibTeX RDF	parallel image processing language, BNF syntax definition, image processing, compiler, parallel architectures, parallel architectures, PROLOG, programming languages, program compilers, parallel languages, software portability, software portability, abstract model, implementation language
2	Jacob P. Ukelson, John D. Gould, Stephen J. Boies	User Navigation in Computer Applications.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	keyboard navigation, real-world requirements, user interfaces, human factors, direct manipulation, interactive systems, application development, abstract model, user navigation
2	Michael J. Carey	An Abstract Model of Database Concurrency Control Algorithms.	SIGMOD Conference	1983	DBLP DOI BibTeX RDF
1	George Chatzieleftheriou, Borzoo Bonakdarpour, Scott A. Smolka, Panagiotis Katsaros	Abstract Model Repair.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
1	José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi	An abstract model of service discovery and binding.	Formal Asp. Comput.	2011	DBLP DOI BibTeX RDF
1	Junaid Arshad, Paul Townend, Jie Xu	An Abstract Model for Integrated Intrusion Detection and Severity Analysis for Clouds.	IJCAC	2011	DBLP BibTeX RDF
1	Gilles Barthe, César Kunz	An Abstract Model of Certificate Translation.	ACM Trans. Program. Lang. Syst.	2011	DBLP DOI BibTeX RDF
1	Cong Tian, Zhenhua Duan	Detecting Spurious Counterexamples Efficiently in Abstract Model Checking	CoRR	2011	DBLP BibTeX RDF
1	Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog, Anders P. Ravn	An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres.	ICFEM	2011	DBLP DOI BibTeX RDF
1	Georgi Kirov, Valentin Stoyanov, Boyan Lazarov	Abstract model of an object-oriented layer for distributed systems based on the DDS standard.	CompSysTech	2011	DBLP DOI BibTeX RDF
1	Colm Bhandal, Mélanie Bouroche, Arthur Hughes	An Abstract Model of a Coordination Protocol Using the UPPAAL Model Checker.	EUC	2011	DBLP DOI BibTeX RDF
1	Yuting Ye, C. Karen Liu	Optimal feedback control for character animation using an abstract model.	ACM Trans. Graph.	2010	DBLP DOI BibTeX RDF
1	Massimo Mastrangeli, Martin Schmidt, Lucas Lacasa	The Roundtable: An Abstract Model of Conversation Dynamics.	J. Artificial Societies and Social Simulation	2010	DBLP BibTeX RDF
1	Massimo Mastrangeli, Martin Schmidt, Lucas Lacasa	The roundtable: an abstract model of conversation dynamics	CoRR	2010	DBLP BibTeX RDF
1	Zhi Li, Xueli Yu, Zengrong Liu, Kun Hu	A Proposal for an Abstract Model Building Using Inductive Logic Programming.	CASoN	2010	DBLP DOI BibTeX RDF
1	Cornelius Namiluko, Andrew Martin	An Abstract Model of a Trusted Platform.	INTRUST	2010	DBLP DOI BibTeX RDF
1	Max Thalmaier, Minh D. Nguyen, Markus Wedler, Dominik Stoffel, Jörg Bormann, Wolfgang Kunz	Analyzing k-step induction to compute invariants for SAT-based property checking.	DAC	2010	DBLP DOI BibTeX RDF	k-step induction, symbolic traversal, invariants, IPC
1	Bernhard Jaecksch, Wolfgang Lehner, Franz Faerber	A plan for OLAP.	EDBT	2010	DBLP DOI BibTeX RDF
1	Keith L. Downing	The baldwin effect in developing neural networks.	GECCO	2010	DBLP DOI BibTeX RDF	genetic algorithm, neural network, baldwin effect
1	Hui Song, Gang Huang 0001, Franck Chauvel, Yanchun Sun, Hong Mei	SM@RT: representing run-time system data as MOF-compliant models.	ICSE	2010	DBLP DOI BibTeX RDF	code generation, MOF, runtime model
1	Tachio Terauchi	Dependent types from counterexamples.	POPL	2010	DBLP DOI BibTeX RDF	interpolation, type inference, dependent types, counterexamples, intersection types
1	Seng Wai Loke, Chris Tivendale	Assigning Semantics to Sensed Human Actions: a Framework and Steps towards an Abstract Model.	Int. J. Semantic Computing	2009	DBLP DOI BibTeX RDF
1	David Schlangen, Gabriel Skantze	A General, Abstract Model of Incremental Dialogue Processing.	EACL	2009	DBLP BibTeX RDF
1	Hui Ma, Klaus-Dieter Schewe, Qing Wang	An abstract model for service provision, search and composition.	APSCC	2009	DBLP BibTeX RDF
1	Stefano Tonetta	Abstract Model Checking without Computing the Abstraction.	FM	2009	DBLP DOI BibTeX RDF
1	Alon Gluska, Lior Libis	Shortening the verification cycle with synthesizable abstract models.	DAC	2009	DBLP DOI BibTeX RDF	verification, logic design, abstract modeling
1	Maik Thiele, Tim Kiefer, Wolfgang Lehner	Cardinality estimation in ETL processes.	DOLAP	2009	DBLP DOI BibTeX RDF	real-time data warehouse, etl, cardinality estimation
1	Ramzi Ben Salah, Marius Bozga, Oded Maler	Compositional timing analysis.	EMSOFT	2009	DBLP DOI BibTeX RDF	compositional generation, abstraction, timed automata, reachability analysis
1	Stephan Wilhelm, Björn Wachter	Symbolic state traversal for WCET analysis.	EMSOFT	2009	DBLP DOI BibTeX RDF	abstract interpretation, binary decision diagram, worst-case execution time, hard real time, processor models
1	Ioan Raicu, Ian T. Foster, Yong Zhao, Philip Little, Christopher Moretti, Amitabh Chaudhary, Douglas Thain	The quest for scalable support of data-intensive workloads in distributed systems.	HPDC	2009	DBLP DOI BibTeX RDF	data diffusion, data-aware scheduling, falkon, data management
1	Mateo Valero	A european perspective on supercomputing.	ICS	2009	DBLP DOI BibTeX RDF	exaflop, exascale computing, supercomputing grids, supercomputing infrastructure, programming models, multicore architectures
1	Neha Rungta, Eric G. Mercer	Guided model checking for programs with polymorphism.	PEPM	2009	DBLP DOI BibTeX RDF	error discovery, heuristics, software model checking, guided search
1	Naoki Kobayashi	Types and higher-order recursion schemes for verification of higher-order programs.	POPL	2009	DBLP DOI BibTeX RDF	model checking, type system, higher-order recursion scheme
1	Holger Kasinger, Jörg Denzinger, Bernhard Bauer	Decentralized coordination of homogeneous and heterogeneous agents by digital infochemicals.	SAC	2009	DBLP DOI BibTeX RDF	self-organization, emergence, decentralized coordination
1	Luciano Ost, Guilherme Guindani, Leandro Soares Indrusiak, Cezar Reinbrecht, Thiago Raupp, Fernando Moraes	A high abstraction, high accuracy power estimation model for networks-on-chip.	SBCCI	2009	DBLP DOI BibTeX RDF	high abstraction modeling, networks-on-chip, power modeling
1	Philip J. Taylor, Timothy G. Griffin	A model of configuration languages for routing protocols.	PRESTO	2009	DBLP DOI BibTeX RDF	routing algebra, routing protocol configuration
1	Felix A. Fischer, Ariel D. Procaccia, Alex Samorodnitsky	A new perspective on implementation by voting trees.	ACM Conference on Electronic Commerce	2009	DBLP DOI BibTeX RDF	copeland rule, voting trees, approximation, computational social choice
1	Karthik Channakeshava, Deepti Chafekar, Keith R. Bisset, V. S. Anil Kumar, Madhav V. Marathe	EpiNet: a simulation framework to study the spread of malware in wireless networks.	SimuTools	2009	DBLP DOI BibTeX RDF	activity-based, wireless epidemics, Bluetooth, malware
1	Thomas Meinl, Benjamin Blau	Web service derivatives.	WWW	2009	DBLP DOI BibTeX RDF	incomplete markets, web services, wavelets, derivatives, services mashups
1	Kousha Etessami, Mihalis Yannakakis	Recursive Markov chains, stochastic grammars, and monotone systems of nonlinear equations.	J. ACM	2009	DBLP DOI BibTeX RDF	Recursive Markov chains, monotone nonlinear systems, multi-type branching processes, Newton's method, stochastic context-free grammars
1	Martin Grohe, André Hernich, Nicole Schweikardt	Lower bounds for processing data with few random accesses to external memory.	J. ACM	2009	DBLP DOI BibTeX RDF	real-time data, XML, Complexity, query processing, data streams, query optimization, semi-structured data
1	Junyan Qian, Lingzhong Zhao, Guoyong Cai, Tianlong Gu	Automatic Construction of Complete Abstraction by Abstract Interpretation.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
1	Li Li, Wu Chou	An Abstract GFSM Model for Optimal and Incremental Conformance Testing of Web Services.	ICWS	2009	DBLP DOI BibTeX RDF
1	Ato Nakano, Hiroyuki Okuda, Tatsuya Suzuki, Shinkichi Inagaki, Soichiro Hayakawa	Symbolic modeling of driving behavior based on hierarchical segmentation and formal grammar.	IROS	2009	DBLP DOI BibTeX RDF
1	Michele Albano, Stefano Chessa	Distributed Erasure Coding in Data Centric Storage for wireless sensor networks.	ISCC	2009	DBLP DOI BibTeX RDF
1	Nan Wang, Dantong OuYang, Shanwu Sun, Chengli Zhao	Formalizing the Modeling Process of Physical Systems in MBD.	AICI	2009	DBLP DOI BibTeX RDF	G-KRA Model, Knowledge Modeling, Model-Based Diagnosis
1	Georgios Metaxas, Panos Markopoulos, Emile H. L. Aarts	Amelie: A Recombinant Computing Framework for Ambient Awareness.	AmI	2009	DBLP DOI BibTeX RDF	Focus Nimbus, AML, FN-AAR, Awareness, Ambient Intelligence, Symmetry, Social Translucence, Recombinant computing
1	Orna Grumberg	3-Valued Abstraction for (Bounded) Model Checking.	ATVA	2009	DBLP DOI BibTeX RDF
1	Thomas A. Henzinger, Maria Mateescu, Verena Wolf	Sliding Window Abstraction for Infinite Markov Chains.	CAV	2009	DBLP DOI BibTeX RDF
1	Simone Campanoni, Martino Sykora, Giovanni Agosta, Stefano Crespi-Reghizzi	Dynamic Look Ahead Compilation: A Technique to Hide JIT Compilation Latencies in Multicore Environment.	CC	2009	DBLP DOI BibTeX RDF
1	Monika Kofler, Stefan Wagner 0002, Andreas Beham, Gabriel Kronberger, Michael Affenzeller	Priority Rule Generation with a Genetic Algorithm to Minimize Sequence Dependent Setup Costs.	EUROCAST	2009	DBLP DOI BibTeX RDF	setup costs, genetic algorithms, scheduling, dispatching
1	Noriyuki Amari, Kazuto Tominaga	Simulation Minus One Makes a Game.	EvoWorkshops	2009	DBLP DOI BibTeX RDF
1	Andreas Schierl, Gerhard Schellhorn, Dominik Haneberg, Wolfgang Reif	Abstract Specification of the UBIFS File System for Flash Memory.	FM	2009	DBLP DOI BibTeX RDF
1	Andrzej S. Murawski, Nikos Tzevelekos	Full Abstraction for Reduced ML.	FOSSACS	2009	DBLP DOI BibTeX RDF
1	Taekyoung Kwon, JongHyup Lee, JooSeok Song	On the Privacy-Preserving HCI Issues.	HCI	2009	DBLP DOI BibTeX RDF
1	Robert E. Kent	System Consequence.	ICCS	2009	DBLP DOI BibTeX RDF	logical system, system consequence, information system, information flow, channel
1	Safeeullah Soomro, Franz Wotawa	Detect and Localize Faults in Alias-Free Programs Using Specification Knowledge.	IEA/AIE	2009	DBLP DOI BibTeX RDF
1	David A. Schmidt	Abstract Interpretation from a Topological Perspective.	SAS	2009	DBLP DOI BibTeX RDF
1	Adriana Damasceno, Adalberto Farias, Alexandre Mota	A Mechanized Strategy for Safe Abstraction of CSP Specifications.	SBMF	2009	DBLP DOI BibTeX RDF
1	Kevin Marth, Shangping Ren	The ARC Programming Model.	SDL Forum	2009	DBLP DOI BibTeX RDF
1	Ou Wei, Arie Gurfinkel, Marsha Chechik	Mixed Transition Systems Revisited.	VMCAI	2009	DBLP DOI BibTeX RDF
1	Sashka Davis, Russell Impagliazzo	Models of Greedy Algorithms for Graph Problems.	Algorithmica	2009	DBLP DOI BibTeX RDF	Graph optimization problems, Greedy algorithms, Priority algorithms
1	Lindsay Groves, Robert Colvin	Trace-based derivation of a scalable lock-free stack algorithm.	Formal Asp. Comput.	2009	DBLP DOI BibTeX RDF
1	Martin Grohe, Yuri Gurevich, Dirk Leinders, Nicole Schweikardt, Jerzy Tyszkiewicz, Jan Van den Bussche	Database Query Processing Using Finite Cursor Machines.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	Database, Query processing, Relational algebra, Semijoin
1	Divakar Yadav, Michael Butler	Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-B.	Methods, Models and Tools for Fault Tolerance	2009	DBLP DOI BibTeX RDF
1	Peter Selinger, Benoît Valiron	On a Fully Abstract Model for a Quantum Linear Functional Language: (Extended Abstract).	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Jouko A. Väänänen	The Craig Interpolation Theorem in abstract model theory.	Synthese	2008	DBLP DOI BibTeX RDF
1	Konstantin Artiouchine, Philippe Baptiste, Juliette Mattioli	The K King Problem, an Abstract Model for Computing Aircraft Landing Trajectories: On Modeling a Dynamic Hybrid System with Constraints.	INFORMS Journal on Computing	2008	DBLP DOI BibTeX RDF
1	René Doursat, Mihaela Ulieru	Emergent engineering for the management of complex situations.	Autonomics	2008	DBLP DOI BibTeX RDF	cyber-physical ecosystems, emergent engineering, security, self-organization, complex systems, co-evolution, dynamical networks
1	Hwisung Jung, Peng Rong, Massoud Pedram	Stochastic modeling of a thermally-managed multi-core system.	DAC	2008	DBLP DOI BibTeX RDF	uncertainty, stochastic processes, dynamic thermal management
1	Feng Chen, Traian-Florin Serbanuta, Grigore Rosu	jPredictor: a predictive runtime analysis tool for java.	ICSE	2008	DBLP DOI BibTeX RDF	predictive runtime analysis, sliced causality, runtime verification
1	Zafar U. Singhera	A workload model for topic-based publish/subscribe systems.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	bayeux, channel-based messaging systems, message oriented middleware (MOM), topic-based publish/subscribe systems, asynchronous messaging
1	Peeter Laud	On the computational soundness of cryptographically masked flows.	POPL	2008	DBLP DOI BibTeX RDF	cryptographically masked flows, encryption, computational soundness, secure information flow
1	Javier Barbarán, Carlos Bonilla, Jose Ángel Dianes, Manuel Díaz, Ana Reyna	Simulating SMEPP middleware.	SimuTools	2008	DBLP DOI BibTeX RDF	EP2P, simulation, middleware
1	Andrei Doncescu, Gilles Richard, Muhamed Farmer	Diagnostic and Therapy Prediction in Breast Cancer by Consistent Knowledge Discovery.	CISIS	2008	DBLP DOI BibTeX RDF
1	Mohamed Khalgui, Hans-Michael Hanisch	Automatic specification of feasible Control Tasks in Benchmark Production Systems.	ETFA	2008	DBLP DOI BibTeX RDF