|
|
|
|
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 |
| 3 | Thanh-Do Tran, Gang-Gyoo Jin |
Evolving solutions in evolutionary optimization based on a dynamic system model.  |
GECCO (Companion)  |
2010 |
DBLP DOI BibTeX RDF |
attraction operator, spiral movement, evolutionary algorithm, dynamic system model |
| 3 | R. 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.  |
MEDES  |
2009 |
DBLP DOI BibTeX RDF |
ecological dependence, autonomic computing, agent-based modelling, self-organizing systems, cybernetics, viable system model |
| 3 | Xin Wang |
An Evaluation System Model for Analyzing Employee Turnover Risk.  |
CONFENIS  |
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 |
| 3 | Roshanak Roshandel, André van der Hoek, Marija Mikic-Rakic, Nenad Medvidovic |
Mae - a system model and environment for managing architectural evolution.  |
ACM Trans. Softw. Eng. Methodol.  |
2004 |
DBLP DOI BibTeX RDF |
Mae, evolution, system model, Design environment |
| 3 | Flaviu Cristian, Christof Fetzer |
The Timed Asynchronous Distributed System Model.  |
IEEE Trans. Parallel Distrib. Syst.  |
1999 |
DBLP DOI BibTeX RDF |
communication by time, distributed systems, measurements, system model, asynchronous systems, synchronous systems, Timed model, failure model |
| 2 | Carlos García-Martínez, Claudio Lima, Jamie Twycross, Natalio Krasnogor, Manuel Lozano |
P system model optimisation by means of evolutionary based search algorithms.  |
GECCO  |
2010 |
DBLP DOI BibTeX RDF |
executable biology, real-valued parameter optimisation, evolutionary algorithms, p systems |
| 2 | Damien Imbs, Michel Raynal |
The multiplicative power of consensus numbers.  |
PODC  |
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 |
| 2 | Hans Grönniger, Jan Oliver Ringert, Bernhard Rumpe |
System Model-Based Definition of Modeling Language Semantics.  |
FMOODS/FORTE  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Katherine 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.  |
ICCS  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Yan Zhang, Shurong Guo |
Research into Web-Based 4PL Supply Chain System Model of Multi-TPLs - Information-Based Model Suitable for Chinese TPL.  |
HIS  |
2009 |
DBLP DOI BibTeX RDF |
4PL, supply chain system model of Multi-TPLs, Chinese TPL, Information-based |
| 2 | Shinobu Izumi, Toshihiro Uchibayashi, Takaichi Yoshida |
Designing of a system model for web 3D disabled access GIS on web 2.0.  |
SAC  |
2009 |
DBLP DOI BibTeX RDF |
disabled access GIS, mash-up, web 3D |
| 2 | Huandong Chen, Shulei Wu, Chunhui Song, Jinmei Zhan, Juntao Chen, Dong Kang |
E-learning System Model Construction Based Constructivism.  |
NCM  |
2009 |
DBLP DOI BibTeX RDF |
teaching design, E-Learning, system model, Constructivism |
| 2 | Wei Wang, Shaochun Zhong, Zhuo Zhang, Senlin Lv, Lina Wang |
Empirical Research and Design of M-Learning System for College English.  |
Edutainment  |
2009 |
DBLP DOI BibTeX RDF |
Curve of Ebbinghaus, EFL, System Model, M-Learning, Empirical Research |
| 2 | André Neubauer |
Intrinsic System Model of the Genetic Algorithm with alpha-Selection.  |
PPSN  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Shujuan Wang, Qingtang Liu |
ERDRM: A Digital Rights Management System Model for Educational Resources.  |
ICWL  |
2008 |
DBLP DOI BibTeX RDF |
distance education, DRM, intellectual property protection, educational resources |
| 2 | Fenglin Guo, Feng Wang, Yuping Wang |
Research on the Remote Internet Teaching System Model Based on Multi-agent Technique.  |
CSSE  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Wu Bei, Xingyuan Chen, Yongliang Wang, Dai Xiangdong, Peng Jun |
Network System Model-Based Multi-level Policy Generation and Representation.  |
CSSE  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Zhongchun Fang, Hairong Li |
Deep Research and Application of Distributed Intelligent Database System Model.  |
CSSE  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Rui Fan, Xiaohui Liu |
An Information System Model Based on Enterprise Intelligence Component.  |
CSSE  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Tobias Gehrke, Heinrich M. Overhoff |
Detection of Point Scatterers by Regularized Inversion of a Linear Ultrasound System Model.  |
Bildverarbeitung für die Medizin  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Adam M. Alessio, Paul E. Kinahan |
Application of a spatially variant system model for 3-D whole-body pet image reconstruction.  |
ISBI  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Lin Fu, Jinyi Qi |
A residual correction method for iterative reconstruction with inaccurate system model.  |
ISBI  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | André Neubauer |
Theory of the simple genetic algorithm with alpha-selection.  |
GECCO  |
2008 |
DBLP DOI BibTeX RDF |
?-selection, random heuristic search, genetic algorithm, dynamical system model |
| 2 | Giuseppe Confessore, Stefano Giordani, Silvia Rismondo |
A market-based multi-agent system model for decentralized multi-project scheduling.  |
Annals OR  |
2007 |
DBLP DOI BibTeX RDF |
Multi-project scheduling, Multi-agent system, Heuristic algorithms, Combinatorial auction |
| 2 | Stanley Phillips Gotshall, Terence Soule |
Stochastic training of a biologically plausible spino-neuromuscular system model.  |
GECCO  |
2007 |
DBLP DOI BibTeX RDF |
breeding swarm optimizers, spiking networks, spinal cord, genetic algorithms, neural networks, particle swarm optimizers |
| 2 | Alexander Pacholik, Wolfgang Fengler |
A system model for formal verification of TLM based transaction properties.  |
SpringSim  |
2007 |
DBLP DOI BibTeX RDF |
Petri nets, formal verification, temporal logic, discrete event systems |
| 2 | Shinn-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.  |
IEEE/ACM Trans. Comput. Biology Bioinform.  |
2007 |
DBLP DOI BibTeX RDF |
Orthogonal experimental design, Pathway identification, S-system model, Evolutionary algorithm, Divide-and-conquer, Genetic network |
| 2 | Antonio Fernández Anta, Michel Raynal |
From an Intermittent Rotating Star to a Leader.  |
OPODIS  |
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 |
| 2 | Yinai Sun, Yongquan Yu, Wen Cai, Guangqiang Li |
Extension Set and the Dependent Function of System Model.  |
ICICIC  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Jong G. Kim, Elizabeth C. Hunke, William H. Lipscomb |
A Sensitivity-Enhanced Simulation Approach for Community Climate System Model.  |
International Conference on Computational Science  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Yongxiang Li, Jianguo Yang, Hongtao Zhang, Hengchao Tong |
Application of Grey System Model to Thermal Error Modeling on Machine Tools.  |
PROLAMAT  |
2006 |
DBLP DOI BibTeX RDF |
Thermal error, Metabolic GM (1,1) model, Modeling, Machine tool |
| 2 | Emil A. Stoyanov, Asa MacWilliams, Markus Alexander Wischy, Dieter Roller |
Distributed Software Maintenance Using an Autonomic System Management Approach based on the Viable System Model.  |
ICAS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Ruijuan Zheng, Huiqiang Wang |
A Computer Immune System: LAN Immune System Model based on Host (LISMH).  |
IMSCCS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Kaile Su, Xiangyu Luo, Abdul Sattar, Mehmet A. Orgun |
The interpreted system model of knowledge, belief, desire and intention.  |
AAMAS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Mark 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.  |
Winter Simulation Conference  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Mingzhou (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.  |
Systems Biology and Computational Proteomics  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Martin Hutle, Dahlia Malkhi, Ulrich Schmid, Lidong Zhou |
Brief Announcement: Chasing the Weakest System Model for Implementing Omega and Consensus.  |
SSS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Oliver Sinnen, Leonel Augusto Sousa, Frode Eika Sandnes |
Toward a Realistic Task Scheduling Model.  |
IEEE Trans. Parallel Distrib. Syst.  |
2006 |
DBLP DOI BibTeX RDF |
processor involvement, heterogeneous system model, Parallel processing, concurrent programming, scheduling and task partitioning |
| 2 | David W. Bustard, Roy Sterritt, A. Taleb-Bendiab, Andy Laws |
Autonomic system design based on the integrated use of SSM and VSM.  |
Artif. Intell. Rev.  |
2006 |
DBLP DOI BibTeX RDF |
Autonomic systems design, Soft System Methodology, Viable System Model |
| 2 | Enrique Herrera-Viedma, Luis Martínez, Francisco Mata, Francisco Chiclana |
A Consensus Support System Model for Group Decision-Making Problems With Multigranular Linguistic Preference Relations.  |
IEEE T. Fuzzy Systems  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Klaus Witrisal, Geert Leus, Marco Pausini, Christoph Krall |
Equivalent system model and equalization of differential impulse radio UWB systems.  |
IEEE Journal on Selected Areas in Communications  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Martin Biely, Gérard Le Lann, Ulrich Schmid |
Proof-Based System Engineering Using a Virtual System Model.  |
ISAS  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Kun Wang, Lihua Zhou, Zhen Cai, Zengxin Li |
A Disaster Recovery System Model in an E-government System.  |
PDCAT  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Yong-mei Zhang, Yan Han |
Research of Multi-Agent System Model and Learning Method.  |
PDCAT  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Jun Liu, Jianxin Liao, Xiaomin Zhu |
A System Model and Protocol for Mobile Payment.  |
ICEBE  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Oliver Sinnen, Leonel Sousa |
Communication Contention in Task Scheduling.  |
IEEE Trans. Parallel Distrib. Syst.  |
2005 |
DBLP DOI BibTeX RDF |
communication contention, heterogeneous system model, Parallel processing, concurrent programming, scheduling and task partitioning |
| 2 | Elizabeth 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.  |
J. Digital Imaging  |
2004 |
DBLP DOI BibTeX RDF |
observer performance, digital display, Vision model |
| 2 | Yingfeng Chen, Lianying Zhou |
An innovative IDS immune system model.  |
SMC  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Fu Yun, Nanning Zheng, Jianyi Liu, Zhang Ting |
Facetransfer: a system model of facial image rendering.  |
SMC  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Hai-Bin Li, Hong-Zhong Huang, Ming-Yang Zhao |
Finite Element Analysis of Structures Based on Linear Saturated System Model.  |
ISNN  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Sohail Asghar, Damminda Alahakoon, Leonid Churilov |
A Hybrid Decision Support System Model for Disaster Management.  |
HIS  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Dov Dori, Nahum Korda, Avi Soffer, Shalom Cohen |
SMART: System Model Acquisition from Requirements Text.  |
Business Process Management  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Chien-Feng Huang |
Using an Immune System Model to Explore Mate Selection in Genetic Algorithms.  |
GECCO  |
2003 |
DBLP DOI BibTeX RDF |
|
| 2 | Ken'ichi Asami, Tadashi Kitamura |
Physiological Simulation by Integrating a Circulatory System Model with Beat-by-Beat Hemodynamics.  |
KES  |
2003 |
DBLP DOI BibTeX RDF |
|
| 2 | Burcu Senyapili |
Mimar Sinan Project Site - Visual Reference System Model for Architectural Heritage.  |
IV  |
2003 |
DBLP DOI BibTeX RDF |
|
| 2 | Christof Fetzer |
Perfect Failure Detection in Timed Asynchronous Systems.  |
IEEE Trans. Computers  |
2003 |
DBLP DOI BibTeX RDF |
Perfect failure detection, timed asynchronous system model, asynchronous distributed systems, crash failures |
| 2 | Boris Vaysburg, Luay Ho Tahat, Bogdan Korel |
Dependence analysis in reduction of requirement based test suites.  |
ISSTA  |
2002 |
DBLP DOI BibTeX RDF |
EFSM dependence analysis, EFSM system model, model-based testing, system testing, test suite reduction, interaction pattern |
| 2 | Hiroshi Kimura, Yasuhiro Fukuoka, Yoshiro Hada, Kunikatsu Takase |
Adaptive Dynamic Walking of a Quadruped Robot on Irregular Terrain Using a Neural System Model.  |
ISRR  |
2001 |
DBLP DOI BibTeX RDF |
|
| 2 | Yurong Xu, Shouqian Sun, Zongkai Lin, Yingxin Zhao |
System Model and Implementation of Constraint-Based Distributed Intelligent Conceptual Design System.  |
CSCWD  |
2001 |
DBLP DOI BibTeX RDF |
|
| 2 | Jeong-Joon Yoo, Doheon Lee, Young-Ho Suh, Dong-Ik Lee |
Scalable Workflow System Model Based on Mobile Agents.  |
PRIMA  |
2001 |
DBLP DOI BibTeX RDF |
|
| 2 | André van der Hoek, Marija Mikic-Rakic, Roshanak Roshandel, Nenad Medvidovic |
Taming architectural evolution.  |
ESEC / SIGSOFT FSE  |
2001 |
DBLP DOI BibTeX RDF |
Mae, software architecture, evolution, configuration managment, system model, design environment |
| 2 | Luay Ho Tahat, Atef Bader, Boris Vaysburg, Bogdan Korel |
Requirement-Based Automated Black-Box Test Generation.  |
COMPSAC  |
2001 |
DBLP DOI BibTeX RDF |
Selective Testing, Requirements, Regression Testing, System Model, SDL, Black-Box Testing, System Testing, Automated Test Generation, EFSM |
| 2 | Vojislav B. Misic |
Coherence equals cohesion-or does it?  |
APSEC  |
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 |
| 2 | John Patrick McGregor, Ruby B. Lee |
Performance Impact of Data Compression on Virtual Private Network Transactions. (PDF / PS)  |
LCN  |
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 |
| 2 | Christof Fetzer |
Enforcing synchronous system properties on top of timed systems.  |
PRDC  |
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 |
| 2 | Nestor Lopez, Marianne Simonot, Véronique Donzeau-Gouge |
Deriving Software Specifications from Event Based Models.  |
ZB  |
2000 |
DBLP DOI BibTeX RDF |
System Property, Environment Interaction, Shared module, Distributed System, Refinement, Event, System model, Concurrent Process, Program Specification, Atomic Operation |
| 2 | N. V. Subba Reddy, P. Nagabhushan, K. Chidananda Gowda |
A neural network based expert system model for conflict resolution.  |
ANZIIS  |
1996 |
DBLP DOI BibTeX RDF |
|
| 2 | Regina M. Gonzales, Alexander L. Wolf |
A facilitator method for upstream design activities with diverse stakeholders. (PDF / PS)  |
ICRE  |
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 |
| 2 | Yongbing Zhang, Katsuya Hakozaki, Hisao Kameda, Kentaro Shimizu |
A performance comparison of adaptive and static load balancing in heterogeneous distributed systems.  |
Annual Simulation Symposium  |
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 |
| 2 | Ramesh Achuthan, Vangalur S. Alagar, Thiruvengadam Radhakrishnan |
An object-oriented modeling of real-time robotic assembly system.  |
ICECCS  |
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 |
| 2 | L. 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.  |
ICECCS  |
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 |
| 2 | Avelino J. Gonzalez, Harley R. Myler, Frederic D. McKenzie, Massood Towhidnejad, Robin R. Kladke |
Validation of an Automated System Model Generator.  |
IEEE Trans. Knowl. Data Eng.  |
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 |
| 2 | Simon S. Lam, A. Udaya Shankar |
A Theory of Interfaces and Modules I-Composition Theorem.  |
IEEE Trans. Software Eng.  |
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 |
| 2 | Vassilios E. Theodoracatos, Dale E. Calkins |
A 3-D vision system model for automatic object surface sensing.  |
International Journal of Computer Vision  |
1993 |
DBLP DOI BibTeX RDF |
|
| 2 | Farn Wang, Aloysius K. Mok, E. Allen Emerson |
Distributed Real-Time System Specification and Verification in APTL.  |
ACM Trans. Softw. Eng. Methodol.  |
1993 |
DBLP DOI BibTeX RDF |
bounded clock rate drifting, multiclock system model, propositional temporal logic, real-time systems, verification, specification, asynchronous |
| 2 | Mehrdad Soumekh |
A system model and inversion for synthetic aperture radar imaging.  |
IEEE Transactions on Image Processing  |
1992 |
DBLP DOI BibTeX RDF |
|
| 2 | William J. Clancey, Monique Barbanson |
Using the System-Model-Operator Metaphor for Knowledge Acquisition.  |
IEEE Expert  |
1991 |
DBLP DOI BibTeX RDF |
|
| 2 | Fevzi Belli, Karl-Erwin Großpietsch |
Specification of Fault-Tolerant System Issues by Predicate/Transition Nets and Regular Expressions-Approach and Case Study.  |
IEEE Trans. Software Eng.  |
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 |
| 2 | L. Zeng, Hsu-Pin Wang |
An Expert System Model for Manufacturing Planning.  |
IEA/AIE (Vol. 1)  |
1990 |
DBLP DOI BibTeX RDF |
|
| 2 | David M. Goldschlag |
Mechanically Verifying Concurrent Programs with the Boyer-Moore Prover.  |
IEEE Trans. Software Eng.  |
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 |
| 2 | Mohamed Z. Dajani |
On the Optimal Size of System Model.  |
Optimization Techniques  |
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 |
| 1 | Ali Serhan Koyuncugil, Nermin Ozgulbas |
Financial early warning system model and data mining application for risk detection.  |
Expert Syst. Appl.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Bingru Yang, Wu Qu, Lijun Wang, Ying Zhou |
A new intelligent prediction system model-the compound pyramid model.  |
SCIENCE CHINA Information Sciences  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | John 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.  |
IJHPCA  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Katherine 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.  |
IJHPCA  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Magalhães, João Martins, António Joyce, Luís Coelho, Nelson Tavares, Ricardo Pereira |
Solar Trigeneration System Model for Off-Grid Residential Applications.  |
DoCEIS  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Irosh Fernando, Frans Henskens, Martin Cohen |
An Expert System Model in Psychiatry for Case Formulation and Treatment Decision Support.  |
HEALTHINF  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Susmit Bagchi |
Discrete Dynamical System Model of Distributed Computing with Embedded Partial Order.  |
DCAI  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sathyadev Ramachandran, Menghua Wang |
Near-Real-Time Ocean Color Data Processing Using Ancillary Data From the Global Forecast System Model.  |
IEEE T. Geoscience and Remote Sensing  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanjing Sun, Beibei Zhang |
System Model of Underground UWB Based on MB-OFDM.  |
IJCNS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yonghong Hao, Yajie Wang, Jiaojuan Zhao, Huamin Li |
Grey system model with time lag and application to simulation of karst spring discharge.  |
Grey Systems: T&A  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan Simon |
A dynamic system model of biogeography-based optimization.  |
Appl. Soft Comput.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | M. 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.  |
Expert Syst. Appl.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stanley 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.  |
Genetic Programming and Evolvable Machines  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gary Strand |
Community Earth System Model Data Management: Policies and Challenges.  |
Procedia CS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajiv Sindwani, Vikram Singh, Sandeep Grover |
Identification of Attributes of TQM in an Educational Institute: A System Model.  |
IJSSMET  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ping Zhang, Xiaohong Hao, HengJie Li, WeiTao Xu |
Novel Learning Algorithm for System Model of Traditional Chinese Drug Fumigation.  |
JSW  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Junxiu An |
The Demonstration of Cloud Retrieval System Model.  |
JSW  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Qingzheng Xu, Lei Wang |
Lattice-based artificial endocrine system model and its application in robotic swarms.  |
SCIENCE CHINA Information Sciences  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaime Santos-Reyes, Alan N. Beard |
Information Communication Technology and a Systemic Disaster Management System Model.  |
IJDST  |
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][ >>] |
|