|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7157 occurrences of 3537 keywords
|
|
|
Results
Found 13561 publication records. Showing 13561 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
48 | Mohammad Reza Mousavi 0001, Michel A. Reniers |
Orthogonal Extensions in Structural Operational Semantics. |
ICALP |
2005 |
DBLP DOI BibTeX RDF |
Structural Operational Semantics (SOS), Conservative Extension, Operational Conservativity, Equational Conservativity, Formal Semantics, Orthogonality |
44 | Peter G. Bishop |
Rescaling reliability bounds for a new operational profile. |
ISSTA |
2002 |
DBLP DOI BibTeX RDF |
operational reliability testing, operational profile, worst case bounds |
44 | Jim Goodwin, Richard Jones, Garry Morissette |
CROSSFIRE: an IDE for operational training. |
SpringSim (3) |
2007 |
DBLP BibTeX RDF |
cognitive readiness, operational training, intelligent agents, integrated development environment |
44 | Zakarya A. Alzamil |
Application of the operational profile in software performance analysis. |
WOSP |
2004 |
DBLP DOI BibTeX RDF |
redundant computation, software performance analysis, program optimization, operational profile |
43 | Rong Liu, Kamal Bhattacharya, Frederick Y. Wu |
Modeling Business Contexture and Behavior Using Business Artifacts. |
CAiSE |
2007 |
DBLP DOI BibTeX RDF |
Business contexture, business behavior, operational patterns, operational modeling, business artifacts |
39 | Frits W. Vaandrager |
Expressive Results for Process Algebras. |
REX Workshop |
1992 |
DBLP DOI BibTeX RDF |
process graphs, effective process graphs, effective operational semantics, trace equivalence, action transducers, process algebra, expressiveness, labeled transition systems, PC, structural operational semantics, bisimulation equivalence |
36 | José Vicente Calvano, Vladimir Castro Alves, Marcelo Lubaszewski |
Testing a PWM circuit using functional fault models and compact test vectors for operational amplifiers. |
Asian Test Symposium |
2000 |
DBLP DOI BibTeX RDF |
PWM circuit, compact test vectors, analog VLSI technology, functional fault macromodels, compact test vector construction, open loop gain, CMMR, analog circuit simulation complexity, VLSI, integrated circuit testing, design for testability, automatic test pattern generation, fault modeling, fault simulation, fault simulation, operational amplifiers, operational amplifiers, test pattern, functional fault models, analogue circuits, fault dictionary, pulse width modulation, slew-rate |
36 | Karim Arabi, Bozena Kaminska, Stephen K. Sunter |
Design for testability of integrated operational amplifiers using oscillation-test strategy. |
ICCD |
1996 |
DBLP DOI BibTeX RDF |
integrated operational amplifiers, oscillation-test strategy, vector-less test solution, test mode, oscillation frequency, nominal tolerance, digital circuitry, high fault coverage, simulation, design for testability, design for testability, oscillators, operational amplifiers, Monte Carlo analysis |
36 | Hassan Ihs, Christian Dufaza |
Tolerance DC bands of CMOS operational amplifier. |
Asian Test Symposium |
1995 |
DBLP DOI BibTeX RDF |
tolerance DC bands, CMOS operational amplifier, DC node voltages, data tolerance bands, foundry process fluctuations, DC branch current, OA, supply voltage, catastrophic defects, transistor connections, optimization, fault diagnosis, integrated circuit testing, fault detection, fault model, fault simulation, circuit optimisation, operational amplifiers, integrated circuit modelling, transistor size, CMOS analogue integrated circuits, design parameters |
36 | Alessandro Antonucci 0001, Alberto Piatti, Marco Zaffalon |
Credal Networks for Operational Risk Measurement and Management. |
KES (2) |
2007 |
DBLP DOI BibTeX RDF |
Credal networks, Operational Risk, Imprecise probabilities |
36 | Ahmed Al-Emran, Dietmar Pfahl |
Operational Planning, Re-planning and Risk Analysis for Software Releases. |
PROFES |
2007 |
DBLP DOI BibTeX RDF |
software release planning, risk analysis, process simulation, operational planning |
36 | Bev Littlewood, David Wright 0001 |
Some Conservative Stopping Rules for the Operational Testing of Safety-Critical Software. |
IEEE Trans. Software Eng. |
1997 |
DBLP DOI BibTeX RDF |
operational testing, testing stopping rule, software reliability, Safety-critical software, statistical testing |
36 | George A. Hadgis, P. R. Mukund |
A novel CMOS monolithic analog multiplier with wide input dynamic range. |
VLSI Design |
1995 |
DBLP DOI BibTeX RDF |
analogue multipliers, circuit feedback, CMOS monolithic analog multiplier, input dynamic range, voltage-controlled variable linear resistor, feedback network, PSpice simulation results, circuit analysis computing, linearity, SPICE, operational amplifiers, operational amplifier, CMOS analogue integrated circuits |
32 | Diana Heckl, Jürgen Moormann |
Operational control of service processes: modularization as precondition. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
operational process control, process model design, modularization |
32 | Fanjun Meng, Jianping Li 0001, Lijun Gao |
ERM-POT Method for Quantifying Operational Risk for Chinese Commercial Banks. |
International Conference on Computational Science (2) |
2007 |
DBLP DOI BibTeX RDF |
operational risk, EVT, POT, VaR, ERM |
32 | Andrew Butterfield, Jim Woodcock 0001 |
prialt in Handel-C: an operational semantics. |
Int. J. Softw. Tools Technol. Transf. |
2005 |
DBLP DOI BibTeX RDF |
Operational semantics, Priority, Handel-C |
32 | Günther Ruhe, Joseph Momoh |
Strategic Release Planning and Evaluation of Operational Feasibility. |
HICSS |
2005 |
DBLP DOI BibTeX RDF |
ReleasePlanner, Decision Support, Case Study, Tool Support, Stakeholder, Strategic Planning, Release Planning, Operational Planning, Resource Planning |
32 | Jörn Freiheit, Jonathan Billington |
Using TimeNET to Evaluate Operational Planning Processes. |
Business Process Management |
2004 |
DBLP DOI BibTeX RDF |
Operational planning processes, performance analysis |
32 | Jean Ferrié, Nicolas Vidot, Michèle Cart |
Concurrent Undo Operations in Collaborative Environments Using Operational Transformation. |
CoopIS/DOA/ODBASE (1) |
2004 |
DBLP DOI BibTeX RDF |
Distributed collaborative systems, copies consistency, concurrent undo, operational transformations |
32 | Sergio Scandizzo |
Connectivity and the measurement of operational risk: an input-output approach. |
Soft Comput. |
2003 |
DBLP DOI BibTeX RDF |
Input-output models, Operational risk measurement, Complexity, Connectivity |
32 | Jonathan Ford, Ian A. Mason |
Formal Foundations of Operational Semantics. |
High. Order Symb. Comput. |
2003 |
DBLP DOI BibTeX RDF |
contexts, theorem proving, operational semantics, PVS, calculus |
32 | Abdur Chowdhury, Greg Pass |
Operational requirements for scalable search systems. |
CIKM |
2003 |
DBLP DOI BibTeX RDF |
operational requirements, search scalability |
32 | Huibiao Zhu, Yongxin Zhao, Jifeng He 0001 |
Locality-Based Normal Form Approach to Linking Algebraic Semantics and Operational Semantics for an Event-Driven System-Level Language. |
Australian Software Engineering Conference |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Gregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur |
The Refined Operational Semantics of Constraint Handling Rules. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Daniel A. Sadilek |
Prototyping domain-specific language semantics. |
OOPSLA Companion |
2008 |
DBLP DOI BibTeX RDF |
language engineering, domain-specific languages, metamodelling, operational semantics |
30 | Don M. Tucker, Phan Luu |
Operational Brain Dynamics: Data Fusion Technology for Neurophysiological, Behavioral, and Scenario Context Information in Operational Environments. |
HCI (16) |
2009 |
DBLP DOI BibTeX RDF |
information systems, EEG, brain activity, neuroergonomics |
29 | Henry Lee |
The operational risk tree methodology for managing operational risk exposure and measuring capital requirements. |
WSC |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Jacob Matthews, Robert Bruce Findler |
Operational semantics for multi-language programs. |
ACM Trans. Program. Lang. Syst. |
2009 |
DBLP DOI BibTeX RDF |
interoperability, Operational semantics |
28 | Wei Ke 0001, Zhiming Liu 0001, Shuling Wang, Liang Zhao 0022 |
A Graph-Based Operational Semantics of OO Programs. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
state graphs, operational semantics, object graphs, OO programs |
28 | Jijun Lin, Olivier de Weck, Richard de Neufville, Bob Robinson, David MacGowan |
Designing Capital-Intensive Systems with Architectural and Operational Flexibility Using a Screening Model. |
Complex (2) |
2009 |
DBLP DOI BibTeX RDF |
screening model, capital-intensive systems, architectural flexibility, operational flexibility, uncertainty, Monte Carlo simulation |
28 | Tom Ridge |
Verifying distributed systems: the operational approach. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
ground and symbolic evaluation, hoare-style assertions, persistent queue, rely/guarantee, distributed, refinement, invariants, network protocol, operational semantics, infrastructure, separation, linearizability, hol, ocaml, local reasoning, inductive reasoning |
28 | Andriy V. Miranskyy, Enzo Cialini, David Godwin |
Selection of customers for operational and usage profiling. |
DBTest |
2009 |
DBLP DOI BibTeX RDF |
customer usage, data mining, optimization, customers, operational profile |
28 | Nicholas Paul Sheppard, Reihaneh Safavi-Naini |
On the operational semantics of rights expression languages. |
Digital Rights Management Workshop |
2009 |
DBLP DOI BibTeX RDF |
operational semantics, digital rights management, rights expression languages |
28 | Valerio Grossi, Andrea Romei, Salvatore Ruggieri |
A Case Study in Sequential Pattern Mining for IT-Operational Risk. |
ECML/PKDD (1) |
2008 |
DBLP DOI BibTeX RDF |
pre and post-processing, operational risk, sequential pattern |
28 | David Kubánek, Kamil Vrba |
Second-Order State-Variable Filter with Current Operational Amplifiers. |
ICONS |
2008 |
DBLP DOI BibTeX RDF |
Current operational amplifier, Current mode, Active filter |
28 | Rui Li 0018, Du Li |
A New Operational Transformation Framework for Real-Time Group Editors. |
IEEE Trans. Parallel Distributed Syst. |
2007 |
DBLP DOI BibTeX RDF |
groupware, operational transformation, group editors, Consistency control |
28 | Huibiao Zhu, Jifeng He 0001, Geguang Pu, Jing Li 0062 |
An Operational Approach to BPEL-like Programming. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
Web Services, BPEL, Operational Semantics, Bisimulation, Compensation, Algebraic Semantics, Fault Handling |
28 | David Kubánek, Kamil Vrba |
Second-Order Multifunction Filters with Current Operational Amplifiers. (PDF / PS) |
PWC |
2007 |
DBLP DOI BibTeX RDF |
current operational amplifier, current mode, active filter |
28 | Zhiyuan Li, Fengchang Lai, Mingyan Yu |
Low-noise high-precision operational amplifier using vertical NPN transistor in CMOS technology. |
ACM Great Lakes Symposium on VLSI |
2006 |
DBLP DOI BibTeX RDF |
V-NPN transistor, deep n-well CMOS process, high-precision, input bias current cancellation, operational amplifier, low-noise |
28 | Aguido Horatio Davis, Chengzheng Sun, Junwei Lu |
Generalizing operational transformation to the standard general markup language. |
CSCW |
2002 |
DBLP DOI BibTeX RDF |
groves, synchronous collaborative editing, XML, XML, computer supported cooperative work, HTML, SGML, SGML, SGML, operational transformation |
28 | Soon-Jyh Chang, Chung-Len Lee 0001, Jwu E. Chen |
Functional test pattern generation for CMOS operational amplifier. |
VTS |
1997 |
DBLP DOI BibTeX RDF |
functional test pattern generation, CMOS operational amplifier, programmable gain/loss mixed signal circuit, op amp testing, IC testing, CMOS analogue integrated circuits |
28 | Philippe Pichon |
CCO-Mars'96 Integration HOOD, Ada and XInAda in a full Ada Operational Software Project. |
Ada-Europe |
1997 |
DBLP DOI BibTeX RDF |
XInAda, Ada, parallel I/Os, Operational, MMI, HOOD |
28 | Qian Chen, Jinlin Li, Lun Ran |
A Frame of Operational Risk Management System Based on Case-Based Reasoning. |
WKDD |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Mass Soldal Lund, Ketil Stølen |
A Fully General Operational Semantics for UML 2.0 Sequence Diagrams with Potential and Mandatory Choice. |
FM |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Chin-Yu Huang, Chu-Ti Lin, Chuan-Ching Sue |
Software reliability prediction and analysis during operational use. |
ITRE |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Alessandro Rigallo, Anna Lisa Stringa, Fabrizio Verroca |
Real-time monitoring and operational assistant system for mobile networks. |
NOMS |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Jiunn-Lin Wu, Chin-Hsing Chen, Chih-Fan Chen |
A Unified Derivation of Operational Matrices for Integration in Systems Analysis. |
ITCC |
2000 |
DBLP DOI BibTeX RDF |
|
28 | Healfdene Goguen |
Soundness of the Logical Framework for Its Typed Operational Semantics. |
TLCA |
1999 |
DBLP DOI BibTeX RDF |
|
28 | Michael Böhnlein, Achim Ulbrich-vom Ende |
Deriving Initial Data Warehouse Structures from the Conceptual Data Models of the Underlying Operational Information Systems. |
DOLAP |
1999 |
DBLP DOI BibTeX RDF |
entity relationship model (ERM), snowflake scheme, star scheme, structured entity relationship model (SERM), decision support system, data warehouse, conceptual data model |
28 | Jaime Velasco-Medina, Marcelo Lubaszewski, Michael Nicolaidis |
An Approach to the On-Line Testing of Operational Amplifiers. |
Asian Test Symposium |
1998 |
DBLP DOI BibTeX RDF |
|
28 | Daniele Turi, Gordon D. Plotkin |
Towards a Mathematical Operational Semantics. |
LICS |
1997 |
DBLP DOI BibTeX RDF |
|
28 | Yin-Chao Huang, Chung-Len Lee 0001, Jun-Weir Lin, Jwu E. Chen, Chauchin Su |
A methodology for fault model development for hierarchical linear systems. |
Asian Test Symposium |
2000 |
DBLP DOI BibTeX RDF |
closed loop systems, hierarchical linear systems, transfer function model, open-loop, element faults, benchmark state-variable filter, AC fault model, state variable filter, fault diagnosis, fault model, fault simulation, modules, Monte Carlo methods, Monte Carlo simulation, transfer functions, computation time, operational amplifiers, operational amplifiers, closed loop, analogue circuits |
28 | Ashok Balivada, Yatin Vasant Hoskote, Jacob A. Abraham |
Verification of transient response of linear analog circuits. |
VTS |
1995 |
DBLP DOI BibTeX RDF |
linear network analysis, circuit behavior, operational amplifier macro circuits, input waveforms, extracted state equations, Z-domain, digital representation, finite state machines, active networks, transfer functions, transfer function, transient analysis, operational amplifiers, frequency-domain analysis, formal techniques, state-space methods, analogue circuits, transient response, transient response, linear analog circuits, equivalent circuits |
27 | Olivier Danvy |
Defunctionalized interpreters for programming languages. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
big-step abstract machines, context-sensitive reduction semantics, cps transformation, refocusing, small-step abstract machines, interruptions, continuations, structural operational semantics, natural semantics, defunctionalization, reduction semantics |
27 | Musab AlTurki, José Meseguer 0001 |
Real-time rewriting semantics of orc. |
PPDP |
2007 |
DBLP DOI BibTeX RDF |
orc, orchestration theory, real-time, formal analysis, rewriting logic, structural operational semantics, maude |
27 | 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 |
27 | Frédéric Lang, Pierre Lescanne, Luigi Liquori |
A Framework for Defining Object-Calculi. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
Design of functional and imperative object-oriented languages, memory management, operational semantics, implementation issues |
27 | Michael W. Mislove, Frank J. Oles |
Full Abstraction and Unnested Recursion. |
REX Workshop |
1992 |
DBLP DOI BibTeX RDF |
algebraic poset, homomorphism, Full abstraction, algebraic semantics, adequacy |
26 | Luca Aceto, Pierluigi Crescenzi, Anna Ingólfsdóttir, Mohammad Reza Mousavi 0001 |
The Way We Were: Structural Operational Semantics Research in Perspective. |
EXPRESS/SOS |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Cristian Tapus, Jason Hickey |
Distributed speculative execution for reliability and fault tolerance: an operational semantics. |
Distributed Comput. |
2009 |
DBLP DOI BibTeX RDF |
Fault tolerance, Distributed systems, Transactions, Operational semantics, Speculations |
24 | Gérard Boudol, Gustavo Petri |
Relaxed memory models: an operational approach. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
operational semantics, memory models |
24 | Du Li, Rui Li 0018 |
An Operational Transformation Algorithm and Performance Evaluation. |
Comput. Support. Cooperative Work. |
2008 |
DBLP DOI BibTeX RDF |
performance evaluation, concurrency control, consistency, operational transformation, group editing |
24 | John R. D. Hughes, Cliff B. Jones |
Reasoning about programs via operational semantics: requirements for a support system. |
Autom. Softw. Eng. |
2008 |
DBLP DOI BibTeX RDF |
Proofs about programs, Tool support, Structural operational semantics |
24 | Kai Shen, Alex Zhang, Terence Kelly, Christopher Stewart |
Operational analysis of processor speed scaling. |
SPAA |
2008 |
DBLP DOI BibTeX RDF |
acpi, datacenter-on-chip, p-states, scheduling, performance modeling, power, multicore, capacity planning, queuing, dynamic resource allocation, multi-processor, operational analysis, internet servers |
24 | Mark Moss, Calton Pu |
Assessing Operational Impact in Enterprise Systems by Mining Usage Patterns. |
DSOM |
2007 |
DBLP DOI BibTeX RDF |
operational impact analysis, data mining, system management |
24 | Hamed Aminzadeh, Mohammad Danaie |
Systematic design of two-stage operational amplifiers based on settling time and open-loop constraints. |
ACM Great Lakes Symposium on VLSI |
2007 |
DBLP DOI BibTeX RDF |
frequency compensation, stability, design methodology, operational amplifiers, switched-capacitor circuits, settling time |
24 | Mustafa Altun, Hakan Kuntman |
High CMRR current mode operational amplifier with a novel class AB input stage. |
ACM Great Lakes Symposium on VLSI |
2007 |
DBLP DOI BibTeX RDF |
current-mode operational amplifier, current-mode circuits |
24 | Ying Gao, Jingde Cheng |
Operational Semantics for Positive Relevant Logics Without Distribution. |
CiE |
2007 |
DBLP DOI BibTeX RDF |
Operational semantics, Relevant logics |
24 | Philippe Lalanda, Luc Bellissard, Roland Balter |
Asynchronous Mediation for Integrating Business and Operational Processes. |
IEEE Internet Comput. |
2006 |
DBLP DOI BibTeX RDF |
integration of operational processes, asynchronous middleware, component, mediation |
24 | Jing Zhang, Licui Zhang, Degui Guo |
Operational Semantics of the Seal Calculus. |
Intelligent Information Processing |
2006 |
DBLP DOI BibTeX RDF |
Seal Calculus, Mobile computation, operational semantics, abstract machine |
24 | M. D. Derk |
Towards a simpler method of operational semantics for language definition. |
ACM SIGPLAN Notices |
2005 |
DBLP DOI BibTeX RDF |
operational semantics, binding, BNF |
24 | Peter D. Mosses |
Exploiting labels in Structural Operational Semantics. |
SAC |
2004 |
DBLP DOI BibTeX RDF |
MSOS, modularity, structural operational semantics, natural semantics, SOS |
24 | David Sun, Steven Xia, Chengzheng Sun, David Chen 0002 |
Operational transformation for collaborative word processing. |
CSCW |
2004 |
DBLP DOI BibTeX RDF |
operational transformation, multi-versioning, group undo |
24 | Yehya H. Ghallab, Wael M. Badawy |
A Novel pH Sensor Current Mode Read-Out Circuit Using Operational Floating Current Conveyor. |
ICMENS |
2004 |
DBLP DOI BibTeX RDF |
Chemical sensor, ISFET pH sensor, Differential ISFET, Operational Floating Current Conveyor, Current mode circuits |
24 | Johan P. Vanderhaegen, Robert W. Brodersen |
Automated design of operational transconductance amplifiers using reversed geometric programming. |
DAC |
2004 |
DBLP DOI BibTeX RDF |
reversed geometric programming, CMOS integrated circuits, operational transconductance amplifiers |
24 | Martina Berankova, Petra Nevrivova |
Problems in operational and systems analysis educational process: solved by ICT application. |
ISICT |
2003 |
DBLP BibTeX RDF |
ICT application algorithm, mathematical methods, operational and systems analysis, Internet, education, information technology, virtual university |
24 | Mohammad Yavari, Omid Shoaei |
Low-voltage low-power fast-settling CMOS operational transconductance amplifiers for switched-capacitor applications. |
ISLPED |
2003 |
DBLP DOI BibTeX RDF |
cascode compensation, class AB, switched-capacitor circuits, operational transconductance amplifiers |
24 | Hesam Amir Aslanzadeh, Saeid Mehrmanesh, Mohammad B. Vahidfar, Amin Quasem Safarian, Reza Lotfi |
A 1-V 1-mW high-speed class AB operational amplifier for high-speed low power pipelined A/D converters using "Slew Boost" technique. |
ISLPED |
2003 |
DBLP DOI BibTeX RDF |
CMOS analog circuit, Slew Boost technique, class AB, low power, high speed, operational amplifier, pipelined analog to digital converter, ultra low voltage |
24 | Mohammad M. Ahmadi, Reza Lotfi |
A new architecture for rail-to-rail input constant-gm CMOS operational transconductance amplifiers. |
ISLPED |
2003 |
DBLP DOI BibTeX RDF |
current summation, floating current source, input stage, rail-to-rail, transconductance, operational transconductance amplifier |
24 | Ram Suryanarayan, Anubhav Gupta, Travis N. Blalock |
A slew rate enhancement technique for operational amplifiers based on a tunable active Gm-based capacitance multiplication circuit. |
ACM Great Lakes Symposium on VLSI |
2003 |
DBLP DOI BibTeX RDF |
opamp, feedback, CMOS, compensation, operational amplifier, slew rate |
24 | Michael von der Beeck |
A structured operational semantics for UML-statecharts. |
Softw. Syst. Model. |
2002 |
DBLP DOI BibTeX RDF |
Structured operational semantics (SOS), UML, Statecharts, Formal semantics, Labeled transition systems, UML-statecharts |
24 | Rodolphe Ortalo, Yves Deswarte, Mohamed Kaâniche |
Experimenting with Quantitative Evaluation Tools for Monitoring Operational Security. |
IEEE Trans. Software Eng. |
1999 |
DBLP DOI BibTeX RDF |
operational vulnerabilities, privilege graph, quantitative evaluation, Security assessment |
24 | Alessandra Di Pierro, Herbert Wiklicky |
An Operational Semantics for Probabilistic Concurrent Constraint Programming. |
ICCL |
1998 |
DBLP DOI BibTeX RDF |
Concurrency, Probability, Constraint Programming, Operational Semantics, Nondeterminism |
24 | Chris Ho-Stuart, Shaoying Liu |
A Formal Operational Semantics for SOFL. |
APSEC |
1997 |
DBLP DOI BibTeX RDF |
operational-semantics data-flow-diagram specification |
24 | Sudhir Aggarwal |
An Enhanced Macromodel for a CMOS Operational Amplifier for HDL Implementation. |
VLSI Design |
1996 |
DBLP DOI BibTeX RDF |
VHDL-Analog, Non-linear model, Analog IC's, Operational Amplifier, Macromodel |
24 | Maciej Koutny, Javier Esparza, Eike Best |
Operational Semantics for the Petri Box Calculus. |
CONCUR |
1994 |
DBLP DOI BibTeX RDF |
Petri nets, process algebra, structured operational semantics, step sequences |
24 | Luc Moreau 0001 |
An operational semantics for a parallel functional language with continuations. |
PARLE |
1992 |
DBLP DOI BibTeX RDF |
metacontinuation, left expression, parallelism, Scheme, continuation, operational semantics, transparency |
24 | Satoshi Hoshino, Jun Ota 0001 |
Reactive robot control with hybrid operational models in a seaport container terminal considering system reliability. |
IROS |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Satoko Abiko, Gerd Hirzinger |
Computational efficient algorithms for operational space formulation of branching arms on a space robot. |
IROS |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Meiyappan Nagappan, Mladen A. Vouk, Kesheng Wu, Alex Sim, Arie Shoshani |
Efficient Operational Profiling of Systems Using Suffix Arrays on Execution Logs. |
ISSRE |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Francien Dechesne, Mohammad Reza Mousavi 0001, Simona Orzan |
Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Cagdas E. Gerede, Kamal Bhattacharya, Jianwen Su |
Static Analysis of Business Artifact-centric Operational Models. |
SOCA |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Huibiao Zhu, Jifeng He 0001, Jonathan P. Bowen |
Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Olivera Marjanovic |
The Next Stage of Operational Business Intelligence: Creating New Challenges for Business Process Management. |
HICSS |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Tao Xie 0001, David Notkin |
Tool-assisted unit-test generation and selection based on operational abstractions. |
Autom. Softw. Eng. |
2006 |
DBLP DOI BibTeX RDF |
|
24 | J Strother Moore |
Inductive assertions and operational semantics. |
Int. J. Softw. Tools Technol. Transf. |
2006 |
DBLP DOI BibTeX RDF |
Theorem proving, JVM, Software verification, Verification condition |
24 | Juan Xu 0003, Yongfa Hong, Changjun Jiang, Lin Chen |
Upper Bound on Operational Lifetime of Ultra Wide Band Sensor Network. |
WASA |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Lijun Gao, Jianping Li 0001, Jianming Chen, Weixuan Xu |
Assessment the Operational Risk for Chinese Commercial Banks. |
International Conference on Computational Science (4) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel |
Inferring operational requirements from scenarios and goal models using inductive learning. |
SCESM |
2006 |
DBLP DOI BibTeX RDF |
FLTL, scenarios, event calculus, inductive inference, goal-oriented requirements engineering |
24 | Mechelle Gittens, Hanan Lutfi Lutfiyya, Michael A. Bauer 0001 |
An Extended Operational Profile Model. |
ISSRE |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 13561 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|