|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4972 occurrences of 1938 keywords
|
|
|
Results
Found 12317 publication records. Showing 12317 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Bing Li, Junichi Iijima |
A Hybrid Approach for Business Process Verification. |
CONFENIS (1) |
2007 |
DBLP DOI BibTeX RDF |
Business process verification, Situation calculus, XPDL |
14 | James D. Jones, Susanna Badiola, Daley Seeker |
A Preliminary Discussion of Fluents for Knowledge Representation in a Meta-Reasoner for Enterprise Information Systems. |
CONFENIS (2) |
2007 |
DBLP DOI BibTeX RDF |
Meta-reasoning, Artificial intelligence, Logic programming, Situation calculus |
14 | Shilun Ge, Nan Ren, Hong Miao |
A Research on Data Modeling of Enterprises Based on Control System. |
CONFENIS (1) |
2007 |
DBLP DOI BibTeX RDF |
Data criterion, Data model, Control system, Enterprise information system (EIS), Situation calculus |
14 | Franck Binard, Amy P. Felty |
An abstraction-based genetic programming system. |
GECCO (Companion) |
2007 |
DBLP DOI BibTeX RDF |
genetic programming, polymorphism, types, lambda calculus |
14 | Masato Koda |
A New Computing Method for Greeks Using Stochastic Sensitivity Analysis. |
International Conference on Computational Science (2) |
2007 |
DBLP DOI BibTeX RDF |
Malliavin calculus, Monte Carlo simulation, Greeks |
14 | Samuel Hym |
Mobility Control Via Passports. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
control of agent migrations, distributed computation, process calculus, observational equivalence |
14 | Bill Stoddart, Dominique Cansell, Frank Zeyda |
Modelling and Proof Analysis of Interrupt Driven Scheduling. |
B |
2007 |
DBLP DOI BibTeX RDF |
Interrupt Driven Scheduler, Formal Methods, Event Calculus |
14 | Lishan Hou, Zhi Jin, Budan Wu |
Modeling and verifying Web services driven by requirements: An ontology-based approach. |
Sci. China Ser. F Inf. Sci. |
2006 |
DBLP DOI BibTeX RDF |
environment ontology, Web service, formal verification, ? calculus, automatic composition |
14 | Ulrich Berger 0001, Stefan Berghofer, Pierre Letouzey, Helmut Schwichtenberg |
Program Extraction from Normalization Proofs. |
Stud Logica |
2006 |
DBLP DOI BibTeX RDF |
Normalization by evaluation, program extraction from proofs, realizability, typed lambda calculus |
14 | Agata Ciabattoni, Kazushige Terui |
Towards a Semantic Characterization of Cut-Elimination. |
Stud Logica |
2006 |
DBLP DOI BibTeX RDF |
nonclassical logicss, phase semantics, sequent calculus, cut-elimination, substructural logics |
14 | Matthias Baaz, Rosalie Iemhoff |
Gentzen Calculi for the Existence Predicate. |
Stud Logica |
2006 |
DBLP DOI BibTeX RDF |
existence predicate, Gentzen calculus, truth-value logics, Gödel logics, Scott logics, cut-elimination, Intuitionistic logic, Kripke models, Skolemization |
14 | Salvatore Gaglio, Luca Gatani, Giuseppe Lo Re, Alfonso Urso |
A Logical Architecture for Active Network Management. |
J. Netw. Syst. Manag. |
2006 |
DBLP DOI BibTeX RDF |
Network ontology, Intelligent systems, Situation calculus, Programmable networks |
14 | Kamal Jain, Vijay V. Vazirani, Gideon Yuval |
On the capacity of multiple unicast sessions in undirected graphs. |
IEEE Trans. Inf. Theory |
2006 |
DBLP DOI BibTeX RDF |
entropy calculus, undirected capacity, cryptography, network coding, multicommodity flow, network capacity |
14 | Paul Blain Levy |
Call-by-push-value: Decomposing call-by-value and call-by-name. |
High. Order Symb. Comput. |
2006 |
DBLP DOI BibTeX RDF |
Call-by-push-value, Call-by-name, Lambda-calculus, Monad, Computational effect, Call-by-value |
14 | Carlos Simpson |
Explaining Gabriel-Zisman Localization to the Computer. |
J. Autom. Reason. |
2006 |
DBLP DOI BibTeX RDF |
calculus of fractions, computer proof verification, localization, category, proof assistant, functor |
14 | Vasileios Koutavas, Mitchell Wand |
Small bisimulations for reasoning about higher-order imperative programs. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
higher-order procedures, bisimulations, lambda-calculus, imperative languages, contextual equivalence |
14 | Colin Stirling |
A Game-Theoretic Approach to Deciding Higher-Order Matching. |
ICALP (2) |
2006 |
DBLP DOI BibTeX RDF |
higher-order matching, Games, typed lambda calculus |
14 | Freeman Yufei Huang, C. Barry Jay, David B. Skillicorn |
Programming with heterogeneous structures: manipulating XML data using bondi. |
ACSC |
2006 |
DBLP BibTeX RDF |
heterogeneous data structure, pattern calculus, functional programming, XML processing |
14 | Jens B. Schmitt, Frank A. Zdarsky |
The DISCO network calculator: a toolbox for worst case analysis. |
VALUETOOLS |
2006 |
DBLP DOI BibTeX RDF |
tool support, network calculus, deterministic guarantees |
14 | Giada Giorgi, Claudio Narduzzi |
Analysis of traffic flow measurements by rate-interval curves. |
VALUETOOLS |
2006 |
DBLP DOI BibTeX RDF |
self-similarity, network calculus, traffic measurement |
14 | Christian Urban, Stefan Berghofer |
A Recursion Combinator for Nominal Datatypes Implemented in Isabelle/HOL. |
IJCAR |
2006 |
DBLP DOI BibTeX RDF |
Lambda-calculus, proof assistants, nominal logic, primitive recursion |
14 | Su Feng |
Mechanizing Weakly Ground Termination Proving of Term Rewriting Systems by Structural and Cover-Set Inductions. |
J. Comput. Sci. Technol. |
2005 |
DBLP DOI BibTeX RDF |
automated formal proving, cover-set induction, dynamic term rewriting calculus, weakly ground termination, term rewriting system |
14 | Nirmit Desai, Ashok U. Mallya, Amit K. Chopra, Munindar P. Singh |
Interaction Protocols as Design Abstractions for Business Processes. |
IEEE Trans. Software Eng. |
2005 |
DBLP DOI BibTeX RDF |
interaction-based modeling, software design methodologies, Multiagent systems, software reuse, pi-calculus, rule-based processing |
14 | Luigi Alcuri, Giuseppe Barbera, Giuseppe D'Acquisto |
Service Curve Estimation by Measurement: An Input Output Analysis of a Softswitch Model. |
QoS-IP |
2005 |
DBLP DOI BibTeX RDF |
softswitch model, Network calculus, delay bounds, performance bounds, service curve |
14 | Matthias Baaz, Rosalie Iemhoff |
On Interpolation in Existence Logics. |
LPAR |
2005 |
DBLP DOI BibTeX RDF |
existence predicate, Gentzen calculus, Beth definability, truth-value logics, Gödel logics, Scott logics, interpolation, cut-elimination, Intuitionistic logic, Kripke models, Skolemization |
14 | Eijiro Sumii, Benjamin C. Pierce |
A bisimulation for type abstraction and recursion. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
bisimulations, lambda-calculus, logical relations, recursive types, existential types, contextual equivalence |
14 | Olin Shivers |
The anatomy of a loop: a story of scope and control. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
compilers, programming languages, functional programming, scheme, continuations, lambda-calculus, iteration, macros, control structures |
14 | Christian Urban, Michael Norrish |
A formal treatment of the barendregt variable convention in rule inductions. |
MERLIN |
2005 |
DBLP DOI BibTeX RDF |
POPLmark challenge, ?-calculus, nominal logic |
14 | Christian Urban, Christine Tasson |
Nominal Techniques in Isabelle/HOL. |
CADE |
2005 |
DBLP DOI BibTeX RDF |
theorem-assistants, Lambda-calculus, nominal logic, structural induction |
14 | Frank Zeyda, Bill Stoddart, Steve Dunne |
A Prospective-Value Semantics for the GSL. |
ZB |
2005 |
DBLP DOI BibTeX RDF |
bunch theory, prospective-value semantics, expression transformers, wp calculus, B Method, Generalised substitution |
14 | Ernesto Wandeler, Lothar Thiele |
Real-time interfaces for interface-based design of real-time systems with fixed priority scheduling. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
real-time interfaces, performance analysis, hierarchical scheduling, real-time calculus |
14 | Colin Stirling |
Higher-Order Matching and Games. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
higher-order matching, games, typed lambda calculus |
14 | Robert Demolombe, Ana María Otermin Fernandez |
Recognition of the intention to perform a procedure: a method based on probabilities. |
AAMAS |
2005 |
DBLP DOI BibTeX RDF |
probability theory, situation calculus, intention recognition |
14 | Giovanna D'Agostino |
Uniform Interpolation, Bisimulation Quantifiers, and Fixed Points. |
TbiLLC |
2005 |
DBLP DOI BibTeX RDF |
Bisimulation Quantifiers, Bisimulation, Fixed Points, Mu-Calculus |
14 | Katsumi Inoue, Koji Iwanuma |
Speculative Computation Through Consequence-Finding in Multi-Agent Environments. |
Ann. Math. Artif. Intell. |
2004 |
DBLP DOI BibTeX RDF |
consequence-finding, SOL calculus, conditional answer, default logic, speculative computation |
14 | Lech Polkowski |
Rough Mereology as a Link Between Rough and Fuzzy Set Theories. A Survey. |
Trans. Rough Sets |
2004 |
DBLP DOI BibTeX RDF |
granular calculus, rough-fuzzy-neurocomputing, fuzzy set theory, rough set theory, rough mereology, rough inclusions, computing with words |
14 | Moreno Andreatta, D. T. Vuza, Carlos Agón |
On some theoretical and computational aspects of Anatol Vieru's periodic sequences. |
Soft Comput. |
2004 |
DBLP DOI BibTeX RDF |
Algebraic formalization, Finite difference calculus on groups, Decomposition, Periodic sequences |
14 | Stefano Baratella, Andrea Masini |
An approach to infinitary temporal proof theory. |
Arch. Math. Log. |
2004 |
DBLP DOI BibTeX RDF |
Modal logic, Proof theory, Sequent calculus, Cut elimination, Infinitary logic |
14 | Henning Dierks |
Comparing model checking and logical reasoning for real-time systems. |
Formal Aspects Comput. |
2004 |
DBLP DOI BibTeX RDF |
Model checking, Verification, Real-time, Timed Automata, Duration Calculus |
14 | Nick Benton, Luca Cardelli, Cédric Fournet |
Modern concurrency abstractions for C#. |
ACM Trans. Program. Lang. Syst. |
2004 |
DBLP DOI BibTeX RDF |
join calculus, polyphonic C?, synchronization, events, threads, messages, Asynchrony, chords |
14 | Khaled Mahbub, George Spanoudakis |
A framework for requirents monitoring of service based systems. |
ICSOC |
2004 |
DBLP DOI BibTeX RDF |
event calculus, BPEL4WS, service-based systems, requirements monitoring |
14 | Prasanna Thati, Carolyn L. Talcott, Gul Agha |
Techniques for Executing and Reasoning about Specification Diagrams. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
Graphical specification languages, may testing, trace equivalence, rewriting logic, calculus |
14 | Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon 0001 |
A semantics for web services authentication. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
web services, XML security, applied pi calculus |
14 | Denis Caromel, Ludovic Henrio, Bernard P. Serpette |
Asynchronous and deterministic objects. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
object calculus, parallelism, concurrency, distribution, object-oriented languages, determinism, futures |
14 | Olin Shivers, David Fisher |
Multi-return function call. |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
compilers, programming languages, functional programming, continuations, lambda calculus, control structures, procedure call |
14 | Baohua Wang, Pinaki Mazumder |
On optimality of adiabatic switching in MOS energy-recovery circuit. |
ISLPED |
2004 |
DBLP DOI BibTeX RDF |
adiabatic circuit, power clock optimization, variational calculus |
14 | Baohua Wang, Pinaki Mazumder |
On optimality of adiabatic switching in MOS energy-recovery circuit. |
ISLPED |
2004 |
DBLP DOI BibTeX RDF |
adiabatic circuit, power clock optimization, variational calculus |
14 | Sébastien Carlier, J. B. Wells |
Type inference with expansion variables and intersection types in system E and an exact correspondence with beta-reduction. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
expansion variables, type inference, lambda-calculus, intersection types |
14 | Hermenegilda Macià, Valentín Valero Ruiz, Diego Cazorla, Fernando Cuartero |
Introducing the Iteration in sPBC. |
FORTE |
2004 |
DBLP DOI BibTeX RDF |
Petri Box Calculus, Performance Evaluation, Stochastic Petri Nets, Stochastic Process Algebra |
14 | Alan Skelley |
A Third-Order Bounded Arithmetic Theory for PSPACE. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
quantified propositional calculus, Bounded arithmetic, PSPACE, propositional proof complexity |
14 | Christian Lang 0001, Bernd Steinbach |
Bi-Decomposition of Function Sets in Multiple-Valued Logic for Circuit Design and Data Mining. |
Artif. Intell. Rev. |
2003 |
DBLP DOI BibTeX RDF |
bi-decomposition, differential calculus, multi-level circuit design, data mining, machine learning, logic synthesis, multiple-valued logic |
14 | Bernd Steinbach, Christian Lang 0001 |
Exploiting Functional Properties of Boolean Functions for Optimal Multi-Level Design by Bi-Decomposition. |
Artif. Intell. Rev. |
2003 |
DBLP DOI BibTeX RDF |
bi-decomposition, Boolean differential calculus, derivative operation, multi-level circuit, delay, Boolean function, lattice, area |
14 | Yossi Cohen, Yishai A. Feldman |
Automatic high-quality reengineering of database programs by abstraction, transformation and reimplementation. |
ACM Trans. Softw. Eng. Methodol. |
2003 |
DBLP DOI BibTeX RDF |
Database program reengineering, the plan calculus, temporal abstraction, query graphs |
14 | Marcel Oliveira, Ana Cavalcanti 0001, Jim Woodcock 0001 |
ArcAngel: a Tactic Language for Refinement. |
Formal Aspects Comput. |
2003 |
DBLP DOI BibTeX RDF |
ensp, Formal methods, Refinement calculus, Program development |
14 | Stephan Recker |
Service Curve Based Routing Subject to Deterministic QoS Constraints. |
Telecommun. Syst. |
2003 |
DBLP DOI BibTeX RDF |
deterministic network calculus, cost model for service curves, optimal link resource allocation, restricted shortest path problem, local search heuristics, service curves |
14 | James F. Peters, Andrzej Skowron, Piotr Synak, Sheela Ramanna |
Rough Sets and Information Granulation. |
IFSA |
2003 |
DBLP DOI BibTeX RDF |
calculus of granules, rough sets, Approximation spaces, information granulation, rough mereology |
14 | Stephen Bique |
Useful formulas for multidimensional arrays. |
APL |
2003 |
DBLP DOI BibTeX RDF |
problem specification, program, calculus, formulas |
14 | Gopalan Nadathur, Xiaochu Qi |
Explicit substitutions in the reduction of lambda terms. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
beta reduction, graph and environment based reduction procedures, suspension notation, lambda calculus, higher-order abstract syntax, explicit substitution, metalanguages |
14 | Giuseppe Di Fatta, Salvatore Gaglio, Giuseppe Lo Presti, Giuseppe Lo Re, I. Selvaggio |
Distributed Intelligent Management of Active Networks. |
AI*IA |
2003 |
DBLP DOI BibTeX RDF |
Distributed Intelligent Systems, Network Management, Automated Reasoning, Situation Calculus |
14 | Luís Mota, Luís Miguel Botelho, Hugo Mendes, António Lopes 0001 |
O3F: an object oriented ontology framework. |
AAMAS |
2003 |
DBLP DOI BibTeX RDF |
FIPA SL, action methods, arbitrary axioms, ontology representation framework, ontology, situation calculus |
14 | Klaus Aehlig, Helmut Schwichtenberg |
A syntactical analysis of non-size-increasing polynomial time computation. |
ACM Trans. Comput. Log. |
2002 |
DBLP DOI BibTeX RDF |
Complexity, linear logic, lambda calculus |
14 | Jean-Yves Le Boudec |
Some properties of variable length packet shapers. |
IEEE/ACM Trans. Netw. |
2002 |
DBLP DOI BibTeX RDF |
min-plus algebra, shaper, network calculus, leaky bucket |
14 | Cheng-Shang Chang, Rene L. Cruz, Jean-Yves Le Boudec, Patrick Thiran |
A min, + system theory for constrained traffic regulation and dynamic service guarantees. |
IEEE/ACM Trans. Netw. |
2002 |
DBLP DOI BibTeX RDF |
(min, +) algebra, performance analysis, buffer overflow, packet losses, network calculus, traffic shaping |
14 | Graeme Smith 0001, Ian J. Hayes |
An Introduction to Real-Time Object-Z. |
Formal Aspects Comput. |
2002 |
DBLP DOI BibTeX RDF |
Real-time refinement, Timed refinement calculus, Object-Z, Real-time specification |
14 | Miroslav Popovic, Vladimir Kovacevic, Ivan Velikic |
A Formal Software Verification Concept Based on Automated Theorem Proving and Reverse Engineering. |
ECBS |
2002 |
DBLP DOI BibTeX RDF |
formal software verification, fault-tolerant and robust software, mission-critical embedded software, reverse engineering, automated theorem proving, predicate calculus |
14 | Li Tan, Rance Cleaveland |
Evidence-Based Model Checking. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
diagnostic information, Model checking, temporal logic, mu-calculus |
14 | Abdesselam Redouane |
Experience Using Formal Methods for Capturing Requirements of Web-Based Applications. |
IEEE ICCI |
2002 |
DBLP DOI BibTeX RDF |
modularity and parameterization, formal methods, web-based applications, dynamic behavior, predicate calculus |
14 | Jamie Shield, Ian J. Hayes |
Refining Object-Oriented Invariants and Dynamic Constraints. |
APSEC |
2002 |
DBLP DOI BibTeX RDF |
history properties, Object-orientation, invariants, refinement calculus |
14 | Emir Pasalic, Walid Taha, Tim Sheard |
Tagless staged interpreters for typed languages. |
ICFP |
2002 |
DBLP DOI BibTeX RDF |
calculus of constructions, definitional interpreters, domain-specific languages, multi-stage programming |
14 | Aleksandar Nanevski |
Meta-programming with names and necessity. |
ICFP |
2002 |
DBLP DOI BibTeX RDF |
modal lambda-calculus, higher-order abstract syntax |
14 | Benjamin Grégoire, Xavier Leroy |
A compiled implementation of strong reduction. |
ICFP |
2002 |
DBLP DOI BibTeX RDF |
beta-equivalence, calculus of constructions, normalization by evaluation, strong reduction, virtual machine, abstract machine, Coq |
14 | Arnold Beckmann |
Resolution Refutations and Propositional Proofs with Height-Restrictions. |
CSL |
2002 |
DBLP DOI BibTeX RDF |
Height of proofs, Length of proofs, Resolution refutation, Frege systems, Order induction principle, Cut introduction, MSC: Primary 03F20, Secondary 03F07, 68R99, Cut elimination, 68Q15, Bounded arithmetic, Propositional calculus |
14 | Luís M. B. Lopes, Vasco Thudichum Vasconcelos, Fernando M. A. Silva |
Fine-Grained Multithreading with Process Calculi. |
IEEE Trans. Computers |
2001 |
DBLP DOI BibTeX RDF |
multithreading, abstract-machine, Process-calculus |
14 | Huadong Ma, Liang Li, Jianzhong Wang, Naijun Zhan |
Automatic Synthesis of the DC Specifications of Lip Synchronisation Protocol. |
APSEC |
2001 |
DBLP DOI BibTeX RDF |
Lip Synchronisation Protocol, Multimedia, Synthesis, Timed Automata, Duration Calculus |
14 | David Coeurjolly, Serge Miguet, Laure Tougne |
Discrete Curvature Based on Osculating Circle Estimation. |
IWVF |
2001 |
DBLP DOI BibTeX RDF |
Curvature Calculus, Discrete Circles, Discrete Geometry |
14 | Jean-Yves Le Boudec |
Some properties of variable length packet shapers. |
SIGMETRICS/Performance |
2001 |
DBLP DOI BibTeX RDF |
min-plus algebra, shaper, network calculus, leaky bucket |
14 | Jean Goubault-Larrecq |
Well-Founded Recursive Relations. |
CSL |
2001 |
DBLP DOI BibTeX RDF |
well-foundedness, path orderings, Knuth-Bendix orderings, higher-order path orderings, graphs, automata, Termination, calculus |
14 | Michael Benedikt, Leonid Libkin |
Relational queries over interpreted structures. |
J. ACM |
2000 |
DBLP DOI BibTeX RDF |
0-minimality, collapse results, constraints, quantifier elimination, relational calculus |
14 | Raymond T. Boute |
Supertotal Function Definition in Mathematics and Software Engineering. |
IEEE Trans. Software Eng. |
2000 |
DBLP DOI BibTeX RDF |
calculational reasoning, functional mathematics, guarded formulas, conditional expressions, undefinedness, Formal methods, subtyping, software specification, predicate calculus, type correctness |
14 | Luís M. B. Lopes, Fernando M. A. Silva, Vasco Thudichum Vasconcelos |
Fine Grained Multithreading with Process Calculi. |
IEEE PACT |
2000 |
DBLP DOI BibTeX RDF |
Multithreading, Abstract-Machine, Process-Calculus |
14 | Jaroslav Pokorný |
XML Functionally. |
IDEAS |
2000 |
DBLP DOI BibTeX RDF |
XML functionality, XML language, IS/IT community, markup text components, marking text components, typed XML data, XML-/spl lambda/, mathematical functions, XML objects, nested tables, XML-QL, data structures, query language, type system, data exchange, information sources, typed lambda calculus, XML data, database view, hypermedia markup languages |
14 | Klaus Aehlig, Helmut Schwichtenberg |
A Syntactical Analysis of Non-Size-Increasing Polynomial Time Computation. |
LICS |
2000 |
DBLP DOI BibTeX RDF |
affine linear typing, polynomial time computation, lambda-calculus |
14 | Ron van der Meyden, Yoram Moses |
On Refinement and Temporal Annotations. |
FTRTFT |
2000 |
DBLP DOI BibTeX RDF |
temporal refinement calculi, temporal logic, Refinement calculus |
14 | John Power, Edmund Robinson |
Logical Relations and Data Abstraction. |
CSL |
2000 |
DBLP DOI BibTeX RDF |
cartesian closed fibrations, interpretations, lambda calculus, logical relations |
14 | Luís M. B. Lopes, Álvaro Reis Figueira, Fernando M. A. Silva, Vasco Thudichum Vasconcelos |
A Concurrent Programming Environment with Support for Distributed Computations and Code Mobility. |
CLUSTER |
2000 |
DBLP DOI BibTeX RDF |
Concurrency, Distributed Computing, Implementation, Process-Calculus, Code Mobility |
14 | Xiaoqun Du, Scott A. Smolka, Rance Cleaveland |
Local Model Checking and Protocol Analysis. |
Int. J. Softw. Tools Technol. Transf. |
1999 |
DBLP DOI BibTeX RDF |
Modal mu-calculus, Model checking, Real-time, Protocol verification, State explosion |
14 | Fangzhen Lin, Kewen Wang 0001 |
From Causal Theories to Logic Programs (Sometimes). |
LPNMR |
1999 |
DBLP DOI BibTeX RDF |
disjunctive logic programs with classical negation, causal theories of actions, situation calculus |
14 | Daniele Mundici |
Nonboolean partitions and their logic. |
Soft Comput. |
1998 |
DBLP DOI BibTeX RDF |
Nonboolean partition, if-then-else, block-recognition, infinite-valued ?ukasiewicz calculus, many-valued logic, MV-algebras |
14 | Damian Weber, Thomas F. Denny |
The Solution of McCurley's Discrete Log Challenge. |
CRYPTO |
1998 |
DBLP DOI BibTeX RDF |
Index Calculus, Lanczos, Discrete Logarithms, Number Field Sieve |
14 | Jean-François Dufourd |
Algebras and formal specifications in geometric modelling. |
Vis. Comput. |
1997 |
DBLP DOI BibTeX RDF |
Extended ?-calculus, Formal specification, Geometric modeling, Parameterization, Constructive solid geometry, Boundary representation, Universal algebra |
14 | David Harel |
Will I Be Pretty, Will I Be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering. |
RE |
1997 |
DBLP DOI BibTeX RDF |
reactive highly concurrent systems, calculus of communicating systems, formal specification, parallel programming, system design, systems engineering, communicating sequential processes, applied research |
14 | Jürgen Schwille |
Modeling product and process characteristics in software configuration management. |
CSMR |
1997 |
DBLP DOI BibTeX RDF |
process characteristics, product characteristic modelling, Concert, project specific models, model restrictions, development history, software maintenance, process modeling, SCM, configuration management, software configuration management, software project, predicate calculus, entity relationship diagrams, change requests, seamless integration |
14 | Vassil S. Dimitrov, Graham A. Jullien, William C. Miller |
Theory and applications for a double-base number system. |
IEEE Symposium on Computer Arithmetic |
1997 |
DBLP DOI BibTeX RDF |
basic arithmetic operations, index calculus, logarithmic-like arithmetic, hardware reductions, lookup table size, inner product computation, modular exponentiation computation, cryptography, digital signal processing, number theory, sparse representation, double-base number system, geometric interpretation |
14 | Andreas Ermedahl, Hans Hansson, Mikael Sjödin |
Response-time guarantees in ATM networks. |
RTSS |
1997 |
DBLP DOI BibTeX RDF |
response time guarantees, traditional real time CPU Response Time Analysis, hard real time traffic, strict timing requirements, Calculus for Network Delays, traffic scenarios, observed worst case behaviors, CND, realistic traffic scenarios, asynchronous transfer mode, Asynchronous Transfer Mode, admission control, ATM networks, Weighted Fair Queuing, WFQ |
14 | Ewa Orlowska |
Many-Valuedness and Uncertainty. |
ISMVL |
1997 |
DBLP DOI BibTeX RDF |
modal information logics, many-valued modal logics, uncertain knowledge, calculus of information relations, Aristotelian syllogistic, multivalued logic |
14 | Raul H. C. Lopes, Mark Tarver |
Inducing Theorem Provers from Proofs. |
ICTAI |
1997 |
DBLP DOI BibTeX RDF |
theorem prover induction, automatic theorem prover generation, proof examples, intuitionistic propositional calculus, depth-first search strategy, loop detection, inductive generalization, machine learning, theorem proving |
14 | Mihhail Matskin, Enn Tyugu |
Strategies of Structural Synthesis of Programs. |
ASE |
1997 |
DBLP DOI BibTeX RDF |
structural program synthesis strategies, deductive program synthesis method, compositional programming, decidable logical calculus, PSPACE complexity, independent subtasks, iteration synthesis, regular data structures, heuristics, programming environments, structured programming, proof search, search efficiency |
14 | Norman Y. Foo, Pavlos Peppas, Yan Zhang 0003 |
Inductive Properties of States. |
Australian Joint Conference on Artificial Intelligence |
1997 |
DBLP DOI BibTeX RDF |
induction, actions, states, automaton, situation calculus |
14 | Dang Van Hung, Ko Kwang Il |
Verification via Digitized Models of Real-Time Hybrid Systems. |
APSEC |
1996 |
DBLP DOI BibTeX RDF |
real-time hybrid systems, digitized models, int formula, digital states, analog states, time reasoning, intuitive model, natural induction rules, distributed systems, verification, formal specification, specification, communication protocols, duration calculus, system clock |
14 | Henri B. Weinberg, Nancy A. Lynch |
Correctness of vehicle control systems-a case study. |
RTSS |
1996 |
DBLP DOI BibTeX RDF |
vehicle control systems correctness, vehicle deceleration manoeuvres, automated transportation systems, hybrid I/O automata, hybrid input output automata, invariant assertions, simulation mappings, differential calculus, real time systems, case study, vehicles, correctness verification |
|
|