|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7341 occurrences of 3423 keywords
|
|
|
Results
Found 22125 publication records. Showing 22118 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
35 | Joanna Roder, Carlos Oliveira, Lelia Net, Maxim Tsypin, Benjamin Linstid, Heinrich Roder |
A dropout-regularized classifier development approach optimized for precision medicine test discovery from omics data. |
BMC Bioinform. |
2019 |
DBLP DOI BibTeX RDF |
|
35 | Heinrich Roder, Carlos Oliveira, Lelia Net, Benjamin Linstid, Maxim Tsypin, Joanna Roder |
Robust identification of molecular phenotypes using semi-supervised learning. |
BMC Bioinform. |
2019 |
DBLP DOI BibTeX RDF |
|
35 | Joshua Vander Hook, Tiago Vaquero, Federico Rossi 0001, Martina Troesch, Marc Sanchez Net, Joshua Schoolcraft, Jean-Pierre de la Croix, Steve A. Chien |
Mars On-Site Shared Analytics Information and Computing. |
ICAPS |
2019 |
DBLP BibTeX RDF |
|
35 | Marc Sanchez Net, Scott Burleigh |
Evaluation of Opportunistic Contact Graph Routing in Random Mobility Environments. |
WiSEE |
2018 |
DBLP DOI BibTeX RDF |
|
35 | Marc Sanchez Net, Iñigo del Portillo, Bruce G. Cameron, Edward F. Crawley |
Architecting Information Security Services for Federated Satellite Systems. |
J. Aerosp. Inf. Syst. |
2017 |
DBLP DOI BibTeX RDF |
|
35 | Juan Sánchez, Félix García 0001, Marta Net |
Radial collocation methods for the onset of convection in rotating spheres. |
J. Comput. Phys. |
2016 |
DBLP DOI BibTeX RDF |
|
35 | Marc Sanchez Net, Iñigo del Portillo, Edward F. Crawley, Bruce G. Cameron |
Approximation Methods for Estimating the Availability of Optical Ground Networks. |
JOCN |
2016 |
DBLP DOI BibTeX RDF |
|
35 | Boudewijn Boon, Marco C. Rozendaal, Marry M. van den Heuvel-Eibrink, Janjaap van der Net, Pieter Jan Stappers |
Playscapes: a Design Perspective on Young Children's Physical Play. |
IDC |
2016 |
DBLP DOI BibTeX RDF |
|
35 | Ferran Garcia, Juan Sánchez, Emmanuel Dormy, Marta Net |
Oscillatory Convection in Rotating Spherical Shells: Low Prandtl Number and Non-Slip Boundary Conditions. |
SIAM J. Appl. Dyn. Syst. |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Marta Net, Juan Sánchez |
Continuation of Bifurcations of Periodic Orbits for Large-Scale Systems. |
SIAM J. Appl. Dyn. Syst. |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Marc Sanchez Net, Iñigo del Portillo, Bruce G. Cameron, Edward F. Crawley, Daniel Selva |
Integrated Tradespace Analysis of Space Network Architectures. |
J. Aerosp. Inf. Syst. |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Ferran Garcia, Luca Bonaventura, Marta Net, Juan Sánchez |
Exponential versus IMEX high-order time integrators for thermal convection in rotating spherical shells. |
J. Comput. Phys. |
2014 |
DBLP DOI BibTeX RDF |
|
35 | Juan Sánchez, Marta Net |
On the Multiple Shooting Continuation of Periodic orbits by Newton-Krylov Methods. |
Int. J. Bifurc. Chaos |
2010 |
DBLP DOI BibTeX RDF |
|
35 | Ferran Garcia, Marta Net, Bosco García-Archilla, Juan Sánchez |
A comparison of high-order time integrators for thermal convection in rotating spherical shells. |
J. Comput. Phys. |
2010 |
DBLP DOI BibTeX RDF |
|
35 | Marta Net, Juan Sánchez |
Symmetric Periodic orbits and Global Dynamics of Tori in an O(2) Equivariant System: Two-Dimensional thermal convection. |
Int. J. Bifurc. Chaos |
2005 |
DBLP DOI BibTeX RDF |
|
35 | C. L. Dumoulin, George C. Levy, F. A. L. Net |
An FFT algorithm for virtually stored data. |
Comput. Chem. |
1981 |
DBLP DOI BibTeX RDF |
|
34 | Johann Duscher, Amine El Malki |
A Reference Net Based Formalization of Concurrent Cognitive Decision Making. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
cognitive decision making, multi-agent systems, model-checking, verification, concurrency, specification, reference net, object petri net |
34 | Thomas Seidmann |
Distributed Shared Memory Using The .NET Framework. |
CCGRID |
2003 |
DBLP DOI BibTeX RDF |
Object-based distributed shared memory, .NET Framework, .NET Remoting, IP multicasting, object replication, causal consistency |
34 | Peter Grün, Petru Eles, Krzysztof Kuchcinski, Zebo Peng |
Automatic Parallelization of a Petri Net-Based Design Representation for High-Level Synthesis. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
Petri net-based design representation, internal design representation, hardware structures, conflict freeness, hierarchical Petri net structure, CAMAD, complexity, parallelization process, Petri nets, high-level synthesis, automatic parallelization, design environment, safeness |
34 | Fernando Vallejo, José A. Gregorio, Michael González Harbour, José M. Drake |
Shared Memory Multimicroprocessor Operating System with an Extended Petri Net Model. |
IEEE Trans. Parallel Distributed Syst. |
1994 |
DBLP DOI BibTeX RDF |
softwareengineering, shared memorymultimicroprocessor operating system, extended Petri net model, task level programming, extended Petri net, job-levelprogramming, parallel programming, parallel programs, Petri nets, software development, operating system, conceptual model, programming environments, shared memory systems, operating systems (computers), system software, event-driven systems, programming support |
34 | John B. Evans |
The Devnet: a Petri Net for Discrete Event Simulation. |
Applications and Theory of Petri Nets |
1991 |
DBLP DOI BibTeX RDF |
Circumspect token, engagement strategy, entity interaction, firing strategy, net implementation, object net, program activation, Simian language, simulation complexity, temporal expressions, parallelism, discrete-event simulation, processes, control structures |
34 | Sol M. Shatz, Khanh Mai, Christopher Black, Shengru Tu |
Design and Implementation of a Petri Net Based Toolkit for Ada Tasking Analysis. |
IEEE Trans. Parallel Distributed Syst. |
1990 |
DBLP DOI BibTeX RDF |
Ada tasking analysis, analysis framework, tasking-oriented toolkit for the Ada language, TOTAL, front-end translator subsystem, FETS, back-end information display subsystem, Ada-net reachability graphs, Petri net, Petri nets, Ada, software tools, query, toolkit, utility, BIDS, Ada tasking |
34 | Hans-Jürgen Hoffmann |
On the visualization of design notions, of notion instantiations, and of structural relationships in a design data base realized as a semantic net. |
Informatics and Psychology Workshop |
1986 |
DBLP DOI BibTeX RDF |
Abbreviations DDB design data base, IDE integrated design environment, DS/P design specification/program, SN/FN semantic net/frame net |
34 | Chung-Kai Chen, Yu-Hao Chang, Yu-Tin Chen, Chih-Chieh Yang, Jenq Kuen Lee |
Switching supports for stateful object remoting on network processors. |
J. Supercomput. |
2007 |
DBLP DOI BibTeX RDF |
.NET Remoting, Load-balancing scheduler, Grid computing, Distributed computing, Network processor |
34 | Lawrence Cabac, Daniel Moldt |
Formal Semantics for AUML Agent Interaction Protocol Diagrams. |
AOSE |
2004 |
DBLP DOI BibTeX RDF |
Capa, net components, agents, operational semantics, high-level Petri nets, Renew, AUML, reference nets, Mulan, agent interaction protocols |
34 | Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata, Yi Zhou |
Reduction Methods for Real-Time Systems Using Delay Time Petri Nets. |
IEEE Trans. Software Eng. |
2001 |
DBLP DOI BibTeX RDF |
net reduction, schedule, Real-time systems, Petri nets, deadlock, reachability, state explosion |
34 | Georg Lausen |
Modeling and Analysis of the Behavior of Information Systems. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
semantic hierarchy data model, formal specification, Petri net, Petri nets, data structures, information systems, information flows, data abstractions, flowcharting, specification techniques, behavior constraints |
34 | Volker Braun, Tiziana Margaria, Bernhard Steffen |
The Electronic Tool Integration Platform (ETI) and the Petri Net Technology. |
Petri Net Technology for Communication-Based Systems |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Herbert Weber |
Application Development Assistance with the Petri Net Baukasten. |
Petri Net Technology for Communication-Based Systems |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Robin Bergenthum, Jörg Desel, Sebastian Mauser |
Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language. |
Trans. Petri Nets Other Model. Concurr. |
2009 |
DBLP DOI BibTeX RDF |
Partial Order Behavior, Region Theory, Petri Net, Synthesis Algorithm |
33 | Zipeng Zhang, Shuqing Wang, Xiaohui Yuan |
Advanced Self-adaptation Learning and Inference Techniques for Fuzzy Petri Net Expert System Units. |
AICI |
2009 |
DBLP DOI BibTeX RDF |
dynamic fuzzy reasoning, self-adaptation learning, neural network, Fuzzy Petri net |
33 | Liu Han-xia, Li Rong-jun |
Responsibility of Net-bank in Electronic Payment. |
ISECS |
2008 |
DBLP DOI BibTeX RDF |
net-bank, payment tools, e-commerce, responsibility |
33 | Juanqiong Gou, Tingting Ma, Jingjing Li |
A Research on Supply Chain Integration Strategy Based on Virtual Value Net. |
CONFENIS (2) |
2007 |
DBLP DOI BibTeX RDF |
Supply chain integration, Virtual value net, Integration degree, Supply chain, Business components |
33 | Yan He 0001, Miaoliang Zhu |
A complete and efficient strategy based on petri net in automated trust negotiation. |
Infoscale |
2007 |
DBLP DOI BibTeX RDF |
negotiation petri net, automated trust negotiation, negotiation strategy |
33 | Kwanghoon Pio Kim, Hyun-Ah Kim, Chang-Min Kim |
SCO Control Net for the Process-Driven SCORM Content Aggregation Model. |
ICCSA (4) |
2005 |
DBLP DOI BibTeX RDF |
SCORM Content Aggregation Model, Sharable Content Object, e-Learning Management System, SCO Control Net, Process-driven Content Aggregation Model, Sequencing and Navigation of Learning Process and Experience |
33 | Kevin M. Lepak, Min Xu, Jun Chen 0008, Lei He 0001 |
Simultaneous shield insertion and net ordering for capacitive and inductive coupling minimization. |
ACM Trans. Design Autom. Electr. Syst. |
2004 |
DBLP DOI BibTeX RDF |
VLSI physical design automation and on-chip inductance, net ordering, noise minimization, signal integrity, shielding |
33 | Yukitaka Kusumura, Yoshinori Hijikata, Shogo Nishida |
Text mining agent for net auction. |
SAC |
2004 |
DBLP DOI BibTeX RDF |
net auction, information extraction, text mining |
33 | Ting-Yuan Wang, Jeng-Liang Tsai, Charlie Chung-Ping Chen |
Sensitivity guided net weighting for placement driven synthesis. |
ISPD |
2004 |
DBLP DOI BibTeX RDF |
interconnect, sensitivity analysis, physical synthesis, timing driven placement, net weight |
33 | Haoxing Ren, David Zhigang Pan, David S. Kung 0001 |
Sensitivity guided net weighting for placement driven synthesis. |
ISPD |
2004 |
DBLP DOI BibTeX RDF |
interconnect, sensitivity analysis, physical synthesis, timing driven placement, net weight |
33 | Annya Réquilé-Romanczuk, Christine Mingins, Brian Yap, Olivier Constant |
LEOPARD: a .net based agent architecture. |
AAMAS |
2003 |
DBLP DOI BibTeX RDF |
experimental tool, multi-agents platform, design, implementation, C#, net |
33 | Jin-Cheon Na, Richard Furuta |
Dynamic documents: authoring, browsing, and analysis using a high-level petri net-based hypermedia system. |
ACM Symposium on Document Engineering |
2001 |
DBLP DOI BibTeX RDF |
petri-net-based hypertext, caT, trellis, dynamic documents |
33 | Carl K. Chang, Seongwoon Kim |
I3: A Petri-Net Based Specification Method for Architectural Components. |
COMPSAC |
1999 |
DBLP DOI BibTeX RDF |
architectural component description language, interoperation, specification, CORBA, software component, Architecture Description Language, stakeholder, colored Petri net, IDL, SADT, ORB |
33 | Krishna P. Mikkilineni, Yuan-Chieh Chow, Stanley Y. W. Su |
Petri-Net-Based Modeling and Evaluation of Pipelined Processing of Concurrent Database Queries. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
concurrent database queries, integrated data network, intermediate data sharing, Petri nets, query processing, distributed databases, distributed databases, computer networks, program testing, digital simulation, pipelined processing, pipeline processing, Petri-net model, event-driven programming |
33 | Jianqiang Li 0002, Yushun Fan, MengChu Zhou |
Performance modeling and analysis of workflow. |
IEEE Trans. Syst. Man Cybern. Part A |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Yi-Sheng Huang, Xiaolan Xie, Chien-Nin Hsu |
Modeling and Analysis of Manufacturing Systems using a New class of Petri Nets. |
ICRA |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Marisa Llorens, Javier Oliver 0001 |
Introducing Structural Dynamic Changes in Petri Nets: Marked-Controlled Reconfigurable Nets. |
ATVA |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Dragan Gasevic, Vladan Devedzic |
Reusing Petri Nets Through the Semantic Web. |
ESWS |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Satoshi Tanaka, Tomoko Itao, Atsushi Yamamoto, Tatsuya Suda, Shigeki Yamada |
The Design and Implementation of Service Emergence Platform Software. |
SAINT Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Chong-Yi Yuan, Wen Zhao, Shikun Zhang, Yu Huang 0004 |
A Three-Layer Model for Business Processes - Process Logic, Case Semantics and Workflow Management. |
J. Comput. Sci. Technol. |
2007 |
DBLP DOI BibTeX RDF |
WF-net, workflow logic, Petri Net, synchronizer, workflow modeling |
32 | James Lapalme, El Mostapha Aboulhamid, Gabriela Nicolescu |
A new efficient EDA tool design methodology. |
ACM Trans. Embed. Comput. Syst. |
2006 |
DBLP DOI BibTeX RDF |
Net Framework, C?, ESys.Net, attribute programming, embedded systems, SoC, VHDL, SystemC, modeling and simulation, CoDesign |
32 | Eike Best, Raymond R. Devillers, Maciej Koutny |
The Box Algebra - A Model of Nets and Process Expressions. |
ICATPN |
1999 |
DBLP DOI BibTeX RDF |
Net-based algebraic calculi, relationships between net theory and other approaches, box algebra, SOS semantics, refinement, process algebras, recursion |
32 | D. H. H. Yoon |
A survey of system design methodologies. |
ECBS |
1997 |
DBLP DOI BibTeX RDF |
system design methodologies, functional system design, process-based system design, object-oriented system design, net-based system design, graphical design tools, interactive system design tool, OBJ-NET, systems analysis, complex systems, open system, design languages, control software |
32 | Wilfried Brauer, Robert Gold, Walter Vogler |
A survey of behaviour and equivalence preserving refinements of Petri nets. |
Applications and Theory of Petri Nets |
1989 |
DBLP DOI BibTeX RDF |
place/transition net, history preserving bisimulation, Petri net, refinement, deadlocking, liveness, Concurrent system, interval order, partial order semantics, safeness, top-down design, failures semantics |
31 | Georg Zetzsche |
Erasing in Petri Net Languages and Matrix Grammars. |
Developments in Language Theory |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Yong Yu 0009, Tong Li 0004, Qing Liu, Fei Dai 0002, Na Zhao 0006 |
OR-transition Colored Petri Net and its Application in Modeling Software System. |
WKDD |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Tony Spiteri Staines |
Intuitive Mapping of UML 2 Activity Diagrams into Fundamental Modeling Concept Petri Net Diagrams and Colored Petri Nets. |
ECBS |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Rafael Menéndez de Llano, José Luis Bosque |
Parallel Implementation of a Neural Net Training Application in a Heterogeneous Grid Environment. |
OTM Conferences (2) |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Jungong Han, Dirk Farin, Peter H. N. de With |
Generic 3-D Modeling for Content Analysis of Court-Net Sports Sequences. |
MMM (2) |
2007 |
DBLP DOI BibTeX RDF |
Generic, Content analysis, Sports video, 3-D modeling |
31 | Lu Songfeng, Sun Chengfu, Ma Xinjian |
Using E-Connection and Description Logic for Formalizing and Analyzing High-Level Petri Net. |
SYNASC |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Chuanliang Xia |
Analysis of Properties of Petri Synthesis Net. |
TAMC |
2006 |
DBLP DOI BibTeX RDF |
liveness and boundedness, Petri nets, synthesis, analysis |
31 | Haoxing Ren, David Zhigang Pan, David S. Kung 0001 |
Sensitivity guided net weighting for placement-driven synthesis. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Chung-Kai Chen, Yu-Hao Chang, Cheng-Wei Chen, Yu-Tin Chen, Chih-Chieh Yang, Jenq Kuen Lee |
Efficient Switching Supports of Distributed .NET Remoting with Network Processors. |
ICPP |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Lawrence Cabac, Daniel Moldt, Heiko Rölke |
A Proposal for Structuring Petri Net-Based Agent Interaction Protocols. |
ICATPN |
2003 |
DBLP DOI BibTeX RDF |
agents, high-level Petri nets, Renew, AUML, reference nets, Mulan, agent interaction protocols |
31 | Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Paolo Baldan, Reiko Heckel |
High-Level Net Processes. |
Formal and Natural Computing |
2002 |
DBLP DOI BibTeX RDF |
|
31 | Márcio Eduardo Delamaro, Gian Pietro Picco |
Mobile Code in .NET: A Porting Experience. |
Mobile Agents |
2002 |
DBLP DOI BibTeX RDF |
|
31 | Jun Shen 0001, Yun Yang 0001, Junzhou Luo |
A Petri Net Model for Session Services. |
EDCIS |
2002 |
DBLP DOI BibTeX RDF |
modeling, Petri nets, protocols, Computer networks, protocol engineering |
31 | Haiping Xu, Sol M. Shatz |
An Agent-Based Petri Net Model with Application to Seller/Buyer Design in Electronic Commerce. |
ISADS |
2001 |
DBLP DOI BibTeX RDF |
|
31 | Trong Wu, Shu-chiung Huang |
A Timed Petri Net Interpreter: An Alternative Method for Simulation. |
Rough Sets and Current Trends in Computing |
2000 |
DBLP DOI BibTeX RDF |
|
31 | Giorgio De Michelis |
Net Theory and Workflow Models (abstract). |
ICATPN |
1999 |
DBLP DOI BibTeX RDF |
|
31 | Christoforos N. Hadjicostis, George C. Verghese |
Monitoring Discrete Event Systems Using Petri Net Embeddings. |
ICATPN |
1999 |
DBLP DOI BibTeX RDF |
|
31 | Shiuann-Shiuh Lin, Yuh-Ju Lin, TingTing Hwang |
Net assignment for the FPGA-based logic emulation system in the folded-Clos network structure. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1997 |
DBLP DOI BibTeX RDF |
|
31 | Jason Cong, Wilburt Labio, Narayanan Shivakumar |
Multiway VLSI circuit partitioning based on dual net representation. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1996 |
DBLP DOI BibTeX RDF |
|
31 | Tadao Murata, Du Zhang |
A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
AND/OR parallelisms, deduction process, Horn clause logic programs, Petri nets, logic programming, communicating processes, fixpoint semantics, predicate/transition nets, relational operations |
31 | Julia Padberg, Milan Urbásek |
Rule-Based Refinement of Petri Nets: A Survey. |
Petri Net Technology for Communication-Based Systems |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Maciej Koutny, Marta Pietkiewicz-Koutny |
Synthesis of Elementary Net Systems with Context Arcs and Localities. |
ICATPN |
2007 |
DBLP DOI BibTeX RDF |
theory of concurrency, net synthesis, step sequence semantics, inhibitor arcs, activator arcs, context arcs, Petri nets, localities, transition systems, structure and behaviour of nets, elementary net systems, theory of regions |
30 | Liang Jin, Gandi Xie, CaiXing Lin |
Engineering Testing Process Management System Based On .Net Framework. |
PROLAMAT |
2006 |
DBLP DOI BibTeX RDF |
Engineering Test Process Management, .NET architecture, ASP.NET |
30 | Xiaoning Feng, Qun Liu, Zhuo Wang 0008 |
AUV Modeling and Analysis using a Colored Object-Oriented Petri Net. |
IMSCCS (2) |
2006 |
DBLP DOI BibTeX RDF |
Colored Object-Oriented Petri Net (COOPN), Colored Petri Net Modeling Language (CPN ML), substitution transition, reachable tree |
30 | James Lapalme, El Mostapha Aboulhamid, Gabriela Nicolescu, Luc Charest, François R. Boyer, J. P. David, Guy Bois |
ESys.Net: a new solution for embedded systems modeling and simulation. |
LCTES |
2004 |
DBLP DOI BibTeX RDF |
CIL, ESys.Net, attribute programming, component-based programming, simulation, Java, modeling, embedded systems, C++, framework, system on chip, VHDL, SystemC, hardware/software codesign, C#, Net, Verilog, HDLs, SystemVerilog |
30 | Wai-Kei Mak, D. F. Wong 0001 |
Board-level multi-terminal net routing for FPGA-based logic emulation. |
ICCAD |
1995 |
DBLP DOI BibTeX RDF |
board-level routing, bounded-degree hypergraph-to-graph transformation, logic emulation systems, multi-terminal net decomposition net, FPGA |
30 | Charles André |
Delays in synchronized elementary net systems. |
Applications and Theory of Petri Nets |
1990 |
DBLP DOI BibTeX RDF |
Synchronized Elementary Net Systems, Delay, Process, Time Petri nets, POset, Elementary Net Systems, Dioid |
30 | Peter J. Haas, Gerald S. Shedler |
Stochastic Petri Net Representation of Discrete Event Simulations. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
transition firings, timed transitions, Petri net simulation, countable state GSMP, generalized semi-Markov process, simulation, formal specification, Petri nets, discrete event simulation, Markov processes, stochastic Petri net |
30 | Hang Wu |
Pure object-based domain model for enterprise systems. |
ACM Southeast Regional Conference (2) |
2005 |
DBLP DOI BibTeX RDF |
NEO, Net-PI, architecture, domain model, layer, dataset |
30 | Joon S. Park, Harish S. Krishnan |
Trusted Identity and Session Management Using Secure Cookies. |
DBSec |
2005 |
DBLP DOI BibTeX RDF |
.NET Passport, Identity Management, Cookies |
30 | Jamal Abd-Ali, Karim El Guemhioui |
Horizontal Transformation of PSMs. |
ECMDA-FA |
2005 |
DBLP DOI BibTeX RDF |
Horizontal Trans-formation, EJB to.NET, MDA, Model Transformation, Metamodeling, MDE |
30 | Mohammed Elkoutbi, Rudolf K. Keller |
User Interface Prototyping Based on UML Scenarios and High-Level Petri Nets. |
ICATPN |
2000 |
DBLP DOI BibTeX RDF |
scenario specification, Unified Modeling Language, high-level Petri net, User interface prototyping |
30 | Wolfram Sperber |
Math-Net International and the Math-Net Page. |
Electronic Information and Communication in Mathematics |
2002 |
DBLP DOI BibTeX RDF |
|
29 | Ayumu Saito, Masao Nagasaki, Hiroshi Matsuno, Satoru Miyano |
Hybrid Functional Petri Net with Extension for Dynamic Pathway Modeling. |
Modeling in Systems Biology, The Petri Net Approach |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Wilfried Brauer (eds.) |
Net Theory and Applications, Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, Germany, October 8-19, 1979 |
Advanced Course: Net Theory and Applications |
1980 |
DBLP DOI BibTeX RDF |
|
29 | Jerre D. Noe |
Nets in Modeling and Simulation. |
Advanced Course: Net Theory and Applications |
1979 |
DBLP DOI BibTeX RDF |
|
29 | Konrad Zuse |
Petri-Nets from the Engineer's Viewpoint. |
Advanced Course: Net Theory and Applications |
1979 |
DBLP DOI BibTeX RDF |
|
29 | Charles André, M. Diaz, Claude Girault, Joseph Sifakis |
Survey of French Research and Applications Based on Petri Nets. |
Advanced Course: Net Theory and Applications |
1979 |
DBLP DOI BibTeX RDF |
|
29 | Eike Best |
The Relative Strength of K-Density. |
Advanced Course: Net Theory and Applications |
1979 |
DBLP DOI BibTeX RDF |
|
29 | C. A. Petri 0001 |
Concurrency. |
Advanced Course: Net Theory and Applications |
1979 |
DBLP DOI BibTeX RDF |
|
29 | Matthias Jantzen |
Structured Representation of Knowledge by Petri Nets as an Aid for Teaching and Research. |
Advanced Course: Net Theory and Applications |
1979 |
DBLP DOI BibTeX RDF |
|
29 | Matthias Jantzen, Rüdiger Valk |
Formal Properties of Place/Transition Nets. |
Advanced Course: Net Theory and Applications |
1979 |
DBLP DOI BibTeX RDF |
|
29 | Joseph Sifakis |
Performance Evaluation of Systems Using Nets. |
Advanced Course: Net Theory and Applications |
1979 |
DBLP DOI BibTeX RDF |
|
29 | Horst Oberquelle |
Nets as a Tool in Teaching and in Terminology Work. |
Advanced Course: Net Theory and Applications |
1979 |
DBLP DOI BibTeX RDF |
|
29 | Eike Best |
Atomicity of Activities. |
Advanced Course: Net Theory and Applications |
1979 |
DBLP DOI BibTeX RDF |
|
29 | Eike Best |
Adequacy of Path Programs. |
Advanced Course: Net Theory and Applications |
1979 |
DBLP DOI BibTeX RDF |
|
29 | Gérard Berthelot, Gérard Roucairol, Rüdiger Valk |
Reductions of Nets and Parallel Prgrams. |
Advanced Course: Net Theory and Applications |
1979 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 22118 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|