Search results for "G-net"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Michael A. Kittel, Geoffrey T. LeBlond	ASP.NET cookbook - the ultimate ASP.NET code sourcebook: covers ASP.NET 1.1.		2004	RDF
20	Jesse Liberty	Programming C# - building .NET applications: updated for .NET 1.1 and Visual Studio .NET 2003 (3. ed.).		2003	RDF
20	Thuan L. Thai, Hoang Q. Lam	.NET framework essentials - introducing the .NET framework: updated for:NET 1.1 (3. ed.).		2003	RDF
20	Chris Payne	.NET Windows Forms in 21 Tagen - Oberflächen programmieren, ADO.NET, ActiveX, Multithreading, Web Services, die .NET-Klassenbibliothek.		2003	RDF
20	Yu-Ru Lin, Yun Chi, Shenghuo Zhu, Hari Sundaram, Belle L. Tseng	Analyzing communities and their evolutions in dynamic social networks.	ACM Trans. Knowl. Discov. Data	2009	DBLP DOI BibTeX RDF	community net, evolution net, soft membership, Community, evolution, nonnegative matrix factorization
20	Jialiang Wu, Eberhard Voit	Integrative biological systems modeling: challenges and opportunities.	Frontiers Comput. Sci. China	2009	DBLP DOI BibTeX RDF	biochemical systems theory, hybrid functional Petri net, toggle switch, canonical modeling, stochastic delay, Petri net, hybrid modeling
20	Marco Beccuti, Alessio Bottrighi, Giuliana Franceschinis, Stefania Montani, Paolo Terenziani	Modeling Clinical Guidelines through Petri Nets.	AIME	2009	DBLP DOI BibTeX RDF	Well-formed net, Petri net, clinical guidelines
20	Yu Huang 0004, Jieying Li, Haiqiang Dun, Hanpin Wang	Analyzing Service Composition Patterns in BPEL.	JCAI	2009	DBLP DOI BibTeX RDF	Synchro net, Petri net, BPEL, Web service composition
20	Djaouida Dahmani, Jean-Michel Ilié, Malika Boukala	Time Recursive Petri Nets.	Trans. Petri Nets Other Model. Concurr.	2008	DBLP DOI BibTeX RDF	recursive Petri net, threads, recursivity, time Petri net
20	Yu-Ru Lin, Yun Chi, Shenghuo Zhu, Hari Sundaram, Belle L. Tseng	Facetnet: a framework for analyzing communities and their evolutions in dynamic networks.	WWW	2008	DBLP DOI BibTeX RDF	community net, evolution net, soft membership, community, evolution, non-negative matrix factorization
20	José A. Bañares, Pedro R. Muro-Medrano, J. L. Villarroel	Taking Advantages of Temporal Redundancy in High Level Petri Nets Implementations.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF	Petri net implementation, Rule based systems, Matching algorithms, Higher-level net models
20	Giorgio De Michelis	Constraints and Extensions in a Calculus of EN Systems.	Applications and Theory of Petri Nets	1991	DBLP DOI BibTeX RDF	Elementary Transition Systems, Net Morphisms, unary operations on nets, Regions, Elementary Net Systems
19	Boudewijn F. van Dongen, Ana Karla Alves de Medeiros, L. Wen	Process Mining: Overview and Outlook of Petri Net Discovery Algorithms.	Trans. Petri Nets Other Model. Concurr.	2009	DBLP DOI BibTeX RDF
19	Qiuqin Lu, Guangqiu Huang	An Attack Model Based on Both-Branch Fuzzy Logic and Fuzzy Petri Net.	IAS	2009	DBLP DOI BibTeX RDF
19	Michael Köhler-Bußmeier	Hornets: Nets within Nets Combined with Net Algebra.	Petri Nets	2009	DBLP DOI BibTeX RDF
19	Jung-Hyun Kim 0006, Hyeong-Joon Kwon, Kwang-Seok Hong	WiBro Net.-Based Five Senses Multimedia Technology Using Mobile Mash-Up.	ICCSA (2)	2009	DBLP DOI BibTeX RDF
19	Takashi Hattori, Hiroshi Kawakami, Osamu Katai, Takayuki Shiose	Encoding Modalities into Extended Petri Net for Analyzing Discrete Event Business Process.	New Directions in Intelligent Interactive Multimedia	2008	DBLP DOI BibTeX RDF
19	Reggie Davidrajuh	Developing a New Petri Net Tool for Simulation of Discrete Event Systems.	Asia International Conference on Modelling and Simulation	2008	DBLP DOI BibTeX RDF	GPenSIM, XML, modeling and simulation, discrete event system
19	José A. Blakeley, Vineet Rao, Isaac Kunen, Adam Prout, Mat Henaire, Christian Kleinerman	.NET database programmability and extensibility in microsoft SQL server.	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	server programming, extensibility, abstract data types
19	Pier Francesco Palamara, Vittorio A. Ziparo, Luca Iocchi, Daniele Nardi, Pedro U. Lima	Teamwork Design Based on Petri Net Plans.	RoboCup	2008	DBLP DOI BibTeX RDF
19	Wang Ge, Ren Nan	Modeling and Research of the E-government System Based on Petri net.	CSSE (4)	2008	DBLP DOI BibTeX RDF
19	Gorn Tepvorachai, Christos A. Papachristou	Multi-label imbalanced data enrichment process in neural net classifier training.	IJCNN	2008	DBLP DOI BibTeX RDF
19	Haiyang Sun, Jian Yang 0001	Enforcing Business Collaboration Consistency in Business Transaction Net.	CEC/EEE	2008	DBLP DOI BibTeX RDF
19	Zhe-Wei Jiang, Bor-Yiing Su, Yao-Wen Chang	Routability-driven analytical placement by net overlapping removal for large-scale mixed-size designs.	DAC	2008	DBLP DOI BibTeX RDF	placement, physical design, routability
19	Ravish Mahajan, Arobinda Gupta	Scalable Contract Net Based Resource Allocation Strategies for Grids.	PDCAT	2008	DBLP DOI BibTeX RDF
19	Naiqi Wu, Liping Bai, Chengbin Chu	Modeling and Conflict Detection of Crude Oil Operations for Refinery Process Based on Controlled Colored Timed Petri Net.	IEEE Trans. Syst. Man Cybern. Part C	2007	DBLP DOI BibTeX RDF
19	Wataru Makiguchi, Hajime Sawamura	A Hybrid Argumentation of Symbolic and Neural Net Argumentation (Part I).	ArgMAS	2007	DBLP DOI BibTeX RDF
19	Wataru Makiguchi, Hajime Sawamura	A Hybrid Argumentation of Symbolic and Neural Net Argumentation (Part II).	ArgMAS	2007	DBLP DOI BibTeX RDF
19	Adi Mallikarjuna Reddy V, D. Janakiram	e-Petri Net Model for Programming Integrated Network of Wireless Sensor Networks and Grids.	CIT	2007	DBLP DOI BibTeX RDF
19	Haiyang Sun, Jian Yang 0001	Exploiting CoBTx-Net to Verify the Reliability of Collaborative Business Transactions.	APSCC	2007	DBLP DOI BibTeX RDF
19	Yumin Dong, Shufen Xiao	Hybrid Application On Job-Shop Scheduling by Genetic Algorithm and MAS Spring-Net.	SNPD (2)	2007	DBLP DOI BibTeX RDF
19	Haiyang Sun, Jian Yang 0001	BTx-Net: A Token Based Dynamic Model for Supporting Consistent Collaborative Business Transactions.	IEEE SCC	2007	DBLP DOI BibTeX RDF
19	Victor Khomenko, Alex Kondratyev, Maciej Koutny, Walter Vogler	Merged processes: a new condensed representation of Petri net behaviour.	Acta Informatica	2006	DBLP DOI BibTeX RDF
19	Jun Furukawa 0001, Kazue Sako	An Efficient Publicly Verifiable Mix-Net for Long Inputs.	Financial Cryptography	2006	DBLP DOI BibTeX RDF	Hybrid-mix, efficient, public verifiability, multiple encryption
19	Robin Bergenthum, Jörg Desel, Gabriel Juhás, Robert Lorenz 0001	Can I Execute My Scenario in Your Net? VipTool Tells You!	ICATPN	2006	DBLP DOI BibTeX RDF
19	Arun K. Somani, Shubhalaxmi Kher	Net-Centric Computing: The Future of Computers and Networking.	ICDCIT	2006	DBLP DOI BibTeX RDF
19	Kai-min Chang, Joseph E. Beck, Jack Mostow, Albert T. Corbett	A Bayes Net Toolkit for Student Modeling in Intelligent Tutoring Systems.	Intelligent Tutoring Systems	2006	DBLP DOI BibTeX RDF
19	Erik Meijer 0001, Brian Beckman, Gavin M. Bierman	LINQ: reconciling object, relations and XML in the .NET framework.	SIGMOD Conference	2006	DBLP DOI BibTeX RDF
19	Lansheng Han, Varney Washington, Yuanbo Wang, Shuxia Han	Tracing the Source of Net-Virus within a Subnet.	CSCWD	2006	DBLP DOI BibTeX RDF
19	Reinhard Wolfinger, Deepak Dhungana, Herbert Prähofer, Hanspeter Mössenböck	A Component Plug-In Architecture for the .NET Platform.	JMLC	2006	DBLP DOI BibTeX RDF
19	Kevin W. Hamlen, Greg Morrisett, Fred B. Schneider	Certified In-lined Reference Monitoring on .NET.	PLAS	2006	DBLP DOI BibTeX RDF	in-lined reference monitoring, program rewriting, reference monitors, security automata, execution monitoring
19	Suseela T. Sarasamma, Qiuming A. Zhu, Julie Huff	Hierarchical Kohonenen net for anomaly detection in network security.	IEEE Trans. Syst. Man Cybern. Part B	2005	DBLP DOI BibTeX RDF
19	Natarajan Viswanathan, Chris C. N. Chu	FastPlace: efficient analytical placement using cell shifting, iterative local refinement, and a hybrid net model.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2005	DBLP DOI BibTeX RDF
19	Arumugam Paventhan, Kenji Takeda	MyGridFTP: A Zero-Deployment GridFTP Client Using the .NET Framework.	EGC	2005	DBLP DOI BibTeX RDF
19	Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima, Angelo Ribeiro, César A. L. de Oliveira, Adilson Arcoverde, Raimundo S. Barreto, Eduardo Tavares, Leonardo Amorim	A Retargetable Environment for Power-Aware Code Evaluation: An Approach Based on Coloured Petri Net.	PATMOS	2005	DBLP DOI BibTeX RDF
19	Ning Liu, Yilong Yin, Hongwei Zhang	A Fingerprint Matching Algorithm Based On Delaunay Triangulation Net.	CIT	2005	DBLP DOI BibTeX RDF
19	Wei Tan 0001, Yushun Fan	Model Fragmentation for Distributed Workflow Execution: A Petri Net Approach.	ISSADS	2005	DBLP DOI BibTeX RDF
19	Mário Guimarães	Constructing database applications for PDA using the .NET framework.	ITiCSE	2005	DBLP DOI BibTeX RDF
19	Ugo A. Buy, Houshang Darabi, Mihai Lehene, Vikram Venepally	Supervisory Control of Time Petri Nets Using Net Unfolding.	COMPSAC (2)	2005	DBLP DOI BibTeX RDF
19	Kamyar Sarshar, Peter Loos	Comparing the Control-Flow of EPC and Petri Net from the End-User Perspective.	Business Process Management	2005	DBLP DOI BibTeX RDF
19	Glenn S. Wasson, Marty Humphrey	Exploiting WSRF and WSRF.NET for Remote Job Execution in Grid Environments.	IPDPS	2005	DBLP DOI BibTeX RDF
19	Guido Malpohl, Florin Isaila	Paradis-Net.	ICN (2)	2005	DBLP DOI BibTeX RDF
19	Naveen Sharma, Dharmendra Sharma 0001	A Multi-agent Framework for .NET.	KES (1)	2005	DBLP DOI BibTeX RDF
19	Victor Khomenko, Alex Kondratyev, Maciej Koutny, Walter Vogler	Merged Processes - A New Condensed Representation of Petri Net Behaviour.	CONCUR	2005	DBLP DOI BibTeX RDF
19	Yaojun Han, Changjun Jiang, Xuemei Luo	Resource Scheduling Scheme for Grid Computing and Its Petri Net Model and Analysis.	ISPA Workshops	2005	DBLP DOI BibTeX RDF
19	Jun Feng, Lingling Cui, Glenn S. Wasson, Marty Humphrey	Toward seamless grid data access: design and implementation of GridFTP on .NET.	GRID	2005	DBLP DOI BibTeX RDF
19	Ahmed Lehireche, Abdellatif Rahmoun	The EE-method, an evolutionary engineering developer tool: neural net character mapping.	AICCSA	2005	DBLP DOI BibTeX RDF
19	Jamal Abd-Ali, Karim El Guemhioui	An MDA-Oriented .NET Metamodel.	EDOC	2005	DBLP DOI BibTeX RDF
19	Michael von der Beeck	Function Net Modeling with UML-RT: Experiences from an Automotive Project at BMW Group.	UML Satellite Activities	2004	DBLP DOI BibTeX RDF
19	Guohong Ma, Shan-Ben Chen, T. Qiu, X. Y. Ding	Model on robots of flexible manufacturing system with Petri net in welding.	ICARCV	2004	DBLP DOI BibTeX RDF
19	Yu Tang 0014, Luo Chen, Kai-Tao He, Ning Jing	SRN: An Extended Petri-Net-Based Workflow Model for Web Service Composition.	ICWS	2004	DBLP DOI BibTeX RDF
19	Jason H. Moore, Lance W. Hahn	An Improved Grammatical Evolution Strategy for Hierarchical Petri Net Modeling of Complex Genetic Systems.	EvoWorkshops	2004	DBLP DOI BibTeX RDF
19	Naiqi Wu, Liping Bai, Chengbin Chu	Hybrid Petri net modeling for refinery process.	SMC (2)	2004	DBLP DOI BibTeX RDF
19	Jorge Júlvez, Emilio Jiménez, Laura Recalde, Manuel Silva Suárez	Design of observers for timed continuous Petri net systems.	SMC (2)	2004	DBLP DOI BibTeX RDF
19	Stéphane Julia, Fernanda Francielle de Oliveira	A p-time hybrid Petri net model for the scheduling problem of workflow management systems.	SMC (5)	2004	DBLP DOI BibTeX RDF
19	Panayiotis Neophytou, Neophytos Neophytou, Paraskevas Evripidou	Debugging MPI Grid Applications Using Net-dbx.	European Across Grids Conference	2004	DBLP DOI BibTeX RDF
19	Panayiotis Neophytou, Neophytos Neophytou, Paraskevas Evripidou	Net-dbx-G: a Web-based debugger of MPI programs over Grid environments.	CCGRID	2004	DBLP DOI BibTeX RDF
19	Jian Sun 0010, Changjun Jiang	Web Service Composition Based on BPWS-Net.	AWCC	2004	DBLP DOI BibTeX RDF
19	Chatree Sangpachatanaruk, Taieb Znati	Semantic Driven Hashing (SDH): An Ontology-Based Search Scheme for the Semantic Aware Network (SA Net).	Peer-to-Peer Computing	2004	DBLP DOI BibTeX RDF
19	Nathanael Paul, David Evans 0001	.NET Security: Lessons Learned and Missed from Java.	ACSAC	2004	DBLP DOI BibTeX RDF
19	Rolf Oppliger	Microsoft .NET Passport: A Security Analysis.	Computer	2003	DBLP DOI BibTeX RDF
19	Jonathan Billington, Søren Christensen, Kees M. van Hee, Ekkart Kindler, Olaf Kummer, Laure Petrucci, Reinier Post, Christian Stehno, Michael Weber 0003	The Petri Net Markup Language: Concepts, Technology, and Tools.	ICATPN	2003	DBLP DOI BibTeX RDF
19	Jerónimo Arenas-García, Aníbal R. Figueiras-Vidal, Amanda J. C. Sharkey	The Beneficial Effects of Using Multi-net Systems That Focus on Hard Patterns.	Multiple Classifier Systems	2003	DBLP DOI BibTeX RDF
19	Jim Miller	Evolving a Multi-language Object-Oriented Framework: Lessons from .NET.	Euro-Par	2003	DBLP DOI BibTeX RDF
19	Andreas Ulbrich, Torben Weis, Kurt Geihs, Christian Becker 0001	DotQoS - A QoS Extension for .NET Remoting.	IWQoS	2003	DBLP DOI BibTeX RDF
19	D. Q. M. Fay	An Architecture for Distributed Applications on the Internet: Overview of Microsoft's .NET Platform.	IPDPS	2003	DBLP DOI BibTeX RDF
19	Yukitaka Kusumura, Yoshinori Hijikata, Shogo Nishida	NTM-Agent: Text Mining Agent or Net Auction.	SAINT	2003	DBLP DOI BibTeX RDF
19	Jim Miller	Evolving a Multi-language Object-Oriented Framework: Lessons from .NET.	JMLC	2003	DBLP DOI BibTeX RDF
19	Sangman Moh, Jae-Hong Shim, Yang-Dong Lee, Jeong-A Lee, Beom-Joon Cho	Design and Evaluation of a Cache Coherence Adapter for the SMP Nodes Interconnected via Xcent-Net.	ISCIS	2003	DBLP DOI BibTeX RDF
19	Johann Oberleitner, Thomas Gschwind	Transparent Integration of CORBA and the .NET Framework.	OTM	2003	DBLP DOI BibTeX RDF
19	Iman Poernomo, Ralf H. Reussner, Heinz W. Schmidt	Architectural Configuration with EDOC and .NET Component Services.	EUROMICRO	2003	DBLP DOI BibTeX RDF
19	María del Puerto Paule Ruíz, Sergio Ocio Barriales, Juan Ramón Pérez-Pérez, Martín González Rodríguez	Feijoo.net: An Approach to Personalized E-learning Using Learning Styles.	ICWE	2003	DBLP DOI BibTeX RDF
19	Susan Eisenbach, Vladimir Jurisic, Chris Sadler	Managing the Evolution of .NET Programs.	FMOODS	2003	DBLP DOI BibTeX RDF
19	Guillaume Gardey, Olivier H. Roux, Olivier F. Roux	Using Zone Graph Method for Computing the State Space of a Time Petri Net.	FORMATS	2003	DBLP DOI BibTeX RDF	Verification, Reachability Analysis, Time Petri Nets, State Space, Zone
19	Gang Xu, Zhiming Wu	A Kind of Deadlock-free Scheduling Method Based on Petri Net.	HASE	2002	DBLP DOI BibTeX RDF
19	Yuyue Du, Changjun Jiang	Formal Representation and Analysis of Batch Stock Trading Systems by Logical Petri Net Workflows.	ICFEM	2002	DBLP DOI BibTeX RDF
19	Xiaodong Wu 0001, Danny Z. Chen	Optimal Net Surface Problems with Applications.	ICALP	2002	DBLP DOI BibTeX RDF	3-D Image Segmentations, Algorithms, NP-hardness, Surface Reconstructions, Geometric Graphs
19	Richard A. Kilgore	Open source initiatives for simulation software: multi-language, open-source modeling using the microsoft .NET architecture.	WSC	2002	DBLP DOI BibTeX RDF
19	Ashok K. Murugavel, N. Ranganathan	Petri net modeling of gate and interconnect delays for power estimation.	DAC	2002	DBLP DOI BibTeX RDF
19	Neophytos Neophytou, Paraskevas Evripidou	Net-dbx: A Web-Based Debugger of MPI Programs Over Low-Bandwidth Lines.	IEEE Trans. Parallel Distributed Syst.	2001	DBLP DOI BibTeX RDF	WWW, Parallel processing, message passing, teleworking, Java applets, parallel debugging
19	Hartmann J. Genrich, Robert Küffner, Klaus Voss	Executable Petri net models for the analysis of metabolic pathways.	Int. J. Softw. Tools Technol. Transf.	2001	DBLP DOI BibTeX RDF	Glycolysis, Citric acid cycle, Coloured Petri nets, Executable model, Metabolic pathway
19	Zoran M. Gacovski, Georgi M. Dimirovski	Parameterized Petri Net Reformulation of the Fuzzy Production System.	Fuzzy Days	2001	DBLP DOI BibTeX RDF	parameterized fuzzy-Petri-nets, organization level, decision making, knowledge base, complex systems, Fuzzy reasoning
19	Kurt Sundermeyer	Collaborative Supply Net Management.	KI/ÖGAI	2001	DBLP DOI BibTeX RDF
19	Scott R. Tilley	Preliminary Results from a Case Study of Effort Estimation for Net-Centric Applications at the Undergraduate Level.	CSEE&T	2001	DBLP DOI BibTeX RDF
19	Marta Pietkiewicz-Koutny	Synthesis of Net Systems with Inhibitor Arcs from Step Transition Systems.	ACSD	2001	DBLP DOI BibTeX RDF	causality/partial order theory of concurrency, structure and behaviour of nets, analysis and synthesis, theory of regions
19	Irina B. Virbitskaite	Characterizing Timed Net Processes Categorically.	PaCT	2001	DBLP DOI BibTeX RDF
19	Karine Arnout, Raphael Simon	The .NET Contract Wizard: Adding Design by Contract to Languages Other than Eiffel.	TOOLS (39)	2001	DBLP DOI BibTeX RDF
19	Hiroaki Bessho, Yoshio Iwai, Masahiko Yachida	Detecting Human Face and Recognizing Facial Expressions Using Potential Net.	ICPR	2000	DBLP DOI BibTeX RDF
19	John Morris, Gary A. Bundell, Sonny Tham	A Re-Configurable Processor for Petri Net Simulation.	HICSS	2000	DBLP DOI BibTeX RDF
19	Rogério Lopes Salvini, Luís Alfredo V. de Carvalho	Elastic Neural Net Algorithm for Cluster Analysis.	SBRN	2000	DBLP DOI BibTeX RDF