The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase G-net (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1958-1971 (18) 1972-1976 (17) 1977-1978 (15) 1979 (29) 1980-1981 (31) 1982 (19) 1983 (20) 1984 (19) 1985 (44) 1986 (44) 1987 (59) 1988 (95) 1989 (113) 1990 (153) 1991 (130) 1992 (166) 1993 (169) 1994 (164) 1995 (223) 1996 (203) 1997 (249) 1998 (255) 1999 (324) 2000 (339) 2001 (470) 2002 (484) 2003 (635) 2004 (725) 2005 (813) 2006 (783) 2007 (877) 2008 (862) 2009 (622) 2010 (373) 2011 (351) 2012 (318) 2013 (322) 2014 (321) 2015 (318) 2016 (381) 2017 (385) 2018 (744) 2019 (1152) 2020 (1473) 2021 (1746) 2022 (2140) 2023 (2302) 2024 (623)
Publication types (Num. hits)
article(9771) book(93) data(5) incollection(91) inproceedings(12052) phdthesis(72) proceedings(34)
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
23Schahram Dustdar, Stephan Haslinger Testing of Service-Oriented Architectures - A Practical Approach. Search on Bibsonomy Net.ObjectDays The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Web services, Service-Oriented Architecture, Automatic Testing
23Ander Altuna, Alvaro Cabrerizo, Iñaki Laresgoiti, Nieves Peña, Daniel Sastre Co-operative and Distributed Configuration. Search on Bibsonomy Net.ObjectDays The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Collaborative Configuration, Multi-component Configuration, Services Composition, Configuration, Semantic Web Technologies
23Kai Blankenhorn, Mario Jeckle A UML Profile for GUI Layout. Search on Bibsonomy Net.ObjectDays The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
23Michael Haupt, Mira Mezini Micro-measurements for Dynamic Aspect-Oriented Systems. Search on Bibsonomy Net.ObjectDays The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
23Matthias Jöst, Matthias Merdes, Rainer Malaka Listening to Agents - Transparent Representation and Presentation of Agent Communication in Mobile Systems. Search on Bibsonomy Net.ObjectDays The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
23Dominique Gaïti, Guy Pujolle (eds.) Network Control and Engineering for QoS, Security and Mobility II, IFIP TC6 / WG6.2 & WG6.7 Conference on Network Control and Engineering for QoS (Net-Con 2003), October 13-15, 2003, Muscat, Oman Search on Bibsonomy Net-Con The full citation details ... 2003 DBLP  BibTeX  RDF
23Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, Herbert Weber (eds.) Petri Net Technology for Communication-Based Systems - Advances in Petri Nets Search on Bibsonomy Petri Net Technology for Communication-Based Systems The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
23Ashraf S. H. Mahmoud, David D. Falconer, Samy A. Mahmoud Buffer Occupancy Analysis for a Broadband Polling-Based WLAN. Search on Bibsonomy Net-Con The full citation details ... 2003 DBLP  BibTeX  RDF
23Hakima Chaouchi Policy Based Handover in Wireless and Mobile Networks. Search on Bibsonomy Net-Con The full citation details ... 2003 DBLP  BibTeX  RDF
23Stavros Vrontis, Irene Sygkouna, Maria Chantzara, Efstathios D. Sykas Enabling Distributed QoS Management Utilizing Active Network Technology. Search on Bibsonomy Net-Con The full citation details ... 2003 DBLP  BibTeX  RDF
23Villy Bæk Iversen, Eustachio Epifania Teletraffic Engineering of Multi-Band W-CDMA Systems. Search on Bibsonomy Net-Con The full citation details ... 2003 DBLP  BibTeX  RDF
23Ibrahim Hajjeh, Ahmed Serhrouchni, Frédérique Tastet New Key Management Protocol for SSL/TLS. Search on Bibsonomy Net-Con The full citation details ... 2003 DBLP  BibTeX  RDF
23Rui Costa Cardoso, Mário M. Freire Management of Security in TCP/IP Hosts Using Dedicated Monitoring Applications. Search on Bibsonomy Net-Con The full citation details ... 2003 DBLP  BibTeX  RDF
23Nathalie Rico, Omar Cherkaoui, Halima Elbiaze A Policy Management Framework for GMPLS Optical Networks. Search on Bibsonomy Net-Con The full citation details ... 2003 DBLP  BibTeX  RDF
23Ali Allahverdi, Fawaz S. Al-Anzi Scheduling Requests on Multi-Stage Multi-Server to Increase Quality of Service. Search on Bibsonomy Net-Con The full citation details ... 2003 DBLP  BibTeX  RDF
23Mahmoud Méribout, Masato Motomura A New Hardware Algorithm for Fast IP Routing Targeting Programmable Routers. Search on Bibsonomy Net-Con The full citation details ... 2003 DBLP  BibTeX  RDF
23Ahmed M. Al-Naamany, Hadj Bourdoucen Fuzzy-Logic-Based TCP Congestion Control System. Search on Bibsonomy Net-Con The full citation details ... 2003 DBLP  BibTeX  RDF
23Adlen Ksentini, Abdelhak Mourad Guéroui, Mohamed Naimi Adaptive AIFS in Wireless LAN. Search on Bibsonomy Net-Con The full citation details ... 2003 DBLP  BibTeX  RDF
23Abderrahim Benslimane, Omar Moussaoui A Scalable Multicast Protocol with QoS Guaranties. Search on Bibsonomy Net-Con The full citation details ... 2003 DBLP  BibTeX  RDF
23Nada Meskaoui, Leïla Merghem, Dominique Gaïti, Karim Y. Kabalan Diffserv Network Control Using a Behavioral Mutli-Agent System. Search on Bibsonomy Net-Con The full citation details ... 2003 DBLP  BibTeX  RDF
23Mesut Günes, Otto Spaniol Ant-Routing-Algorithm for Mobile Multi-Hop Ad-Hoc Networks. Search on Bibsonomy Net-Con The full citation details ... 2003 DBLP  BibTeX  RDF
23Issam Aib, Nazim Agoulmine, Mauro Fonseca, Guy Pujolle Analysis of Policy Management Models and Specification Languages. Search on Bibsonomy Net-Con The full citation details ... 2003 DBLP  BibTeX  RDF
23Nadjib Achir, Guy Pujolle Multi-Object Video Rate Control. Search on Bibsonomy Net-Con The full citation details ... 2003 DBLP  BibTeX  RDF
23Michel Du-Pond, Olivier Audouin, Bela Berde, Belkacem Daheb, Wissam Fawaz, Guy Pujolle, Martin Vigoureux Service Level Agreement in Optical Networks. Search on Bibsonomy Net-Con The full citation details ... 2003 DBLP  BibTeX  RDF
23Habib Bakour, Nadia Boukhatem Resource Management in ASMA Platform. Search on Bibsonomy Net-Con The full citation details ... 2003 DBLP  BibTeX  RDF
23Zohair Chentouf, Ahmed Khoumsi, Soumaya Cherkaoui Conceptual Foundations of User Preference Modeling. Search on Bibsonomy Net-Con The full citation details ... 2003 DBLP  BibTeX  RDF
23Mazen Malek Shiaa Mobility Support Framework in Adaptable Service Architecture. Search on Bibsonomy Net-Con The full citation details ... 2003 DBLP  BibTeX  RDF
23Reiko Heckel Open Petri Nets as Semantic Model for Workflow Integration. Search on Bibsonomy Petri Net Technology for Communication-Based Systems The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
23Eckehard Schnieder, Mourad Chouikha, Stefan Einer, Michael Meyer zu Hörste BASYSNET - An Integrated Approach for Automated Control System Development. Search on Bibsonomy Petri Net Technology for Communication-Based Systems The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
23Jetty Kleijn Team Automata for CSCW - A Survey. Search on Bibsonomy Petri Net Technology for Communication-Based Systems The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
23Kirsten Lenz, Andreas Oberweis Inter-organizational Business Process Management with XML Nets. Search on Bibsonomy Petri Net Technology for Communication-Based Systems The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
23Paul W. P. J. Grefen, Samuil Angelov Three-Level Process Specification for Dynamic Service Outsourcing: From Petri Nets to ebXML and WFPDL. Search on Bibsonomy Petri Net Technology for Communication-Based Systems The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
23Jörg Desel, Thomas Erwin Quantitative Engineering of Business Processes with VIP business. Search on Bibsonomy Petri Net Technology for Communication-Based Systems The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
23Wil M. P. van der Aalst Inheritance of Business Processes: A Journey Visiting Four Notorious Problems. Search on Bibsonomy Petri Net Technology for Communication-Based Systems The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
23Dominique Gaïti, Nadia Boukhatem (eds.) Network Control and Engineering for QoS, Security and Mobility, IFIP TC6 / WG6.2 & WG6.7 Conference on Network Control and Engineering for QoS (net-Con 2002), October 23-25, 2002, Paris, France Search on Bibsonomy Net-Con The full citation details ... 2002 DBLP  BibTeX  RDF
23Rim Hammi, Prométhée Spathis, Dany Zebiane, Ken Chen, Ahmed Serhrouchni, Kim Loan Thai Deployment and Experimentation of an active network at a: large scale: AMARRAGE. Search on Bibsonomy Net-Con The full citation details ... 2002 DBLP  BibTeX  RDF
23Franco Tommasi, Simone Molendini, Andrea Tricco Improvement of performance in MPLS domains by using caching and aggregation of CR-LSP. Search on Bibsonomy Net-Con The full citation details ... 2002 DBLP  BibTeX  RDF
23Shushan Wen, Hairong Sun, Lemin Li Allocating bandwidth using fair random indication with discarding aggressiveness yardstick (friday). Search on Bibsonomy Net-Con The full citation details ... 2002 DBLP  BibTeX  RDF
23Ahmed Serhrouchni, Adil Andaloussi, Abdel Obaid A solution for improving TCP performance over wireless links. Search on Bibsonomy Net-Con The full citation details ... 2002 DBLP  BibTeX  RDF
23Hamid Syed Mahmood, Louis-Nicolas Hamer A distributed policy approach in support of multimedia session establishment. Search on Bibsonomy Net-Con The full citation details ... 2002 DBLP  BibTeX  RDF
23Pertti Raatikainen, Olli Martikainen, Valeriy Naumov Media switch for multimedia services. Search on Bibsonomy Net-Con The full citation details ... 2002 DBLP  BibTeX  RDF
23Adenauer C. Yamin, Iara Augustin, Jorge L. V. Barbosa, Cláudio F. R. Geyer ISAM: a pervasive view in distributed mobile computing. Search on Bibsonomy Net-Con The full citation details ... 2002 DBLP  BibTeX  RDF
23Leïla Merghem, Hugues Lecarpentier Agents: a solution for telecommunication network simulation. Search on Bibsonomy Net-Con The full citation details ... 2002 DBLP  BibTeX  RDF
23Karima Boudaoud, Charles McCathieNevile Policy-driven model for security management. Search on Bibsonomy Net-Con The full citation details ... 2002 DBLP  BibTeX  RDF
23David Chieng, Alan Marshall 0001 A policy-based bandwidth resource provisioning architecture. Search on Bibsonomy Net-Con The full citation details ... 2002 DBLP  BibTeX  RDF
23David Durham, Priya Rajagopal, John B. Vicente Building intelligent traffic engineering solutions. Search on Bibsonomy Net-Con The full citation details ... 2002 DBLP  BibTeX  RDF
23Fabien Michaut, Francis Lepage A tool to monitor the network quality of service. Search on Bibsonomy Net-Con The full citation details ... 2002 DBLP  BibTeX  RDF
23Antonio Capone, Luigi Fratta, Fabio Martignon Enhanced bandwidth estimation algorithms in the TCP congestion control scheme. Search on Bibsonomy Net-Con The full citation details ... 2002 DBLP  BibTeX  RDF
23Thi Mai Trang Nguyen, Nadia Boukhatem Policy-based service level negotitation with COPS-SLS. Search on Bibsonomy Net-Con The full citation details ... 2002 DBLP  BibTeX  RDF
23Giuseppe Bianchi 0001, Vincenzo Mancuso, Paolo Di Francesco An API for advanced traffic control in diffserv routers. Search on Bibsonomy Net-Con The full citation details ... 2002 DBLP  BibTeX  RDF
23Giuseppe Bianchi 0001, Valentina Capaccio, Nicola Blefari-Melazzi Per-flow signalling extension across diffserv domains. Search on Bibsonomy Net-Con The full citation details ... 2002 DBLP  BibTeX  RDF
23Chao-Chin Chou, Nen-Fu Huang, Chao-Ping Yu, Li-Hsing Huang The design and implementation of policy-based bandwidth billing system. Search on Bibsonomy Net-Con The full citation details ... 2002 DBLP  BibTeX  RDF
23Radu State, Guillaume Vivier Policy based management of wireless networks. Search on Bibsonomy Net-Con The full citation details ... 2002 DBLP  BibTeX  RDF
23Alia Fourati, Hella Kaffel Ben Ayed, Farouk Kamoun, Abdelmalek Benzekri Wireless set: an approach for the deployment of set over WAP mobile networks. Search on Bibsonomy Net-Con The full citation details ... 2002 DBLP  BibTeX  RDF
23Ram Gopal L., Man Li Policy based access router selections and context transfers in mobile IP networks. Search on Bibsonomy Net-Con The full citation details ... 2002 DBLP  BibTeX  RDF
23Maria Kihl, Niklas Widell Admission control schemes guaranteeing customer QOS in commercial web sites. Search on Bibsonomy Net-Con The full citation details ... 2002 DBLP  BibTeX  RDF
23Temitope Olukemi, Ioannis Liabotis, Ognjen Prnjat, Lionel Sacks Security and resource policy-based mangagement architecture for ALAN servers. Search on Bibsonomy Net-Con The full citation details ... 2002 DBLP  BibTeX  RDF
23Ka Lun Eddie Law, Achint Saxena Performance of a multi-tiered policy-based management system. Search on Bibsonomy Net-Con The full citation details ... 2002 DBLP  BibTeX  RDF
23Filipe Caldeira, Edmundo Monteiro A policy-based approach to firewall management. Search on Bibsonomy Net-Con The full citation details ... 2002 DBLP  BibTeX  RDF
23Giovanni Neglia, Giuseppe Bianchi 0001, Francesco Saitta, Dario Lombardo Adaptive low priority packet marking for better TCP performance. Search on Bibsonomy Net-Con The full citation details ... 2002 DBLP  BibTeX  RDF
23Ka Lun Eddie Law, Kason Wong Policy-based management with active networks. Search on Bibsonomy Net-Con The full citation details ... 2002 DBLP  BibTeX  RDF
23Joseane Farias Fidalgo, Djamel Fawzi Hadj Sadok, Judith Kelner, Robson do Nascimento Fidalgo A simple performance policy management environment. Search on Bibsonomy Net-Con The full citation details ... 2002 DBLP  BibTeX  RDF
23Yevgeni Koucheryavy, Dmitri Moltchanov, Jarmo Harju A novel two-step MPEG traffic modeling algorithm based on a GBAR process. Search on Bibsonomy Net-Con The full citation details ... 2002 DBLP  BibTeX  RDF
23Otto J. Wittner, Bjarne E. Helvik Robust Implementation of policies using ant-like agents. Search on Bibsonomy Net-Con The full citation details ... 2002 DBLP  BibTeX  RDF
23Hanine Abdelkrim, Noël Verhoeven Implementing a VPN service with policy rules. Search on Bibsonomy Net-Con The full citation details ... 2002 DBLP  BibTeX  RDF
23Marc Loutrel, Pascal Urien, Dominique Gaïti An EAP-BT smartcard for authentication in the next generation of wireless communications. Search on Bibsonomy Net-Con The full citation details ... 2002 DBLP  BibTeX  RDF
23Hakima Chaouchi A new policy-aware terminal. Search on Bibsonomy Net-Con The full citation details ... 2002 DBLP  BibTeX  RDF
23Wei Zhuang, Yung-Sze Gan, Qing Gao, Kok Jeng Loh, Kee Chaing Chua Multi-domain policy architecture for IP multimedia subsystem in UMTS. Search on Bibsonomy Net-Con The full citation details ... 2002 DBLP  BibTeX  RDF
23Song Dong, Chris I. Phillips 0001 Adaptive segment path restoration (ASPR) in MPLS networks. Search on Bibsonomy Net-Con The full citation details ... 2002 DBLP  BibTeX  RDF
23Kimmo Pulakka A dynamic control system for adjusting prices and quality of service in DS enabled networks. Search on Bibsonomy Net-Con The full citation details ... 2002 DBLP  BibTeX  RDF
23Hajer Tounsi Naouar, Farouk Kamoun Better early packet discard. Search on Bibsonomy Net-Con The full citation details ... 2002 DBLP  BibTeX  RDF
23Arnaud Gonguet, Olivier Poupel A policy information model for RFC2547-Like IP VPNs. Search on Bibsonomy Net-Con The full citation details ... 2002 DBLP  BibTeX  RDF
23Theodore Kotsilieris, Panatiotis Zikos, Efstathios Vlachos, Stelios Kalogeropoulos, Angelos Michalas, George T. Karetsos, Vassilis Loumos A prototype SNMP management framework for DiffServ Linux routers, its implementation and performance. Search on Bibsonomy Net-Con The full citation details ... 2002 DBLP  BibTeX  RDF
23Antonis Panagakis, Ioannis Stavrakakis Generalized processor sharing scheduling enhancement through session decomposition. Search on Bibsonomy Net-Con The full citation details ... 2002 DBLP  BibTeX  RDF
23Francine Krief, Zeina Jrad An intelligent policy-based networking environment for dynamic negotiation, provisioning and control of QoS. Search on Bibsonomy Net-Con The full citation details ... 2002 DBLP  BibTeX  RDF
23Valentina Casola, Antonino Mazzeo, Nicola Mazzocca, Valeria Vittorini Policy formalization to combine separate systems into larger connected network of trust. Search on Bibsonomy Net-Con The full citation details ... 2002 DBLP  BibTeX  RDF
23Toufik Ahmed, Raouf Boutaba, Ahmed Mehaoua On enhancing diffserv architecture by dynamic policy provisioning using network feedback. Search on Bibsonomy Net-Con The full citation details ... 2002 DBLP  BibTeX  RDF
22Jay Blanton, Steve Leski, Brian Nicks, Traian Tirzaman Making SOA work in a healthcare company. Search on Bibsonomy OOPSLA Companion The full citation details ... 2009 DBLP  DOI  BibTeX  RDF GSOAP, health net, SOA, services, healthcare, ESB
22Hejiao Huang, Hélène Kirchner Component-Based Security Policy Design with Colored Petri Nets. Search on Bibsonomy Semantics and Algebraic Specification The full citation details ... 2009 DBLP  DOI  BibTeX  RDF security policy, colored Petri net, specification and verification, property-preservation
22Victor Khomenko, Maciej Koutny Verification of bounded Petri nets using integer programming. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Net unfoldings, Partial order techniques, Verification, Petri nets, Integer programming
22Tung-Chieh Chen, Yi-Lin Chuang, Yao-Wen Chang X-architecture placement based on effective wire models. Search on Bibsonomy ISPD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF X architecture, partitioning, placement, physical design, Steiner tree, min cut, net weighting
22Ping Jiang 0005, Xinyu Shao, Liang Gao 0001, Zhenfeng Yang A Multi-agent System for Cross-Organizational Workflows Management Based on Process-View. Search on Bibsonomy International Conference on Computational Science (3) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Cross-organizational workflows management, Multi-agent system, Petri net, Mapping, Process-view
22Jungong Han, Peter H. N. de With 3-D Camera Modeling and Its Applications in Sports Broadcast Video Analysis. Search on Bibsonomy MCAM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Court-Net Detection, Sports Analysis, Application, Camera Calibration
22Carolyn L. Talcott, David L. Dill Multiple Representations of Biological Processes. Search on Bibsonomy Trans. Comp. Sys. Biology The full citation details ... 2006 DBLP  DOI  BibTeX  RDF biological process, Pathway Logic, Petri Net, Rewriting Logic, Signal transduction
22Mattia Monga, Angelo Scotto A generic serializer for mobile devices. Search on Bibsonomy SAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF mobile devices, NET, serialization
22Ray R. Hashemi, Joshua H. Early, Mahmood Bahar, Alexander A. Tyler, John F. Young A Signature-Based Liver Cancer Predictive System. Search on Bibsonomy ITCC (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Liver Cancer, Carcinogenic Potency Database, Self-organizing Map (SOM) and Hopfield Net, Predictive Systems
22Yongseok Cheon, Pei-Hsin Ho, Andrew B. Kahng, Sherief Reda, Qinke Wang Power-aware placement. Search on Bibsonomy DAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF net switching power, dynamic power, clock tree
22Vadim Bulitko, David C. Wilkins Machine Learning for Time Interval Petri Nets. Search on Bibsonomy Australian Conference on Artificial Intelligence The full citation details ... 2005 DBLP  DOI  BibTeX  RDF domain model learning, Petri net learning, spatial-temporal data series learning, automated damage control, real-time decision-making
22Haiping Xu, Sol M. Shatz ADK: An Agent Development Kit Based on a Formal Design Model for Multi-Agent Systems. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF agent-oriented G-net model, agent development kit (ADK), multi-agent system, intelligent agent, model-based development
22Wai Han Soo, Azman Samsudin, Alwyn Goh Efficient Mental Card Shuffling via Optimised Arbitrary-Sized Benes Permutation Network. Search on Bibsonomy ISC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF mental card game, Benes permutation network, Shuffle, mix-net
22Timothy K. Shih, Lawrence Y. Deng, Yi-Chun Liao, Chun-Hung Huang, Rong-Chi Chang Using the Floor Control Mechanism in Distributed Multimedia Presentation System. Search on Bibsonomy ICDCS Workshops The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Distributed Multimedia Presentation, Petri Net, Distance Learning, Floor Control
22Javier Campos, Susanna Donatelli, Manuel Silva Suárez Structured Solution of Asynchronously Communicating Stochastic Modules. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF performance analysis, Petri net models, Kronecker algebra, structural decomposition
22Harald Wabnig, Günter Haring, Dieter Kranzlmüller, Jens Volkert Communication Pattern Based Performance Prediction on the nCUBE 2 Multiprocessor System. Search on Bibsonomy CONPAR The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Petri Net Performance Models, Parallel Processing, Performance Prediction, Wormhole Routing, Communication Patterns
22Carlos A. Heuser, Gernot Richter Constructs for Modeling Information Systems with Petri Nets. Search on Bibsonomy Application and Theory of Petri Nets The full citation details ... 1992 DBLP  DOI  BibTeX  RDF side-condition, inhibitor arc, dead transition, information system, conceptual modeling, capacity, multiplicity, high-level Petri net
22Javier Campos, Giovanni Chiola, Manuel Silva Suárez Ergodicity and Throughput Bounds of Petri Nets with Unique Consistent Firing Count Vector. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF persistent nets, throughput bounds, unique consistent firing count vector, mono-T-semiflow net subclasses, incidence matrix, synchronized queuing networks, Petri nets, Petri nets, linear programming, linear programming, ergodicity, marked graphs
22Toshinori Suzuki, Sol M. Shatz, Tadao Murata A Protocol Modeling and Verification Approach Based on a Specification Language and Petri Nets. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF conversion rules, automated modeling, input/output behavior, linguistic specifications, LAPD protocol, verification, Petri nets, Petri nets, protocols, program verification, specification language, specification languages, communication protocols, timed Petri net
22Robert Valette, Babou Bako Software Implementation of Petri nets and compilation of rule-based systems. Search on Bibsonomy Applications and Theory of Petri Nets The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Petri net Implementation, Comparison with rule-based approach, high-level Petri nets
22Zheng Rong Yang Single-Layer Neural Net Competes with Multi-layer Neural Net. Search on Bibsonomy IDEAL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF multi-layer feed-forward, sigmoid function, neural networks
22Richard A. Kilgore Object-oriented simulation with SML and Silk in Java and .Net: object-oriented simulation with SML and silk in .Net and Java. Search on Bibsonomy WSC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
21Ermeson Carneiro de Andrade, Paulo Romero Martins Maciel, Gustavo Rau de Almeida Callou, Bruno Costa e Silva Nogueira, Carlos Araújo Mapping UML sequence diagram to time petri net for requirement validation of embedded real-time systems with energy constraints. Search on Bibsonomy SAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF UML, embedded systems, time petri net, requirement validation
Displaying result #801 - #900 of 22118 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][12][13][14][15][16][17][18][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license