Search results for "Operational"

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