The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase system model (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1969-1982 (16) 1983-1988 (15) 1989-1991 (20) 1992-1993 (20) 1994-1995 (28) 1996-1997 (35) 1998 (22) 1999 (33) 2000 (35) 2001 (61) 2002 (64) 2003 (62) 2004 (105) 2005 (123) 2006 (160) 2007 (177) 2008 (179) 2009 (85) 2010 (49) 2011 (43) 2012 (7)
Publication types (Num. hits)
article(343) incollection(10) inproceedings(986)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1270 occurrences of 886 keywords

Results
Found 1339 publication records. Showing 1339 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
3Thanh-Do Tran, Gang-Gyoo Jin Evolving solutions in evolutionary optimization based on a dynamic system model. Search on Bibsonomy GECCO (Companion) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF attraction operator, spiral movement, evolutionary algorithm, dynamic system model
3R. J. Thompson, A. G. Laws, D. Reilly, A. Taleb-Bendiab, David Llewellyn-Jones Towards viable computer systems: a set theory interpretation of ecological dependence within Beer's self-organizing viable system model. Search on Bibsonomy MEDES The full citation details ... 2009 DBLP  DOI  BibTeX  RDF ecological dependence, autonomic computing, agent-based modelling, self-organizing systems, cybernetics, viable system model
3Xin Wang An Evaluation System Model for Analyzing Employee Turnover Risk. Search on Bibsonomy CONFENIS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Evaluation system model, Employee turnover, Knowledge management, Relation database, Case -based reasoning, Data warehousing, Human resource management, Enterprise application, Enterprise system, Risk factors
3Roshanak Roshandel, André van der Hoek, Marija Mikic-Rakic, Nenad Medvidovic Mae - a system model and environment for managing architectural evolution. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Mae, evolution, system model, Design environment
3Flaviu Cristian, Christof Fetzer The Timed Asynchronous Distributed System Model. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF communication by time, distributed systems, measurements, system model, asynchronous systems, synchronous systems, Timed model, failure model
2Carlos García-Martínez, Claudio Lima, Jamie Twycross, Natalio Krasnogor, Manuel Lozano P system model optimisation by means of evolutionary based search algorithms. Search on Bibsonomy GECCO The full citation details ... 2010 DBLP  DOI  BibTeX  RDF executable biology, real-valued parameter optimisation, evolutionary algorithms, p systems
2Damien Imbs, Michel Raynal The multiplicative power of consensus numbers. Search on Bibsonomy PODC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF bg simulation, synchronization power, t-resilience, simulation, fault-tolerance, distributed computability, shared memory system, system model, wait-freedom, asynchronous processes, k-set agreement, consensus number, reduction algorithm, process crash failure
2Hans Grönniger, Jan Oliver Ringert, Bernhard Rumpe System Model-Based Definition of Modeling Language Semantics. Search on Bibsonomy FMOODS/FORTE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
2Katherine J. Evans, Damian W. I. Rouson, Andrew G. Salinger, Mark A. Taylor, Wilbert Weijer, James B. White III A Scalable and Adaptable Solution Framework within Components of the Community Climate System Model. Search on Bibsonomy ICCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
2Yan Zhang, Shurong Guo Research into Web-Based 4PL Supply Chain System Model of Multi-TPLs - Information-Based Model Suitable for Chinese TPL. Search on Bibsonomy HIS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF 4PL, supply chain system model of Multi-TPLs, Chinese TPL, Information-based
2Shinobu Izumi, Toshihiro Uchibayashi, Takaichi Yoshida Designing of a system model for web 3D disabled access GIS on web 2.0. Search on Bibsonomy SAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF disabled access GIS, mash-up, web 3D
2Huandong Chen, Shulei Wu, Chunhui Song, Jinmei Zhan, Juntao Chen, Dong Kang E-learning System Model Construction Based Constructivism. Search on Bibsonomy NCM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF teaching design, E-Learning, system model, Constructivism
2Wei Wang, Shaochun Zhong, Zhuo Zhang, Senlin Lv, Lina Wang Empirical Research and Design of M-Learning System for College English. Search on Bibsonomy Edutainment The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Curve of Ebbinghaus, EFL, System Model, M-Learning, Empirical Research
2André Neubauer Intrinsic System Model of the Genetic Algorithm with alpha-Selection. Search on Bibsonomy PPSN The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
2Shujuan Wang, Qingtang Liu ERDRM: A Digital Rights Management System Model for Educational Resources. Search on Bibsonomy ICWL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF distance education, DRM, intellectual property protection, educational resources
2Fenglin Guo, Feng Wang, Yuping Wang Research on the Remote Internet Teaching System Model Based on Multi-agent Technique. Search on Bibsonomy CSSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
2Wu Bei, Xingyuan Chen, Yongliang Wang, Dai Xiangdong, Peng Jun Network System Model-Based Multi-level Policy Generation and Representation. Search on Bibsonomy CSSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
2Zhongchun Fang, Hairong Li Deep Research and Application of Distributed Intelligent Database System Model. Search on Bibsonomy CSSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
2Rui Fan, Xiaohui Liu An Information System Model Based on Enterprise Intelligence Component. Search on Bibsonomy CSSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
2Tobias Gehrke, Heinrich M. Overhoff Detection of Point Scatterers by Regularized Inversion of a Linear Ultrasound System Model. Search on Bibsonomy Bildverarbeitung für die Medizin The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
2Adam M. Alessio, Paul E. Kinahan Application of a spatially variant system model for 3-D whole-body pet image reconstruction. Search on Bibsonomy ISBI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
2Lin Fu, Jinyi Qi A residual correction method for iterative reconstruction with inaccurate system model. Search on Bibsonomy ISBI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
2André Neubauer Theory of the simple genetic algorithm with alpha-selection. Search on Bibsonomy GECCO The full citation details ... 2008 DBLP  DOI  BibTeX  RDF ?-selection, random heuristic search, genetic algorithm, dynamical system model
2Giuseppe Confessore, Stefano Giordani, Silvia Rismondo A market-based multi-agent system model for decentralized multi-project scheduling. Search on Bibsonomy Annals OR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Multi-project scheduling, Multi-agent system, Heuristic algorithms, Combinatorial auction
2Stanley Phillips Gotshall, Terence Soule Stochastic training of a biologically plausible spino-neuromuscular system model. Search on Bibsonomy GECCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF breeding swarm optimizers, spiking networks, spinal cord, genetic algorithms, neural networks, particle swarm optimizers
2Alexander Pacholik, Wolfgang Fengler A system model for formal verification of TLM based transaction properties. Search on Bibsonomy SpringSim The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Petri nets, formal verification, temporal logic, discrete event systems
2Shinn-Ying Ho, Chih-Hung Hsieh, Fu-Chieh Yu, Hui-Ling Huang An Intelligent Two-Stage Evolutionary Algorithm for Dynamic Pathway Identification From Gene Expression Profiles. Search on Bibsonomy IEEE/ACM Trans. Comput. Biology Bioinform. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Orthogonal experimental design, Pathway identification, S-system model, Evolutionary algorithm, Divide-and-conquer, Genetic network
2Antonio Fernández Anta, Michel Raynal From an Intermittent Rotating Star to a Leader. Search on Bibsonomy OPODIS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Assumption coverage, Eventual t-source, Moving source, Timely link, Fault-tolerance, Distributed algorithm, System model, Asynchronous system, Failure detector, Process crash, Partial synchrony, Omega, Message pattern, Eventual leader
2Yinai Sun, Yongquan Yu, Wen Cai, Guangqiang Li Extension Set and the Dependent Function of System Model. Search on Bibsonomy ICICIC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
2Jong G. Kim, Elizabeth C. Hunke, William H. Lipscomb A Sensitivity-Enhanced Simulation Approach for Community Climate System Model. Search on Bibsonomy International Conference on Computational Science The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
2Yongxiang Li, Jianguo Yang, Hongtao Zhang, Hengchao Tong Application of Grey System Model to Thermal Error Modeling on Machine Tools. Search on Bibsonomy PROLAMAT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Thermal error, Metabolic GM (1,1) model, Modeling, Machine tool
2Emil A. Stoyanov, Asa MacWilliams, Markus Alexander Wischy, Dieter Roller Distributed Software Maintenance Using an Autonomic System Management Approach based on the Viable System Model. Search on Bibsonomy ICAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
2Ruijuan Zheng, Huiqiang Wang A Computer Immune System: LAN Immune System Model based on Host (LISMH). Search on Bibsonomy IMSCCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
2Kaile Su, Xiangyu Luo, Abdul Sattar, Mehmet A. Orgun The interpreted system model of knowledge, belief, desire and intention. Search on Bibsonomy AAMAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
2Mark F. Ruth, Keith B. Vanderveen, Timothy J. Sa Use of federated object modeling to develop a macro-system model for the U.S. Department of Energy's hydrogen program. Search on Bibsonomy Winter Simulation Conference The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
2Mingzhou (Joe) Song, Z. Lewis Liu A Linear Discrete Dynamic System Model for Temporal Gene Interaction and Regulatory Network Influence in Response to Bioethanol Conversion Inhibitor HMF for Ethanologenic Yeast. Search on Bibsonomy Systems Biology and Computational Proteomics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
2Martin Hutle, Dahlia Malkhi, Ulrich Schmid, Lidong Zhou Brief Announcement: Chasing the Weakest System Model for Implementing Omega and Consensus. Search on Bibsonomy SSS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
2Oliver Sinnen, Leonel Augusto Sousa, Frode Eika Sandnes Toward a Realistic Task Scheduling Model. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF processor involvement, heterogeneous system model, Parallel processing, concurrent programming, scheduling and task partitioning
2David W. Bustard, Roy Sterritt, A. Taleb-Bendiab, Andy Laws Autonomic system design based on the integrated use of SSM and VSM. Search on Bibsonomy Artif. Intell. Rev. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Autonomic systems design, Soft System Methodology, Viable System Model
2Enrique Herrera-Viedma, Luis Martínez, Francisco Mata, Francisco Chiclana A Consensus Support System Model for Group Decision-Making Problems With Multigranular Linguistic Preference Relations. Search on Bibsonomy IEEE T. Fuzzy Systems The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
2Klaus Witrisal, Geert Leus, Marco Pausini, Christoph Krall Equivalent system model and equalization of differential impulse radio UWB systems. Search on Bibsonomy IEEE Journal on Selected Areas in Communications The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
2Martin Biely, Gérard Le Lann, Ulrich Schmid Proof-Based System Engineering Using a Virtual System Model. Search on Bibsonomy ISAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
2Kun Wang, Lihua Zhou, Zhen Cai, Zengxin Li A Disaster Recovery System Model in an E-government System. Search on Bibsonomy PDCAT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
2Yong-mei Zhang, Yan Han Research of Multi-Agent System Model and Learning Method. Search on Bibsonomy PDCAT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
2Jun Liu, Jianxin Liao, Xiaomin Zhu A System Model and Protocol for Mobile Payment. Search on Bibsonomy ICEBE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
2Oliver Sinnen, Leonel Sousa Communication Contention in Task Scheduling. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF communication contention, heterogeneous system model, Parallel processing, concurrent programming, scheduling and task partitioning
2Elizabeth A. Krupinski, Jeffrey Johnson, Hans Roehrig, John Nafziger, Jiahua Fan, Jeffrey Lubin Use of a Human Visual System Model to Predict Observer Performance with CRT vs LCD Display of Images. Search on Bibsonomy J. Digital Imaging The full citation details ... 2004 DBLP  DOI  BibTeX  RDF observer performance, digital display, Vision model
2Yingfeng Chen, Lianying Zhou An innovative IDS immune system model. Search on Bibsonomy SMC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
2Fu Yun, Nanning Zheng, Jianyi Liu, Zhang Ting Facetransfer: a system model of facial image rendering. Search on Bibsonomy SMC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
2Hai-Bin Li, Hong-Zhong Huang, Ming-Yang Zhao Finite Element Analysis of Structures Based on Linear Saturated System Model. Search on Bibsonomy ISNN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
2Sohail Asghar, Damminda Alahakoon, Leonid Churilov A Hybrid Decision Support System Model for Disaster Management. Search on Bibsonomy HIS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
2Dov Dori, Nahum Korda, Avi Soffer, Shalom Cohen SMART: System Model Acquisition from Requirements Text. Search on Bibsonomy Business Process Management The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
2Chien-Feng Huang Using an Immune System Model to Explore Mate Selection in Genetic Algorithms. Search on Bibsonomy GECCO The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
2Ken'ichi Asami, Tadashi Kitamura Physiological Simulation by Integrating a Circulatory System Model with Beat-by-Beat Hemodynamics. Search on Bibsonomy KES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
2Burcu Senyapili Mimar Sinan Project Site - Visual Reference System Model for Architectural Heritage. Search on Bibsonomy IV The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
2Christof Fetzer Perfect Failure Detection in Timed Asynchronous Systems. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Perfect failure detection, timed asynchronous system model, asynchronous distributed systems, crash failures
2Boris Vaysburg, Luay Ho Tahat, Bogdan Korel Dependence analysis in reduction of requirement based test suites. Search on Bibsonomy ISSTA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF EFSM dependence analysis, EFSM system model, model-based testing, system testing, test suite reduction, interaction pattern
2Hiroshi Kimura, Yasuhiro Fukuoka, Yoshiro Hada, Kunikatsu Takase Adaptive Dynamic Walking of a Quadruped Robot on Irregular Terrain Using a Neural System Model. Search on Bibsonomy ISRR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
2Yurong Xu, Shouqian Sun, Zongkai Lin, Yingxin Zhao System Model and Implementation of Constraint-Based Distributed Intelligent Conceptual Design System. Search on Bibsonomy CSCWD The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
2Jeong-Joon Yoo, Doheon Lee, Young-Ho Suh, Dong-Ik Lee Scalable Workflow System Model Based on Mobile Agents. Search on Bibsonomy PRIMA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
2André van der Hoek, Marija Mikic-Rakic, Roshanak Roshandel, Nenad Medvidovic Taming architectural evolution. Search on Bibsonomy ESEC / SIGSOFT FSE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Mae, software architecture, evolution, configuration managment, system model, design environment
2Luay Ho Tahat, Atef Bader, Boris Vaysburg, Bogdan Korel Requirement-Based Automated Black-Box Test Generation. Search on Bibsonomy COMPSAC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Selective Testing, Requirements, Regression Testing, System Model, SDL, Black-Box Testing, System Testing, Automated Test Generation, EFSM
2Vojislav B. Misic Coherence equals cohesion-or does it? Search on Bibsonomy APSEC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF software component cohesion, functional coherence, external usage patterns, component clients, generic system model, object sizes, object-oriented programming, software reusability
2John Patrick McGregor, Ruby B. Lee Performance Impact of Data Compression on Virtual Private Network Transactions. (PDF / PS) Search on Bibsonomy LCN The full citation details ... 2000 DBLP  DOI  BibTeX  RDF virtual private network transactions, secure public network communications, host authentication, IP Security Protocol, IPsec transactions, network types, 1 Gbit/s, 10 Mbit/s, Internet, performance, authentication, cryptography, data integrity, data integrity, data compression, data compression, encryption, transport protocols, packet switching, cryptographic protocols, confidentiality, system model, IPsec, message authentication, data types, VPN, telecommunication networks, telecommunication security, compression algorithms, business communication, security services, cryptographic algorithms, packet sizes, 100 Mbit/s
2Christof Fetzer Enforcing synchronous system properties on top of timed systems. Search on Bibsonomy PRDC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF synchronous system properties, synchronous system model, missed deadline, performance evaluation, performance, computational complexity, complexity, protocols, protocols, fault tolerant computing, timed systems, omission failures, dependable distributed system
2Nestor Lopez, Marianne Simonot, Véronique Donzeau-Gouge Deriving Software Specifications from Event Based Models. Search on Bibsonomy ZB The full citation details ... 2000 DBLP  DOI  BibTeX  RDF System Property, Environment Interaction, Shared module, Distributed System, Refinement, Event, System model, Concurrent Process, Program Specification, Atomic Operation
2N. V. Subba Reddy, P. Nagabhushan, K. Chidananda Gowda A neural network based expert system model for conflict resolution. Search on Bibsonomy ANZIIS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
2Regina M. Gonzales, Alexander L. Wolf A facilitator method for upstream design activities with diverse stakeholders. (PDF / PS) Search on Bibsonomy ICRE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF facilitator method, upstream design activities, diverse stakeholders, stakeholder based modeling, rapid feasibility feed back, interpersonal dynamics, independent agent, Integrated System Model, independent system views, high technology medical product, critical time to market pressures, marketing aspect, formal specification, systems analysis, requirements specification, abstraction level, medical computing, high level design, requirements definition, real world experience
2Yongbing Zhang, Katsuya Hakozaki, Hisao Kameda, Kentaro Shimizu A performance comparison of adaptive and static load balancing in heterogeneous distributed systems. Search on Bibsonomy Annual Simulation Symposium The full citation details ... 1995 DBLP  DOI  BibTeX  RDF heterogeneous distributed system model, processing capacities, job transfer, system state-information exchange, system loads, static policies, simulation, performance evaluation, resource allocation, virtual machines, delays, distributed processing, local area networks, local area networks, performance comparison, overheads, adaptive policies, heterogeneous distributed systems, adaptive load balancing, static load balancing
2Ramesh Achuthan, Vangalur S. Alagar, Thiruvengadam Radhakrishnan An object-oriented modeling of real-time robotic assembly system. Search on Bibsonomy ICECCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF maintenance engineering, industrial manipulators, real-time robotic assembly system, object-oriented-formal modeling, independent components, modular components, real-time systems, formal verification, formal verification, validation, system design, object-oriented methods, system model, manipulators, assembling, reusable components, system requirements, system maintenance, control system CAD, control engineering
2L. E. Grossman, W. W. Foard, Everette Clif Burdette, P. L. Neubauer, G. K. Svensson Real-time computer controlled ultrasound therapy system for breast cancer treatment. Search on Bibsonomy ICECCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF thermoacoustics, real-time computer controlled ultrasound therapy system, breast cancer treatment, localized heating, data acquisition techniques, safety considerations, personal computer class machines, distributed microcontrollers, proprietary serial links, real-time operating system model, operating system interface, real-time systems, software architecture, local area networks, local area network, distributed control, data acquisition, microcontrollers, safety-critical software, hardware architecture, medical computing, control algorithms, radiation therapy, computerised control, biomedical ultrasonics
2Avelino J. Gonzalez, Harley R. Myler, Frederic D. McKenzie, Massood Towhidnejad, Robin R. Kladke Validation of an Automated System Model Generator. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF engineering computing, automated system model generator, engineered system, automated knowledge generator, electronic form, AKG, CAD representation, complexity, computer-aided design, knowledge based systems, knowledge acquisition, knowledge acquisition, program testing, constraint satisfaction, accuracy, digital simulation, granularity, simulation models, model based reasoning, testing process, intelligent design assistants
2Simon S. Lam, A. Udaya Shankar A Theory of Interfaces and Modules I-Composition Theorem. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF interface theory, composition theorem, interface satisfaction, service consumer, module design, module verification, user interfaces, formal specification, specification, system design, systems analysis, directed graphs, directed acyclic graph, modules, system modelling, system model, nodes, service provider, arcs
2Vassilios E. Theodoracatos, Dale E. Calkins A 3-D vision system model for automatic object surface sensing. Search on Bibsonomy International Journal of Computer Vision The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
2Farn Wang, Aloysius K. Mok, E. Allen Emerson Distributed Real-Time System Specification and Verification in APTL. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF bounded clock rate drifting, multiclock system model, propositional temporal logic, real-time systems, verification, specification, asynchronous
2Mehrdad Soumekh A system model and inversion for synthetic aperture radar imaging. Search on Bibsonomy IEEE Transactions on Image Processing The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
2William J. Clancey, Monique Barbanson Using the System-Model-Operator Metaphor for Knowledge Acquisition. Search on Bibsonomy IEEE Expert The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
2Fevzi Belli, Karl-Erwin Großpietsch Specification of Fault-Tolerant System Issues by Predicate/Transition Nets and Regular Expressions-Approach and Case Study. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF fault tolerance properties, formal overview, sequential behavior, single-system components, model layers, stepwise-refined specification, multistory shelving system model, formal specification, formal specification, Petri nets, fault tolerant computing, software reliability, redundancy, error detection, regular expressions, system behavior, complex software systems, predicate/transition net, system description
2L. Zeng, Hsu-Pin Wang An Expert System Model for Manufacturing Planning. Search on Bibsonomy IEA/AIE (Vol. 1) The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
2David M. Goldschlag Mechanically Verifying Concurrent Programs with the Boyer-Moore Prover. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF mechanically verifying concurrent programs, Boyer-Moore prover, transition system model, parallel programming, distributed algorithm, concurrency, theorem proving, program verification, safety, encoding, encoding, operational semantics, inference mechanisms, liveness, inference rules, proof system, Unity
2Mohamed Z. Dajani On the Optimal Size of System Model. Search on Bibsonomy Optimization Techniques The full citation details ... 1973 DBLP  DOI  BibTeX  RDF List of symbols x (s×1) model state vector, u (m×1) system control vector, (q×r) model random parameter matrix., s the model size (dimension of state vector, x), ai, bi time-varying weighting coefficients
1Ali Serhan Koyuncugil, Nermin Ozgulbas Financial early warning system model and data mining application for risk detection. Search on Bibsonomy Expert Syst. Appl. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Bingru Yang, Wu Qu, Lijun Wang, Ying Zhou A new intelligent prediction system model-the compound pyramid model. Search on Bibsonomy SCIENCE CHINA Information Sciences The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1John M. Dennis, Mariana Vertenstein, Patrick H. Worley, Arthur A. Mirin, Anthony P. Craig, Robert L. Jacob, Sheri A. Mickelson Computational performance of ultra-high-resolution capability in the Community Earth System Model. Search on Bibsonomy IJHPCA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Katherine J. Evans, Andrew G. Salinger, Patrick H. Worley, Stephen F. Price, William H. Lipscomb, Jeffrey A. Nichols, James B. White III, Mauro Perego, Mariana Vertenstein, James Edwards, Jean-François Lemieux A modern solver interface to manage solution algorithms in the Community Earth System Model. Search on Bibsonomy IJHPCA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Pedro Magalhães, João Martins, António Joyce, Luís Coelho, Nelson Tavares, Ricardo Pereira Solar Trigeneration System Model for Off-Grid Residential Applications. Search on Bibsonomy DoCEIS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Irosh Fernando, Frans Henskens, Martin Cohen An Expert System Model in Psychiatry for Case Formulation and Treatment Decision Support. Search on Bibsonomy HEALTHINF The full citation details ... 2012 DBLP  BibTeX  RDF
1Susmit Bagchi Discrete Dynamical System Model of Distributed Computing with Embedded Partial Order. Search on Bibsonomy DCAI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Sathyadev Ramachandran, Menghua Wang Near-Real-Time Ocean Color Data Processing Using Ancillary Data From the Global Forecast System Model. Search on Bibsonomy IEEE T. Geoscience and Remote Sensing The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Yanjing Sun, Beibei Zhang System Model of Underground UWB Based on MB-OFDM. Search on Bibsonomy IJCNS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Yonghong Hao, Yajie Wang, Jiaojuan Zhao, Huamin Li Grey system model with time lag and application to simulation of karst spring discharge. Search on Bibsonomy Grey Systems: T&A The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Dan Simon A dynamic system model of biogeography-based optimization. Search on Bibsonomy Appl. Soft Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1M. Hosoz, H. Metin Ertunç, H. Bulgurcu An adaptive neuro-fuzzy inference system model for predicting the performance of a refrigeration system with a cooling tower. Search on Bibsonomy Expert Syst. Appl. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Stanley Phillips Gotshall, Kathy Browder, Jessica Sampson, Terence Soule, Richard Wells Erratum to: Stochastic optimization of a biologically plausible spino-neuromuscular system model - A comparison with human subjects. Search on Bibsonomy Genetic Programming and Evolvable Machines The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Gary Strand Community Earth System Model Data Management: Policies and Challenges. Search on Bibsonomy Procedia CS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Rajiv Sindwani, Vikram Singh, Sandeep Grover Identification of Attributes of TQM in an Educational Institute: A System Model. Search on Bibsonomy IJSSMET The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ping Zhang, Xiaohong Hao, HengJie Li, WeiTao Xu Novel Learning Algorithm for System Model of Traditional Chinese Drug Fumigation. Search on Bibsonomy JSW The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Junxiu An The Demonstration of Cloud Retrieval System Model. Search on Bibsonomy JSW The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Qingzheng Xu, Lei Wang Lattice-based artificial endocrine system model and its application in robotic swarms. Search on Bibsonomy SCIENCE CHINA Information Sciences The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jaime Santos-Reyes, Alan N. Beard Information Communication Technology and a Systemic Disaster Management System Model. Search on Bibsonomy IJDST The full citation details ... 2011 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 1339 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.