|
|
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 |
26 | Glenn S. Wasson, Norm Beekwilder, Mark M. Morgan, Marty Humphrey |
OGSI.NET: OGSI-compliance on the .NET framework. |
CCGRID |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Henricus M. W. (Eric) Verbeek, A. Johannes Pretorius, Wil M. P. van der Aalst, Jarke J. van Wijk |
Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization. |
Trans. Petri Nets Other Model. Concurr. |
2008 |
DBLP DOI BibTeX RDF |
Petri-net synthesis, visualization, attributes, state spaces |
25 | Meisheng Wang, Qingshan Li, Chenguang Zhao, Yingqiang Wang |
A Contract Net Model Based on Agent Active Perception. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
Contract Net Model, Agent Active Perception, perception coefficient, the degree of credibility, system integration |
25 | Wayne Kelly, K. John Gough |
Ruby.NET: a Ruby compiler for the common language infrastructure. |
ACSC |
2008 |
DBLP BibTeX RDF |
NET and compilers, CLI, Ruby, dynamic languages |
25 | Jonathan Billington, Amar Kumar Gupta, Guy Edward Gallasch |
Modelling and Analysing the Contract Net Protocol - Extension Using Coloured Petri Nets. |
FORTE |
2008 |
DBLP DOI BibTeX RDF |
Verification, extension, Coloured Petri Nets, Contract Net Protocol |
25 | Dong-Her Shih, Hsiu-Sen Chiang, Binshan Lin |
A Generalized Associative Petri Net for Reasoning. |
IEEE Trans. Knowl. Data Eng. |
2007 |
DBLP DOI BibTeX RDF |
Data mining, Ontology, Petri net, Association rule, Reasoning |
25 | Simon Hardy, Pierre N. Robillard |
Visualization of the simulation data of biochemical network models: a painted Petri net approach. |
SCSC |
2007 |
DBLP BibTeX RDF |
biochemical modeling, quantitative studies, visualization, petri net, invariants |
25 | Peng Men, Zhenhua Duan, Bin Yu |
Utilizing Fuzzy Petri Net for Choreography Based Semantic Web Services Discovery. |
ICATPN |
2007 |
DBLP DOI BibTeX RDF |
ontology, semantic web services, matchmaking, fuzzy petri net |
25 | Yan Zhang, Yong Liang 0006, Chengming Zhang 0005, Qiulan Wu, Pingju Ge |
Construction of Agricultural Products Logistics Information System Based on .Net and Wap. |
CCTA |
2007 |
DBLP DOI BibTeX RDF |
Agricultural Product Logistics, WAP, .NET |
25 | Yubin Zhong |
The Design and Research of Controller in Fuzzy PETRI NET. |
ICFIE |
2007 |
DBLP DOI BibTeX RDF |
Place invariant, Dead lock Phenomenon, Optimize, Controller, Fuzzy PETRI NET |
25 | Pablo Castro, Sergey Melnik 0001, Atul Adya |
ADO.NET entity framework: raising the level of abstraction in data programming. |
SIGMOD Conference |
2007 |
DBLP DOI BibTeX RDF |
ADO.NET, data programming, conceptual modeling |
25 | Hong-Zhong Huang, Ping Wang, Ming Jian Zuo, Weidong Wu, Chunsheng Liu |
A fuzzy set based solution method for multiobjective optimal design problem of mechanical and structural systems using functional-link net. |
Neural Comput. Appl. |
2006 |
DBLP DOI BibTeX RDF |
Functional-link net, Neural network, Fuzzy sets, Multiobjective optimization, Membership function |
25 | Cristina Videira Lopes, Sushil Krishna Bajracharya |
Assessing Aspect Modularizations Using Design Structure Matrix and Net Option Value. |
T. Aspect-Oriented Software Development |
2006 |
DBLP DOI BibTeX RDF |
Aspect-oriented programming and design, design space matrix, net option value, modularity |
25 | Jianghui Ying |
An approach to Petri net based formal modeling of user interactions from X3D content. |
Web3D |
2006 |
DBLP DOI BibTeX RDF |
formal methods, Petri net, X3D |
25 | Tan Yan, Hiroshi Murata |
Fast wire length estimation by net bundling for block placement. |
ICCAD |
2006 |
DBLP DOI BibTeX RDF |
net bundling, wire length estimation, lookup table |
25 | Yundong Cai, Chunyan Miao, Ah-Hwee Tan, Zhiqi Shen 0001 |
Fuzzy cognitive goal net for interactive storytelling plot design. |
Advances in Computer Entertainment Technology |
2006 |
DBLP DOI BibTeX RDF |
goal net, story planning, generation, interactive storytelling, fuzzy cognitive maps (FCMs), formation, AI planning, situated learning, plan execution |
25 | Licheng Ren, Shenglin Shi |
Game and equilibria for co-opetition based on Value Net. |
ICEC |
2005 |
DBLP DOI BibTeX RDF |
co-opetition, introduction, value net, game theory |
25 | Xueguang Chen, Haigang Song |
Further extensions of FIPA Contract Net Protocol: threshold plus DoA. |
SAC |
2004 |
DBLP DOI BibTeX RDF |
CNCP, MEU, Multi-Agent System, threshold, deadline, Contract Net Protocol, DoA |
25 | Yueh-Min Huang, Juei-Nan Chen, Shu-Chen Cheng, William C. Chu |
Agent-BasedWeb Learning System Applying Dynamic Fuzzy Petri Net. |
ICWL |
2004 |
DBLP DOI BibTeX RDF |
Dynamic Fuzzy Petri Net, Agent, E-Learning |
25 | Jeffrey W. Humphries, Martin C. Carlisle, Terry A. Wilson |
Multilanguage programming with ada in the .Net environment. |
SIGAda |
2003 |
DBLP DOI BibTeX RDF |
A#, microsoft .NET environment, multilanguage programming, Ada 95 |
25 | Soon Myoung Chung, Anil L. Pereira |
Timed Petri Net Representation of the Synchronized Multimedia Integration Language (SMIL) of XML. |
ITCC |
2003 |
DBLP DOI BibTeX RDF |
Synchronized Multimedia Integration Language (SMIL), Timed Petri Net (TPN), synchronization of multimedia streams, graphical representation |
25 | Sung-Woo Hur, Tung Cao, Karthik Rajagopal, Yegna Parasuram, Amit Chowdhary, Vladimir Tiourin, Bill Halpin |
Force directed mongrel with physical net constraints. |
DAC |
2003 |
DBLP DOI BibTeX RDF |
mongrel, net constraints, timing driven placement, force directed placement |
25 | Martin C. Carlisle, Ricky E. Sward, Jeffrey W. Humphries |
Weaving Ada 95 into the .net environment. |
SIGAda |
2002 |
DBLP DOI BibTeX RDF |
Microsoft .Net environment, common language runtime, Ada 95, just-in-time compiling |
25 | Karine Arnout, Bertrand Meyer 0001 |
Finding Implicit Contracts in .NET Components. |
FMCO |
2002 |
DBLP DOI BibTeX RDF |
Design by ContractTM, Library design, Implicit contracts, Contract Wizard, Metadata, Reuse, Eiffel, .NET |
25 | Shengyuan Wang, Jian Yu, Chongyi Yuan |
A Net-Based Multi-tier Behavior Inheritance Modelling Method. |
Ershov Memorial Conference |
2001 |
DBLP DOI BibTeX RDF |
Behavior Inheritance, Petri Net, Concurrency, Object Orientation, Modelling Method |
25 | Garimella Uma, Tolety Siva Perraju |
Services on the Net: An Agent Based Approach. |
DEXA Workshops |
2000 |
DBLP DOI BibTeX RDF |
personalized customer service, communication languages, adaptive negotiation protocols, customized financial service, conference management workflow, market-oriented approach, social reasoning model, contract net approach, quality of service, Internet, Internet, negotiation, businesses, vocabulary, service providers, agent-based approach, task sharing |
25 | Hans Fleischhack, Bernd Grahlmann |
A Compositional Petri Net Semantics for SDL. |
ICATPN |
1998 |
DBLP DOI BibTeX RDF |
ARQ protocol, Petri Net Semantics, Concurrency, SDL, Compositionality, Procedures, Infinity, Dynamic Processes |
25 | Masayuki Abe |
Universally Verifiable Mix-net with Verification Work Indendent of the Number of Mix-servers. |
EUROCRYPT |
1998 |
DBLP DOI BibTeX RDF |
Universal Verifiability, Electronic Voting, Mix-net |
25 | Fei-Yue Wang 0001, Michael Mittmann, George N. Saridis |
Coordination specification for CIRSSE robotic platform system using Petri net transducers. |
J. Intell. Robotic Syst. |
1994 |
DBLP DOI BibTeX RDF |
Petri net transducer, coordination structure, intelligent machines, communication, command language |
25 | Carlo Ghezzi, Dino Mandrioli, Sandro Morasca, Mauro Pezzè |
A Unified High-Level Petri Net Formalism for Time-Critical Systems. |
IEEE Trans. Software Eng. |
1991 |
DBLP DOI BibTeX RDF |
environment relationship nets, time-critical systems, ER nets, time notation, specification support environment, formal specification, Petri nets, software tools, timing, high-level Petri net |
25 | Tadao Murata, Boris Shenker, Sol M. Shatz |
Detection of Ada Static Deadlocks Using Petri Net Invariants. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
Ada static deadlocks, Petri net invariants, Ada tasking programs, message-flow, computational complexity, complexities, Petri nets, Ada, concurrency control, program testing, system recovery, control-flow |
25 | Charles André |
Synchronized elementary net systems. |
European Workshop on Applications and Theory in Petri Nets |
1988 |
DBLP DOI BibTeX RDF |
Labelled POset, Synchronization, Process, Time Petri Nets, Elementary net systems |
25 | Surendra Nahar, Sartaj Sahni |
A time and space efficient net extractor. |
DAC |
1986 |
DBLP DOI BibTeX RDF |
net extraction, time and space complexity |
24 | Sameera Poduri, Sundeep Pattem, Bhaskar Krishnamachari, Gaurav S. Sukhatme |
Using Local Geometry for Tunable Topology Control in Sensor Networks. |
IEEE Trans. Mob. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Dorota Kuchta |
Optimization with Fuzzy Present Worth Analysis and Applications. |
Fuzzy Engineering Economics with Applications |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Mamoru Minami, Jingyu Gao, Yasushi Mae |
Chaos-driving Robotic Intelligence for Catching Fish. |
ICRA |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Robert Lorenz 0001, Robin Bergenthum, Jörg Desel, Sebastian Mauser |
Synthesis of Petri Nets from Finite Partial Languages. |
ACSD |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Zhijun Ding, Yaying Zhang, Changjun Jiang, Zhaohui Zhang |
Refinement of Petri Nets in Workflow Integration. |
CSCWD (Selected Papers) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Hironobu Takano, Hiroki Kobayashi, Kiyomi Nakamura |
Iris Recognition Independent of Rotation and Ambient Lighting Variations. |
IJCNN |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Kiyomi Nakamura, Hironobu Takano |
Rotation and Size Independent Face Recognition by the Spreading Associative Neural Network. |
IJCNN |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Marisa Llorens, Javier Oliver 0001 |
Structural and Dynamic Changes in Concurrent Systems: Reconfigurable Petri Nets. |
IEEE Trans. Computers |
2004 |
DBLP DOI BibTeX RDF |
|
24 | ZhiWu Li 0001, MengChu Zhou |
Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems. |
IEEE Trans. Syst. Man Cybern. Part A |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Hiroshi Matsuno, Sachie Fujita, Atsushi Doi, Masao Nagasaki, Satoru Miyano |
Towards Biopathway Modeling and Simulation. |
ICATPN |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Franz-Josef Rammig, Carsten Rust |
Modeling of Dynamically Modifiable Embedded Real-Time Systems. |
WORDS Fall |
2003 |
DBLP DOI BibTeX RDF |
Petri nets, autonomic computing, reconfigurable systems, embedded real-time systems |
24 | Piotr Ciskowski |
VC-Dimension of a Context-Dependent Perceptron. |
CONTEXT |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Kevin X. He, Michael D. Lemmon |
Liveness Verification of Discrete Event Systems Modeled by n -Safe Ordinary Petri Nets. |
ICATPN |
2000 |
DBLP DOI BibTeX RDF |
|
24 | Walter Vogler |
Concurrent Implementation of Asynchronous Transition Systems. |
ICATPN |
1999 |
DBLP DOI BibTeX RDF |
|
24 | Andreas Oberweis, Peter Sander |
Information System Behavior Specification by High-Level Petri Nets. |
ACM Trans. Inf. Syst. |
1996 |
DBLP DOI BibTeX RDF |
|
24 | Peter Vanbekbergen, Bill Lin 0001, Gert Goossens, Hugo De Man |
A generalized state assignment theory for transformations on signal transition graphs. |
J. VLSI Signal Process. |
1994 |
DBLP DOI BibTeX RDF |
|
24 | Donald L. Richards |
Efficient Exercising of Switching Elements in Nets of Identical Gates. |
J. ACM |
1973 |
DBLP DOI BibTeX RDF |
|
24 | Xin W. Chen, Shimon Y. Nof |
Error Detection and Prediction Algorithms: Application in Robotics. |
J. Intell. Robotic Syst. |
2007 |
DBLP DOI BibTeX RDF |
agent error detection, co-net error detection, co-net error prediction, error detection algorithm, error prediction algorithm, pick and place motion |
24 | Javier Campos, José Manuel Colom, Hauke Jungnitz, Manuel Silva Suárez |
Approximate Throughput Computation of Stochastic Marked Graphs. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
approximate throughput computation, stochastic marked graphs, stochastic strongly connected marked graphs, net decomposition, single input-single output cut, qualitative behavior, general decomposition technique, iterative response time approximation method, intractable systems, stochastic Petri net models, performance evaluation, Petri nets, error, stochastic processes, state space, iterative technique |
23 | Mattia Monga, Angelo Scotto |
A generic serializer for mobile devices. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
mobile devices, NET, serialization |
23 | Nazli Goharian, Saket S. R. Mengle |
Context aware query classification using dynamic query window and relationship net. |
SIGIR |
2010 |
DBLP DOI BibTeX RDF |
query classification |
23 | Feng Yu, Junzhou Luo, Wei Li 0017, La-Lin Jiang |
Formal Specification and Analysis of Intelligent Network Management System by Using Colored Petri Net. |
NAS |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Gonzalo Mejía, Carlos Montoya |
A Petri Net based algorithm for minimizing total tardiness in flexible manufacturing systems. |
Ann. Oper. Res. |
2008 |
DBLP DOI BibTeX RDF |
Scheduling, Petri Nets, Heuristic search, Flexible manufacturing systems, Beam search |
23 | Yen-Liang Chen, Ping-Yu Hsu 0001, Yuan-Bin Chang |
A Petri Net Approach to Support Resource Assignment in Project Management. |
IEEE Trans. Syst. Man Cybern. Part A |
2008 |
DBLP DOI BibTeX RDF |
|
23 | ZhiWu Li 0001, MengChu Zhou, MuDer Jeng |
A Maximally Permissive Deadlock Prevention Policy for FMS Based on Petri Net Siphon Control and the Theory of Regions. |
IEEE Trans Autom. Sci. Eng. |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Suan X. Ying |
Net-Enabled Applications for Commercial Aviation. |
ICWS |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Rubino Geiß, Moritz Kroll |
GrGen.NET: A Fast, Expressive, and General Purpose Graph Rewrite Tool. |
AGTIVE |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Katsumi Wasaki, Toshiaki Harai, Tamotsu Hayashi, Ken-ichi Arai |
Controller Design and Verification for A Pipeline Image Processor based on An Extended Petri net. |
DSD |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Guangsheng Zhang, Fuqiang Meng, Changjun Jiang, Jian Pang |
Using Petri Net to Reason with Rule and OWL. |
CIT |
2006 |
DBLP DOI BibTeX RDF |
SWRL rule, Ontology, Semantic Web, OWL, Reasoning, Predicate/Transition nets |
23 | Xianwen Fang, Yan Zhao, Zhixiang Yin |
The Study on Data Distribution Management Based on Petri Net. |
ICICIC (2) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Xinyu Shao, Ping Jiang 0005, Haobo Qiu, Liang Gao 0001 |
Workflow Modeling for Virtual Enterprise: a Petri Net Based Process-View Approach. |
CSCWD |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Guodong Zhou, Min Zhang 0005, Guohong Fu |
Building a Collocation Net. |
ICCPOL |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Deuk Kyu Kum, Soo Dong Kim |
A Systematic Method to Generate .NET Components from MDA/PSM for Pervasive Service. |
SERA |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Maciej Koutny, Marta Pietkiewicz-Koutny |
Transition Systems of Elementary Net Systems with Localities. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Lília de Sá Silva, Adriana Cristina Ferrari dos Santos, Antonio Montes, José Demísio Simões da Silva |
Hamming Net and LVQ Neural Networks for Classification of Computer Network Attacks: A Comparative Analysis. |
SBRN |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Gabriel Juhás, Robert Lorenz 0001, Jörg Desel |
Can I Execute My Scenario in Your Net?. |
ICATPN |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Wolfgang Reisig |
On the Expressive Power of Petri Net Schemata. |
ICATPN |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Konstantin Beznosov |
Experience Report: Design and Implementation of a Component-Based Protection Architecture for ASP.NET Web Services. |
CBSE |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Zhenhua Yu 0001, Yuanli Cai, Ruifeng Wang, Jiuqiang Han |
pi-Net ADL: An Architecture Description Language for Multi-agent Systems. |
ICIC (2) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Bing Liu 0005, Huaping Chen 0001 |
Web Service Composition and Analysis: A Petri-net Based Approach. |
SKG |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Yu-Liang Chi, Ming-Hung Tsai, Chih-Wei Lee |
A Petri-Net based Validator in Reliability of a Composite Service. |
EEE |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Ahmed Gomaa, Nabil R. Adam, Vijayalakshmi Atluri |
Color Time Petri Net for Interactive Adaptive Multimedia Objects. |
MMM |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Maciej Krawczak |
Generalized Net Models of MLNN Learning Algorithms. |
ICANN (2) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Rajeev Murgai |
Improved Layout-Driven Area-Constrained Timing Optimization by Net Buffering. |
VLSI Design |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Peep Küngas |
Petri Net Reachability Checking Is Polynomial with Optimal Abstraction Hierarchies. |
SARA |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Leslaw Gniewek, Jacek Kluska |
Hardware implementation of fuzzy Petri net as a controller. |
IEEE Trans. Syst. Man Cybern. Part B |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Alexander Norta |
Web Supported Enactment of Petri-Net Based Workflows with XRL/Flower. |
ICATPN |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Shinnosuke Yamaguchi, A. Nishino, Katsumi Wasaki, Yasunari Shidama |
The design verification for the 3DES encipher chip based on an extended Petri net and XML/Java executor. |
ICARCV |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Fei Xue, Da-Zhong Zheng |
Diagnosability for discrete event systems based on Petri net language. |
ICARCV |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Vasian Cepa, Mira Mezini |
Declaring and Enforcing Dependencies Between .NET Custom Attributes. |
GPCE |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Shouguang Wang, Senlin Zhang, Gangfeng Yan |
Synthesis of Petri net controller to enforce conjunction of GMEC using observer. |
SMC (2) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Ashok K. Murugavel, N. Ranganathan |
Petri net modeling of gate and interconnect delays for power estimation. |
IEEE Trans. Very Large Scale Integr. Syst. |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Mark Carson, Darrin Santay |
NIST Net: a Linux-based network emulation tool. |
Comput. Commun. Rev. |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Peter Bosch |
Process improvement: simulations on .Net using Highpoint's HighMASTTM simulation toolkit. |
WSC |
2003 |
DBLP DOI BibTeX RDF |
|
23 | João Paulo Barros, Luís Gomes 0001 |
Modifying Petri Net Models by Means of Crosscutting Operations. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Yukitaka Kusumura, Yoshinori Hijikata, Shogo Nishida |
Extracting Fixed Information from Miscellaneous Documents on Net Auction. |
AINA |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Éric Badouel, Benoît Caillaud, Philippe Darondeau |
Distributing Finite Automata Through Petri Net Synthesis. |
Formal Aspects Comput. |
2002 |
DBLP DOI BibTeX RDF |
General Petri nets, Distribution, Synthesis, Finite automata, Regions |
23 | Koichi Okada, Katsumi Wasaki, Yasunari Shidama |
The persistence of the Petri Net state-space. |
ICARCV |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Haoxun Chen, Hans-Michael Hanisch |
Analysis of Hybrid Systems Based on Hybrid Net Condition/Event System Model. |
Discret. Event Dyn. Syst. |
2001 |
DBLP DOI BibTeX RDF |
condition /event systems, state reachability analysis, Petri nets, hybrid systems, modular modeling |
23 | Amir H. Ajami, Massoud Pedram |
Post-layout timing-driven cell placement using an accurate net length model with movable Steiner points. |
ASP-DAC |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Javier Esparza, Claus Schröter |
Net Reductions for LTL Model-Checking. |
CHARME |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Amanda J. C. Sharkey, Gopinath Odayammadath Chandroth, Noel E. Sharkey |
A Multi-Net System for the Fault Diagnosis of a Diesel Engine. |
Neural Comput. Appl. |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Brian Field, Taieb Znati, Daniel Mossé |
VV-NET: A Versatile Network Architecture for Flexible Delay Guarantees in Real-Time Networks. |
IEEE Trans. Computers |
2000 |
DBLP DOI BibTeX RDF |
packet policing, channel admission control, real-time scheduling, Network architecture, QoS guarantees, integrated service |
23 | Jin-Cheon Na, Richard Furuta |
Context-Aware Digital Documents Described in a High-Level Petri Net-Based Hypermedia System. |
DDEP/PODDP |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Eduardo Tovar, Francisco Vasques, Alan Burns 0001 |
Adding local priority-based dispatching mechanisms to P-NET networks: a fixed priority approach. |
ECRTS |
1999 |
DBLP DOI BibTeX RDF |
|
23 | Renate Klempien-Hinrichs |
Net Refinement by Pullback Rewriting. |
FoSSaCS |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Carl K. Chang, Francis K. H. Quek, Lie Cai, Seongwoon Kim, Annie Kuntzmann-Combelles |
Research on Collaboration Net. |
FTDCS |
1997 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #400 of 22118 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|