Search results for "NET"

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