Search results for "Modeling paradigm"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Colin Atkinson, Thomas Kühne	Reducing accidental complexity in domain models.	Software and System Modeling	2008	DBLP DOI BibTeX RDF	Accidental complexity, Modeling paradigm, Powertypes, Deep instantiation, Domain modeling, Modeling languages, Stereotypes, Model quality
2	Abdoulaye Gamatié, Christian Brunette, Romain Delamare, Thierry Gautier, Jean-Pierre Talpin	A Modeling Paradigm for Integrated Modular Avionics Design.	EUROMICRO-SEAA	2006	DBLP DOI BibTeX RDF
1	Vera Künzle, Manfred Reichert	A Modeling Paradigm for Integrating Processes and Data at the Micro Level.	BMMDS/EMMSAD	2011	DBLP DOI BibTeX RDF
1	Paolo Pileggi, Pieter S. Kritzinger	Traffic-Centric Modeling paradigm for complex wireless systems.	Wireless Days	2011	DBLP DOI BibTeX RDF
1	Evangelos Haleplidis, Christos Tranoris, Spyros G. Denazis, Odysseas G. Koufopavlou	Adopting software engineering practices to network processor devices introducing the Domain Specific Modeling paradigm to the ForCES Framework.	CNSM	2010	DBLP DOI BibTeX RDF
1	Sundeep Samson, James A. Reneke, Margaret M. Wiecek	A review of different perspectives on uncertainty and risk and an alternative modeling paradigm.	Rel. Eng. & Sys. Safety	2009	DBLP DOI BibTeX RDF
1	Wolfgang Ecker, Stefan Heinen, Michael Velten	Using a dataflow abstracted virtual prototype for HdS-design.	ASP-DAC	2009	DBLP DOI BibTeX RDF
1	Bing Wang, Jan Himmelspach, Roland Ewald, Yiping Yao, Adelinde M. Uhrmacher	An experimental analysis environment for logical process simulation algorithms.	SimuTools	2009	DBLP DOI BibTeX RDF	performance analysis, discrete-event simulation, parallel and distributed simulation, logical process
1	Iddo Hanniel, Kirk Haller	Solving global geometric constraints on free-form curves.	Symposium on Solid and Physical Modeling	2009	DBLP DOI BibTeX RDF
1	Marius C. Bujorianu, Howard Barringer	An Integrated Specification Logic for Cyber-Physical Systems.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Yasser Hifny, Steve Renals	Speech Recognition Using Augmented Conditional Random Fields.	IEEE Transactions on Audio, Speech & Language Processing	2009	DBLP DOI BibTeX RDF
1	Barbara Weber, Hajo A. Reijers, Stefan Zugal, Werner Wild	The Declarative Approach to Business Process Execution: An Empirical Test.	CAiSE	2009	DBLP DOI BibTeX RDF
1	Eduard Hoenkamp, Peter Bruza, Dawei Song, Qiang Huang	An Effective Approach to Verbose Queries Using a Limited Dependencies Language Model.	ICTIR	2009	DBLP DOI BibTeX RDF
1	Avi Soffer, Dov Dori	Bridging the requirements-implementation modeling gap with object-process methodology.	ISSE	2009	DBLP DOI BibTeX RDF	Transition from specification to design, Model-driven development
1	Avelino J. Gonzalez, Brian S. Stensrud, Gilbert C. Barrett	Formalizing context-based reasoning: A modeling paradigm for representing tactical human behavior.	Int. J. Intell. Syst.	2008	DBLP DOI BibTeX RDF
1	Federico Fontana, Davide Rocchesso	Auditory distance perception in an acoustic pipe.	TAP	2008	DBLP DOI BibTeX RDF	Acoustic pipe, auditory display, distance perception
1	Jean-Pierre Talpin, Julien Ouy, Loïc Besnard, Paul Le Guernic	Compositional design of isochronous systems.	DATE	2008	DBLP DOI BibTeX RDF
1	Vasanthan Raghavan, Ada S. Y. Poon, Venugopal V. Veeravalli	Non-robustness of statistics-based beamformer design in correlated MIMO channels.	ICASSP	2008	DBLP DOI BibTeX RDF
1	Claude Dennis Pegden	Introduction to Simio.	Winter Simulation Conference	2008	DBLP DOI BibTeX RDF
1	Derek Riley, Kasandra Riley	Simulation of stochastic hybrid systems with switching and reflecting boundaries.	Winter Simulation Conference	2008	DBLP DOI BibTeX RDF
1	Alfons G. Hoekstra, Jean-Luc Falcone, Alfonso Caiazzo, Bastien Chopard	Multi-scale Modeling with Cellular Automata: The Complex Automata Approach.	ACRI	2008	DBLP DOI BibTeX RDF	Complex Automata, Multi-Scale Modeling
1	Derek Riley, Xenofon D. Koutsoukos, Kasandra Riley	Modeling and Simulation of Biochemical Processes Using Stochastic Hybrid Systems: The Sugar Cataract Development Process.	HSCC	2008	DBLP DOI BibTeX RDF
1	Ganesh Ram Santhanam, Samik Basu, Vasant Honavar	TCP-Compose* - A TCP-Net Based Algorithm for Efficient Composition of Web Services Using Qualitative Preferences.	ICSOC	2008	DBLP DOI BibTeX RDF
1	Michal Smialek	Current Issues in Teaching Software Modeling: Educators Symposium at MODELS 2008.	MoDELS Workshops	2008	DBLP DOI BibTeX RDF
1	Michal Smialek	Educators Symposium at MODELS 2008.	MoDELS	2008	DBLP DOI BibTeX RDF
1	Jong-Shi Pang, David E. Stewart	Differential variational inequalities.	Math. Program.	2008	DBLP DOI BibTeX RDF
1	Jason H. Moore, Nate Barney, Bill C. White	Towards human-human-computer interaction for biologically-inspired problem-solving in human genetics.	GECCO	2007	DBLP DOI BibTeX RDF	genetic analysis, genetic epidemiology, symbolic discriminant analysis, genetic programming, open-source software, symbolic regression
1	José Niño-Mora	Characterization and computation of restless bandit marginal productivity indices.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	marginal productivity index, restless bandits, Markov decision processes, block algorithms, index policies
1	Ian Flood	Project planning using an interactive, structured modeling environment.	Winter Simulation Conference	2007	DBLP DOI BibTeX RDF
1	Claude Dennis Pegden	SIMIO: a new simulation system based on intelligent objects.	Winter Simulation Conference	2007	DBLP DOI BibTeX RDF
1	Zhong-sheng Qian, Huaikou Miao, Tao He	An Approach to Modeling Hypermedia Web Applications.	GCC	2007	DBLP DOI BibTeX RDF
1	U. Praphamontripong, Swapna S. Gokhale, Aniruddha S. Gokhale, Jeffrey G. Gray	Performance Analysis of a Middleware Demultiplexing Pattern.	HICSS	2007	DBLP DOI BibTeX RDF
1	Daniel Meltz, Yizhar Or, Elon Rimon	Experimental Verification and Graphical Characterization of Dynamic Jamming in Frictional Rigid-Body Mechanics.	ICRA	2007	DBLP DOI BibTeX RDF
1	Lin Hsin Hsin	I1)-Musika: Mobile Interface Musical Expression (MIME).	IV	2007	DBLP DOI BibTeX RDF
1	Joel M. Esposito, Moonzoo Kim	Using Formal Modeling With an Automated Analysis Tool to Design and Parametrically Analyze a Multirobot Coordination Protocol: A Case Study.	IEEE Transactions on Systems, Man, and Cybernetics, Part A	2007	DBLP DOI BibTeX RDF
1	Matthew Easley, Elizabeth Bradley	Incorporating Engineering Formalisms into Automated Model Builders.	Computational Discovery of Scientific Knowledge	2007	DBLP DOI BibTeX RDF
1	Jon Whittle	Precise Specification of Use Case Scenarios.	FASE	2007	DBLP DOI BibTeX RDF
1	Alfons G. Hoekstra, Eric Lorenz, Jean-Luc Falcone, Bastien Chopard	Towards a Complex Automata Framework for Multi-scale Modeling: Formalism and the Scale Separation Map.	International Conference on Computational Science	2007	DBLP DOI BibTeX RDF	Complex Automata, Scale Separation Map, Cellular Automata, Multi-Scale Modeling
1	Christine Reese, Matthias Wester-Ebbinghaus, Till Dörges, Lawrence Cabac, Daniel Moldt	Introducing a Process Infrastructure for Agent Systems.	LADS	2007	DBLP DOI BibTeX RDF
1	Paul Turner	Automated product grade transitions, exposing the inherent and latent dangers of neural networks in manufacturing process control: an industrial case study.	Neural Computing and Applications	2007	DBLP DOI BibTeX RDF
1	Wei-Shen Wang, Vladik Kreinovich, Michael Orshansky	Statistical timing based on incomplete probabilistic descriptions of parameter uncertainty.	DAC	2006	DBLP DOI BibTeX RDF
1	Seno Panjaitan, Georg Frey	Combination of UML Modeling and the IEC 61499 Function Block Concept for the Development of Distributed Automation Systems.	ETFA	2006	DBLP DOI BibTeX RDF
1	Swapna S. Gokhale, Aniruddha S. Gokhale, Jeffrey G. Gray, Paul J. Vandal, U. Praphamontripong	Performance Analysis of the Reactor Pattern in Network Services.	IPDPS	2006	DBLP DOI BibTeX RDF
1	Rod H. Smallwood, Mike Holcombe	The Epitheliome Project: multiscale agent-based modeling of epithelial cells.	ISBI	2006	DBLP DOI BibTeX RDF
1	Swapna S. Gokhale, Paul J. Vandal, Jijun Lu	Performance and Reliability Analysis ofWeb Server Software Architectures.	PRDC	2006	DBLP DOI BibTeX RDF
1	Markus Krötzsch, Pascal Hitzler, Denny Vrandecic, Michael Sintek	How to reason with OWL in a logic programming system.	RuleML	2006	DBLP DOI BibTeX RDF
1	Wei Hong, John Wright, Kun Huang, Yi Ma	Multiscale Hybrid Linear Models for Lossy Image Representation.	IEEE Transactions on Image Processing	2006	DBLP DOI BibTeX RDF
1	Federico Michele Facca, Florian Daniel	Visual Modeling of ReActive Web Applications.	EDBT Workshops	2006	DBLP DOI BibTeX RDF
1	João M. Fernandes, Johan Lilius, Dragos Truscan	Integration of DFDs into a UML-based Model-driven Engineering Approach.	Software and System Modeling	2006	DBLP DOI BibTeX RDF	IPv6 router, UML, Embedded Systems, Specification, MDA, Process Model, Model Transformation, Activity Diagram, Data-flow Diagram
1	Balázs Polgár, Endre Selényi, Tamás Bartha	On the Extension and Applicability of the P-Graph Modeling Paradigm to System-Level Diagnostic Problems.	Scalable Computing: Practice and Experience	2005	DBLP BibTeX RDF
1	Kafui Monu, Carson Woo	Intelligent Agents as a Modeling Paradigm.	ICIS	2005	DBLP BibTeX RDF
1	Photios G. Ioannou, Vineet R. Kamat	Intelligent preemption in construction of a manmade island for an airport.	Winter Simulation Conference	2005	DBLP DOI BibTeX RDF
1	Preetam Ghosh, Samik Ghosh, Kalyan Basu, Sajal K. Das	A Diffusion Model to Estimate the Inter-arrival Time of Charged Molecules in Stochastic Event based Modeling of Complex Biological Networks.	CSB Workshops	2005	DBLP DOI BibTeX RDF
1	Miroslav Popovic, Ivan Velikic	A Generic Model-Based Test Case Generator.	ECBS	2005	DBLP DOI BibTeX RDF	statistical usage testing, large-scale embedded systems, software reliability, test case generator, test cases, operational profile
1	Sinisa Todorovic, Michael C. Nechyba	Dynamic Trees for Unsupervised Segmentation and Matching of Image Regions.	IEEE Trans. Pattern Anal. Mach. Intell.	2005	DBLP DOI BibTeX RDF	dynamic trees, image segmentation, object recognition, Bayesian networks, image matching, Generative models, variational inference
1	Nikola Kasabov, Lubica Benuskova, Simei Gomes Wysoski	Computational Neurogenetic Modeling: Integration of Spiking Neural Networks, Gene Networks, and Signal Processing Techniques.	ICANN	2005	DBLP DOI BibTeX RDF
1	Jerry Jenkins, Debasis Sengupta, Shankar Sundaram	Characterization of a Solid State DNA Nanopore Sequencer Using Multi-scale (Nano-to-Device) Modeling.	International Conference on Computational Science	2005	DBLP DOI BibTeX RDF
1	Ye Duan, Jing Hua, Hong Qin	Interactive shape modeling using Lagrangian surface flow.	The Visual Computer	2005	DBLP DOI BibTeX RDF
1	Syed A. Khayam, Hayder Radha	Linear-Complexity Models for Wireless MAC-to-MAC Channels.	Wireless Networks	2005	DBLP DOI BibTeX RDF	wireless networks, MAC, Markov model, 802.11, linear-complexity, bit-errors, model complexity
1	Abhijit K. Deb, Axel Jantsch, Johnny Öberg	System design for DSP applications in transaction level modeling paradigm.	DAC	2004	DBLP DOI BibTeX RDF	system design, DSP, grammar, transaction level modeling
1	Emre Turkay, Aniruddha S. Gokhale, Balachandran Natarajan	Addressing the middleware configuration challenges using model-based techniques.	ACM Southeast Regional Conference	2004	DBLP DOI BibTeX RDF	middleware configuration, model-driven software synthesis, component middleware
1	Xiaohu Guo, Jing Hua, Hong Qin	Point Set Surface Editing Techniques Based on Level-Sets.	Computer Graphics International	2004	DBLP DOI BibTeX RDF
1	João M. Fernandes, Johan Lilius	Functional and Object-Oriented Views in Embedded Software Modeling.	ECBS	2004	DBLP DOI BibTeX RDF
1	Xiaohu Guo, Jing Hua, Hong Qin	Touch-Based Haptics for Interactive Editing on Point Set Surfaces.	IEEE Computer Graphics and Applications	2004	DBLP DOI BibTeX RDF
1	Xiaohu Guo, Jing Hua, Hong Qin	Scalar-Function-Driven Editing on Point Set Surfaces.	IEEE Computer Graphics and Applications	2004	DBLP DOI BibTeX RDF
1	Kyung-shik Shin, Kyoung Jun Lee	Neuro-Genetic Approach for Bankruptcy Prediction Modeling.	KES	2004	DBLP DOI BibTeX RDF
1	Rajeev Alur, Franjo Ivancic, Jesung Kim, Insup Lee, Oleg Sokolsky	Generating embedded software from hierarchical hybrid models.	LCTES	2003	DBLP DOI BibTeX RDF	modularity, code generation, hybrid system, formal language, embedded software
1	Kurt A. Richardson	On the Limits of Bottom-Up Computer Simulation: Towards a Nonlinear Modeling Culture. (PDF / PS)	HICSS	2003	DBLP DOI BibTeX RDF
1	Arnab Ray, Rance Cleaveland	Architectural Interaction Diagrams: AIDs for System Modeling. (PDF / PS)	ICSE	2003	DBLP DOI BibTeX RDF
1	Siome Goldenstein, Christian Vogler, Dimitris N. Metaxas	Statistical Cue Integration in DAG Deformable Models.	IEEE Trans. Pattern Anal. Mach. Intell.	2003	DBLP DOI BibTeX RDF	Statistical cue integration, deformable model tracking, deformable model representation, directed acyclic graphs, face tracking, affine arithmetic
1	Andrea Bonarini, Matteo Matteucci, Marcello Restelli	Concepts and Fuzzy Models for Behavior-Based Robotics.	WILF	2003	DBLP DOI BibTeX RDF
1	Richard A. Phelps, David J. Parsons, Andrew J. Siprelle	Non-item based tools: non-item based discrete-event simulation tools.	Winter Simulation Conference	2002	DBLP DOI BibTeX RDF
1	Kevin T. McDonnell, Hong Qin	Virtual Clay: Haptics-Based Deformable Solids of Arbitrary Topology.	AMDO	2002	DBLP DOI BibTeX RDF
1	Bharat Jayaraman, Pallavi Tambay	Modeling Engineering Structures with Constrained Objects.	PADL	2002	DBLP DOI BibTeX RDF
1	Johan Claes, Marc Ramaekers, Frank Van Reeth	Providing Local Interpolation, Tension and Normal Control in the Manipulation of Loop Subdivision Surfaces. (PDF / PS)	Computer Graphics International	2001	DBLP DOI BibTeX RDF	Loop subdivision, recursive subdivision surfaces, modeling, computer animation, surface design
1	Ergun Akleman, Jianer Chen, Fusun Eryoldas, Vinod Srinivasan	Handle and Hole Improvement by Using New Corner Cutting Subdivision Scheme with Tension.	Shape Modeling International	2001	DBLP DOI BibTeX RDF
1	Avelino J. Gonzalez, Shinya Saeki	Using Contexts Competition to Model Tactical Human Behavior in a Simulation.	CONTEXT	2001	DBLP DOI BibTeX RDF
1	Christiaan J. J. Paredis, Antonio Diaz-Calderon, Rajarishi Sinha, Pradeep K. Khosla	Composable Models for Simulation-Based Design.	Eng. Comput. (Lond.)	2001	DBLP DOI BibTeX RDF	Simulation-based design, Configuation, Port-based models, CAD
1	Morgan Björkander	Graphical Programming Using UML and SDL.	IEEE Computer	2000	DBLP DOI BibTeX RDF
1	Marcelo J. Weinberger, Gadiel Seroussi, Guillermo Sapiro	The LOCO-I lossless image compression algorithm: principles and standardization into JPEG-LS.	IEEE Transactions on Image Processing	2000	DBLP DOI BibTeX RDF
1	Alex C. Meng	On Evaluating Self-Adaptive Software.	IWSAS	2000	DBLP DOI BibTeX RDF
1	Dusko Pavlovic	Towards Semantics of Self-Adaptive Software.	IWSAS	2000	DBLP DOI BibTeX RDF
1	Stephanie White, Susan Fife Dorchak, John T. Keane, William Pallack, Jerry Owens, Jerzy W. Rozenblit, James Davis, Janos Sztipanovits	Situation Assessment and Decision Making Integrated into the Process Centered Environment.	ECBS	1999	DBLP DOI BibTeX RDF
1	Victor L. Winter	A Synchronous Paradigm for Modeling Stable Reactive Systems. (PDF / PS)	HASE	1999	DBLP DOI BibTeX RDF
1	Chiew-Lan Tai, Kia-Fock Loe, Brian A. Barsky, Yim-Hung Chan	A Method for Deforming Polygonal Shapes into Smooth Spline Surface Models. (PDF / PS)	IV	1999	DBLP DOI BibTeX RDF	tension parameter, polygonal shapes, singularly reparametrized line segment, singularly reparametrized bilinear patch, geometric modeling, deformation, smoothing, free-form deformation, polygonal mesh, shape parameters, curves and surfaces, spline curve, tension, spline surface, Hermite polynomial
1	Chhandomay Mandal, Baba C. Vemuri, Hong Qin	A New Dynamic FEM-Based Subdivision Surface Model for Shape Recovery and Tracking in Medical Images.	MICCAI	1998	DBLP DOI BibTeX RDF
1	Ethan Scarl, Kurt McCall	Model-based diagnosis in a power distribution testbed.	ECBS	1997	DBLP DOI BibTeX RDF	ro/spl delta/on model-based diagnosis shell, breadboard testbed, diagnostic algorithm, Space Station Module, software testbed, hardware testbed, Marshall Space Flight Center, expert system, power management, diagnostic expert systems, power distribution system, constraint-based modeling
1	Reinhard German	SPNL: Processes as Language-Oriented Building Blocks of Stochastic Petri Nets.	Computer Performance Evaluation	1997	DBLP DOI BibTeX RDF
1	Hermann de Meer, Hana Sevcikova	PENELOPE: Dependability Evaluation and the Optimization of Performability.	Computer Performance Evaluation	1997	DBLP DOI BibTeX RDF
1	David M. Nicol, Philip Heidelberger	Parallel Execution for Serial Simulators.	ACM Trans. Model. Comput. Simul.	1996	DBLP DOI BibTeX RDF	parallel simulation, simulation tools
1	Ákos Lédeczi, Ted Bapty, Gabor Karsai, Janos Sztipanovits	Modeling Paradigm for Parallel Signal Processing.	Australian Computer Journal	1995	DBLP BibTeX RDF
1	Suresh K. Damodaran-Kamal, Joan M. Francioni, Niki Pissinou	A Modeling Paradigm for Multidatabases.	ICPP	1994	DBLP BibTeX RDF
1	Young-Gook Ra, Elke A. Rundensteiner	OODB support for providing transparent schema changes.	CASCON	1994	DBLP DOI BibTeX RDF	migration paths to technological advances, transparent schema evolution, interoperability, object-oriented databases
1	George Celniker, Dave Gossard	Deformable curve and surface finite-elements for free-form shape design.	SIGGRAPH	1991	DBLP DOI BibTeX RDF
1	Xiaofeng Li, Arnaud Rubin, Robert Phelps, Jean Steinier	A Hybrid Modeling Paradigm for Simulating Existing Software and Its Execution Environment.	SEKE	1989	DBLP BibTeX RDF