Search results for "formalism"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
59	Juan de Lara, Hans Vangheluwe	AToM3: A Tool for Multi-formalism and Meta-modelling.	FASE	2002	DBLP DOI BibTeX RDF	Multi-Formalism Modeling, Meta-Modeling, Modeling and Simulation, Graph Grammars, Automatic Code Generation
54	Bertrand T. David, René Chalon, Olivier Delotte, Guillaume Masserey, Matthieu Imbert	ORCHESTRA: Formalism to Express Mobile Cooperative Applications.	CRIWG	2006	DBLP DOI BibTeX RDF	Specific description language, MDA inspired elaboration process, transformation process, formalism meta-model and examples
49	Bertrand T. David, René Chalon, Olivier Delotte, Guillaume Masserey	ORCHESTRA: Formalism to Express Static and Dynamic Model of Mobile Collaborative Activities and Associated Patterns.	HCI (1)	2007	DBLP DOI BibTeX RDF	CSoCW, Specific Description Language, MDA inspired elaboration process, transformation process, formalism meta-model, description patterns
49	Valeria Vittorini, Mauro Iacono, Nicola Mazzocca, Giuliana Franceschinis	The OsMoSys approach to multi-formalism modeling of systems.	Softw. Syst. Model.	2004	DBLP DOI BibTeX RDF	Multi-formalism modeling, Object orientation, Compositionality, Meta-languages
47	Gary R. Mayer, Hessam S. Sarjoughian	Complexities of simulating a hybrid agent-landscape model using multi-formalism composability.	SpringSim (2)	2007	DBLP BibTeX RDF	poly-formalism, agents, cellular automata, multi-modeling, multi-formalism
47	Jianzhong Li 0003, James S. K. Ang, Xuejun Tong, Michel Tueni	AMS: A Declarative Formalism for Hierarchical Representation of Procedural Knowledge.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	declarative formalism, Activity Manager System, domain-independent formalism, AMS, knowledge hierarchies, abstract entities, knowledge reusability, MOPA, knowledge representation, knowledge representation, abstraction, software reusability, abstract data types, activity network, hierarchical representation, procedural knowledge
40	Babak Khazaei, Emma Triffitt	Applying cognitive dimensions to evaluate and improve the usability of Z formalism.	SEKE	2002	DBLP DOI BibTeX RDF	Z formalism, tranzit environment, usability, formal specification, cognitive dimensions
40	Agnès Conte, Mounia Fredj, Ibtissem Hassine, Jean-Pierre Giraudin, Dominique Rieu	A Tool and a Formalism to Design and Apply Patterns.	OOIS	2002	DBLP DOI BibTeX RDF	patterns system, product pattern, pattern formalism, pattern-based development environment, reuse, Pattern, process pattern
40	Michela Degl'Innocenti, Gian-Luigi Ferrari 0002, Giuliano Pacini, Franco Turini	RSF: A Formalism for Executable Requirement Specifications.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	RSF, executable requirement specifications, occurrence times, logic programming, queries, rapid prototyping, events, time constraints, formalism, software prototyping, answers, transition rules
36	Laurent Cauffriez, Vincent Benard, Dominique Renaux	A New Formalism for Designing and Specifying RAMS Parameters for Complex Distributed Control Systems: The Safe-SADT Formalism.	IEEE Trans. Reliab.	2006	DBLP DOI BibTeX RDF
35	Ram Ramanathan, Prithwish Basu, Rajesh Krishnan	Towards a formalism for routing in challenged networks.	Challenged Networks	2007	DBLP DOI BibTeX RDF	formalism, disruption tolerant networks, challenged networks
35	Henrik C. Bohnenkamp, Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen	MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	timed automata, stochastic processes, formal semantics, compositionality, Modeling formalism
35	Hamoudi Kalla, Jean-Pierre Talpin, David Berner, Loïc Besnard	Automated Translation of C/C++ Models into a Synchronous Formalism.	ECBS	2006	DBLP DOI BibTeX RDF	GNU Compiler Collection, Synchronous Formalism, Functional and Compositional Design Correctness, Formal Methods, SIGNAL, Static Single Assignment
35	Tino Pyssysalo, Leo Ojala	Causal Modeling of a Video-on-Demand System Using Predicate/Transition Net Formalism.	EUROMICRO	1996	DBLP DOI BibTeX RDF	high-level net model, bunching property, resource allocation mechanism, request service, refusal by choice feature, predicate/transition net formalism, stochastic net theoretical methods, time formalisms, performance analysis, reachability analysis, interactive television, parallel machine scheduling, causal modeling, FIFO queues, video-on-demand system
32	Leonard Adelman, Paul E. Lehner, Brant A. Cheikes, M. F. Taylor	An Empirical Evaluation of Structured Argumentation Using the Toulmin Argument Formalism.	IEEE Trans. Syst. Man Cybern. Part A	2007	DBLP DOI BibTeX RDF
32	Thomas Huining Feng, Miriam Zia, Hans Vangheluwe	Multi-formalism modelling and model transformation for the design of reactive systems.	SCSC	2007	DBLP BibTeX RDF	computer automated multi-paradigm modelling (CAMPaM), modelling and simulation based design, model transformation
32	Hernán P. Dacharry, Norbert Giambiasi	Discrete event modeling through a multi-formalism approach, from a user-oriented perspective.	SpringSim (2)	2007	DBLP BibTeX RDF	DEVS modeling methodology, multi-formalisms approach, discrete event modeling
32	Daniel M. Zimmerman	A UNITY-Based Formalism for Dynamic Distributed Systems.	IPDPS	2003	DBLP DOI BibTeX RDF	dynamic distributed systems, program composition, formal methods, UNITY
32	Nam Ling, Magdy A. Bayoumi	Systolic temporal arithmetic: a new formalism for specification and verification of systolic arrays.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1990	DBLP DOI BibTeX RDF
31	Juan de Lara, Hans Vangheluwe, Manuel Alfonseca 0001	Meta-modelling and graph grammars for multi-paradigm modelling in AToM3.	Softw. Syst. Model.	2004	DBLP DOI BibTeX RDF	Multi-paradigm modelling, Causal block diagrams, AToM3, OOCSMP, Code generation, Model transformation, Meta-modelling, Statecharts, Graph grammars, Multi-formalism
31	Adelinde M. Uhrmacher	Dynamic structures in modeling and simulation: a reflective approach.	ACM Trans. Model. Comput. Simul.	2001	DBLP DOI BibTeX RDF	modeling and simulation formalism, variable structure models, reflection, bisimulation, DEVS
31	Randall Sharp	CAT2: An experimental eurotra alternative.	Mach. Transl.	1991	DBLP DOI BibTeX RDF	complexity, formalism, English, German, French
30	Mauro Iacono, Marco Gribaudo	Element Based Semantics in Multi Formalism Performance Models.	MASCOTS	2010	DBLP DOI BibTeX RDF	multi-formalism models, performance evaluation, modelling tools
30	Wilson Goudalo, Dominique Seret	The Process of Engineering of Security of Information Systems (ESIS): The Formalism of Business Processes.	SECURWARE	2009	DBLP DOI BibTeX RDF	Engineering Process, Information Systems Security Engineering, Business Process Formalism, Information Systems Urbanization, UML, Enterprise Architecture
30	Sophie Dupuy, Lydie du Bousquet	A Multi-formalism Approach for the Validation of UML Models.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	Rational Rose ™, RoZ, Z-EVES, UML, Z, Lustre, Multi-formalism
30	Perry Alexander	Insertion of formalism into systems level design.	ECBS	1997	DBLP DOI BibTeX RDF	software engineering, formal methods, systems engineering, systems engineering, system modelling, formalism, systems level design
30	Jang-Soo Lee, Sung Deok Cha	Behavior verification of hybrid real-time requirements by qualitative formalism.	RTCSA	1997	DBLP DOI BibTeX RDF	qualitative formalism, hybrid real-time requirements, behavior verification, Compositional Modeling Language, Causal Functional Representation Language, continuous plant dynamics, real-time process control, real-time systems, real-time systems, formal methods, causal reasoning
30	Mauro Pezzè, Michal Young	Constructing Multi-Formalism State-Space Analysis Tools: Using Rules to Specify Dynamic Semantics of Models.	ICSE	1997	DBLP DOI BibTeX RDF	multi-formalism analysis, Ada, concurrency, heterogeneity, state-space analysis
30	Daniel E. Cooke	Towards a Formalism to Produce a Programmer Assistant CASE Tool.	IEEE Trans. Knowl. Data Eng.	1990	DBLP DOI BibTeX RDF	programmer assistant CASE tool, weak specification method, input constraints, program functions, software engineering, software tools, specification language, specification languages, selections, sequences, iterations, formalism
29	Hans Vangheluwe, Juan de Lara	XML-based modeling and simulation: meta-models are models too.	WSC	2002	DBLP DOI BibTeX RDF
28	Stéphanie Combettes	Towards a Methodology for Modeling Deontic Protocols Using the Organizational Petri Nets Formalism.	KES-AMSTA	2009	DBLP DOI BibTeX RDF	Deontic protocol, Organizational Petri Net, Methodology
28	Jianrui Wang, Richard A. Wysk	A Pi-calculus formalism for discrete event simulation.	WSC	2008	DBLP DOI BibTeX RDF
28	Teguh Bharata Adji, Baharum Baharudin, Norshuhani Zamin	Applying Link Grammar Formalism in the Development of English-Indonesian Machine Translation System.	AISC/MKM/Calculemus	2008	DBLP DOI BibTeX RDF	Annotated Disjunct, Link Grammar, Parsing Algorithm, Natural Language Processing
28	Yi Hu, Ruzhan Lu, Yuquan Chen, Hui Liu 0002	A New Hierarchical Conceptual Graph Formalism Adapted for Chinese Document Retrieval.	FSKD (2)	2007	DBLP DOI BibTeX RDF
28	Samar Abdi, Daniel Gajski	A formalism for functionality preserving system level transformations.	ASP-DAC	2005	DBLP DOI BibTeX RDF
28	Antoine Defontaine, Alfredo I. Hernández, Guy Carrault	Multi-formalism Modelling of Cardiac Tissue.	FIMH	2005	DBLP DOI BibTeX RDF
28	Marc Shapiro 0001, Karthikeyan Bhargavan, Nishith Krishna	A Constraint-Based Formalism for Consistency in Replicated Systems.	OPODIS	2004	DBLP DOI BibTeX RDF
28	Jamal Bentahar, Bernard Moulin, Brahim Chaib-draa	Commitment and Argument Network: A New Formalism for Agent Communication.	Workshop on Agent Communication Languages	2003	DBLP DOI BibTeX RDF
28	Gwen Salaün, Michel Allemand, J. Christian Attiogbé	Specification of an Access Control System with a Formalism Combining CCS and CASL.	IPDPS	2002	DBLP DOI BibTeX RDF
28	O. Biberstein, Didier Buchs, Nicolas Guelfi	Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF
28	Catherine Roussey, Sylvie Calabretto, Jean-Marie Pinon	A New Conceptual Graph Formalism Adapted for Multilingual Information Retrieval Purposes.	DEXA	2001	DBLP DOI BibTeX RDF	multilingual information retrieval system, information retrieval, Digital libraries, knowledge engineering, information modeling, conceptual graph
28	Rainer Schlör, Bernhard Josko, Dieter Werth	Using a Visual Formalism for Design Verification in Industrial Environments.	Services and Visualization: Towards User-Friendly Design	1998	DBLP DOI BibTeX RDF
28	Catherine Faron, Jean-Gabriel Ganascia	Representation of Defaults and Exceptions in Conceptual Graphs Formalism.	ICCS	1997	DBLP DOI BibTeX RDF
28	Mauro Pezzè, Michal Young	Generation of Multi-Formalism State-Space Analysis Tools.	ISSTA	1996	DBLP DOI BibTeX RDF
28	Annelise Bech, Bente Maegaard, Anders Nygaard	The Eurotra MT formalism.	Mach. Transl.	1991	DBLP DOI BibTeX RDF	Eurotra, MT formalisms
27	Jasper van Vught	What is Videogame Formalism? Exploring the Pillars of Russian Formalism for the Study of Videogames.	Games Cult.	2022	DBLP DOI BibTeX RDF
27	Mark A. Webster, Benjamin J. Brown, Stephen D. Bartlett	The XP Stabiliser Formalism: a Generalisation of the Pauli Stabiliser Formalism with Arbitrary Phases.	Quantum	2022	DBLP DOI BibTeX RDF
27	Sylvain Piechowiak, Joaquin Rodriguez	Constraint compiling into rules formalism constraint compiling into rules formalism for dynamic CSPs computing	CoRR	2000	DBLP BibTeX RDF
27	Keith Stenning, Corin A. Gurr	Human-Formalism Interaction: Studies in Communication through Formalism.	Interact. Comput.	1997	DBLP DOI BibTeX RDF
27	Hugo C. van Leeuwen	Speech Maker Formalism: a rule formalism operating on a multi-level, synchronized data structure.	Comput. Speech Lang.	1993	DBLP DOI BibTeX RDF
27	Fumio Mizoguchi, Kunihisa Maruyama, Takashi Yamada, Katsuaki Kitazawa, Masao Saito, Casimir A. Kulikowski	A Case Study of EXPERT Formalism - An Approach to a Design of Medical Consultation System through EXPERT Formalism.	IJCAI	1979	DBLP BibTeX RDF
26	Charlene Elliott, Gary Marsden, Marion Walton, Edwin H. Blake	Design notations for creating virtual environments.	SAICSIT	2009	DBLP DOI BibTeX RDF	design notation, virtual reality, game design, visual formalism
26	Johan Köhler, Jules-Raymond Tapamo	Formal specification of region-based model for semantic extraction in road traffic monitoring.	Afrigraph	2006	DBLP DOI BibTeX RDF	semantic extraction, spatio-temporal formalism, conceptual model, Z notation
26	Marc Aiguier, Karim Berkani, Pascale Le Gall	Feature Specification and Static Analysis for Interaction Resolution.	FM	2006	DBLP DOI BibTeX RDF	pre-post formalism, specification consistency, feature interaction resolution, static analysis, feature integration
26	Juan de Lara, Gabriele Taentzer	Automated Model Transformation and Its Validation Using AToM 3 and AGG.	Diagrams	2004	DBLP DOI BibTeX RDF	Multi-Formalism Modelling, Meta-Modelling, Graph Transformation
26	Won Young Lee, Hee Suk Seo, Tae Ho Cho	Modeling of Policy-Based Network with SVDB.	AIS	2004	DBLP DOI BibTeX RDF	PBNM (Policy-based Network Management), simulation, Data Mining, network security, Security Policy, DEVS formalism
26	Chris Stolte, Diane Tang, Pat Hanrahan	Multiscale Visualization Using Data Cubes.	IEEE Trans. Vis. Comput. Graph.	2003	DBLP DOI BibTeX RDF	Multiscale visualization, graphic formalism, database visualization
26	Kihyung Kim, Wonseok Kang, Bong Sagong, Hyungon Seo	Efficient Distributed Simulation of Hierarchical DEVS Models: Transforming Model Structure into a Non-Hierarchical One.	Annual Simulation Symposium	2000	DBLP DOI BibTeX RDF	hierarchical simulation, discrete event simulation, distributed simulation, DEVS formalism
26	P. Erhan Eren, Candemir Toklu, A. Murat Tekalp	Special Effects Authoring Using 2-D Mesh Models.	ICIP (1)	1997	DBLP DOI BibTeX RDF	2D mesh models, video manipulation formalism, special effects authoring tools, transfiguration, video object representation, VRML browser, reference mesh, video rendering, video registration, 2D mesh mappings, alpha blending, alpha map sequence, moving texture map, multimedia content generation, augmented reality, animation, video sequence, video signal processing, interactive user-interface
26	Patrick Coscas, Gilles Fouquier, Agnes Lanusse	Modelling actor programs using Predicate/Transition nets.	PDP	1995	DBLP DOI BibTeX RDF	actor programs, translation scheme, PRAL-M, PTN, visualizing, parallel programming, Petri nets, data structures, data structures, debugging, parallel machines, formalism, high-level Petri nets, concurrent computation, Predicate/Transition nets
24	Albrecht Schmidt 0001	Engineering interactive ubiquitous computing systems.	EICS	2011	DBLP DOI BibTeX RDF
24	Francesco Moscato 0001, Francesco Flammini, Giusy Di Lorenzo, Valeria Vittorini, Stefano Marrone 0001, Mauro Iacono	The software architecture of the OsMoSys multisolution framework.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	multiformalism, multisolution, system modeling, orchestration
24	Mercedes G. Merayo, Manuel Núñez 0001, Ismael Rodríguez	Formal Specification of Multi-agent Systems by Using EUSMs.	FSEN	2007	DBLP DOI BibTeX RDF	Formal specification of multi-agent systems, e-commerce, autonomous agents
24	Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Mariëlle Stoelinga	Resource Interfaces.	EMSOFT	2003	DBLP DOI BibTeX RDF
24	Juan de Lara, Hans Vangheluwe	Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts.	ICGT	2002	DBLP DOI BibTeX RDF
24	David Navarre, Philippe A. Palanque, Rémi Bastide, Ousmane Sy	A Model-Based Tool for Interactive Prototyping of Highly Interactive Applications.	IEEE International Workshop on Rapid System Prototyping	2001	DBLP DOI BibTeX RDF
23	Ali Khalili, Amir Jalaly Bidgoly, Mohammad Abdollahi Azgomi	PDETool: A Multi-formalism Modeling Tool for Discrete-Event Systems Based on SDES Description.	Petri Nets	2009	DBLP DOI BibTeX RDF	Stochastic discrete-event systems, SDES description, PDETool, Petri nets
23	Radek Kocí, Vladimír Janousek	System Design with Object Oriented Petri Nets Formalism.	ICSEA	2008	DBLP DOI BibTeX RDF
23	Frédéric Boulanger, Cécile Hardebolle	Simulation of Multi-Formalism Models with ModHel'X.	ICST	2008	DBLP DOI BibTeX RDF	Simulation, Model of computation, Heterogeneous modeling
23	Gang Xiong, Xiaoniu Yang, Huichang Zhao	The Short-Time Multifractal Formalism: Definition and Implement.	ICIC (3)	2008	DBLP DOI BibTeX RDF
23	Cécile Hardebolle, Frédéric Boulanger	ModHel'X: A Component-Oriented Approach to Multi-Formalism Modeling.	MoDELS (Workshops)	2007	DBLP DOI BibTeX RDF
23	Alexandre Delteil, Laure Bourgois, François Lévy	A Formalism for Active and Informative Web Services.	ICIW	2007	DBLP DOI BibTeX RDF
23	Yoshiyuki Shinkawa	Inter-Model Consistency in UML Based on CPN Formalism.	APSEC	2006	DBLP DOI BibTeX RDF
23	Guy Caplat, Jean-Louis Sourrouille	Model Mapping Using Formalism Extensions.	IEEE Softw.	2005	DBLP DOI BibTeX RDF	Model Driven Architecture, Modeling languages, design tools and techniques, model mapping
23	Xingchen Heng, Zheng Qin	FPBN: A New Formalism for Evaluating Hybrid Bayesian Networks Using Fuzzy Sets and Partial Least-Squares.	ICIC (2)	2005	DBLP DOI BibTeX RDF
23	Guido Governatori, Zoran Milosevic	Dealing with contract violations: formalism and domain specific language.	EDOC	2005	DBLP DOI BibTeX RDF
23	Mauro Iacono, Stefano Marrone 0001, Nicola Mazzocca, Francesco Moscato 0001, Valeria Vittorini	A Model Analysis of a Distributed Monitoring System Using a Multi-formalism Approach.	PARA	2004	DBLP DOI BibTeX RDF
23	Fernando J. Barros	Describing the HLA Using the DFSS Formalism.	AIS	2004	DBLP DOI BibTeX RDF
23	Jun Kong, Kang Zhang 0001	On a Spatial Graph Grammar Formalism.	VL/HCC	2004	DBLP DOI BibTeX RDF
23	Tien Nhut Nguyen, Ethan V. Munson	A Formalism for Conformance Analysis and Its Applications.	SEFM	2004	DBLP DOI BibTeX RDF
23	Andrea Tettamanzi	A Fuzzy Frame-Based Knowledge Representation Formalism.	WILF	2003	DBLP DOI BibTeX RDF
23	Jean-Luc Paillet, Norbert Giambiasi	DECM, A User Oriented Formalism for High Level Discrete Event Specifications of Real-Time Systems.	J. Intell. Robotic Syst.	2002	DBLP DOI BibTeX RDF	formal specifications, control systems, production systems, discrete event dynamic systems
23	Richard P. Hopkins, Peter J. B. King	A Visual Formalism for the Composition of Stochastic Petri Nets.	Computer Performance Evaluation / TOOLS	2002	DBLP DOI BibTeX RDF
23	Stephen Gilmore, Jane Hillston, Marina Ribaudo	PEPA Nets: A Structured Performance Modelling Formalism.	Computer Performance Evaluation / TOOLS	2002	DBLP DOI BibTeX RDF
23	Jane Brennan, Eric Martin 0002	Foundations for a Formalism of Nearness.	Australian Joint Conference on Artificial Intelligence	2002	DBLP DOI BibTeX RDF
23	Myriam Lewkowicz, Manuel Zacklad	Rationalisation of decision-making processes in design teams with a new formalism of design rationale.	AI Soc.	2001	DBLP DOI BibTeX RDF	Group Ware, Knowledge management, Design Rationale, Organisational memory
23	Zina Houhamdi, Said Ghoul	A Reuse Description Formalism.	AICCSA	2001	DBLP DOI BibTeX RDF
23	Julien Quint	Universal Segmentation of Text with the Sumo Formalism.	Natural Language Processing	2000	DBLP DOI BibTeX RDF
23	Daniel Berzon, Terry J. Fountain	A Memory Design in QCAs using the SQUARES Formalism.	Great Lakes Symposium on VLSI	1999	DBLP DOI BibTeX RDF
23	M. Lusini, Enrico Vicario	Design and Evaluation of a Visual Formalism for Real Time Logics.	Services and Visualization: Towards User-Friendly Design	1998	DBLP DOI BibTeX RDF
23	Egidio Astesiano, Gianna Reggio	Formalism and Method.	TAPSOFT	1997	DBLP DOI BibTeX RDF
23	Hyoungmee Hahn, Jungpil Hahn, Jinwoo Kim 0001	A Cognitive Engineering Study on the Development of an Object-Oriented Process Modeling Formalism.	HICSS (2)	1997	DBLP DOI BibTeX RDF
23	Joaquín Mateos-Lago, Mario Rodríguez-Artalejo	GOTA Algebras: A Specification Formalism for Inheritance and Object Hierarchies.	PLILP	1996	DBLP DOI BibTeX RDF
23	Joachim Hertzberg, Sylvie Thiébaux	Turning an Action Formalism Into a Planner - Essentials of a Case Study.	ISMIS	1994	DBLP DOI BibTeX RDF
23	Robert Gabriel	A Formalism for the Definition of Graphical Formulas.	SIGSMALL/PC	1988	DBLP DOI BibTeX RDF
23	Carlo Batini, Alessandro D'Atri	Schema Hypergraphs: A Formalism to Investigate Logical Data Base Design.	WG	1980	DBLP DOI BibTeX RDF
23	Jay Earley, Howard E. Sturgis	A formalism for translator interactions.	Commun. ACM	1970	DBLP DOI BibTeX RDF	bootstrapping language processor, compiler, interpreter, translator, compiler-compiler
23	Jack Sklansky, M. Finkelstein	A Formalism for Program Translation.	J. ACM	1968	DBLP DOI BibTeX RDF
21	Doo-Yeoun Cho, Myeong-Jo Son, Jung-Ho Kang, Sung-Jun Lee, Ju-Hwan Cha, Seong-Jin Yoo, Hyo-Kwang Lee, Kyu-Yeul Lee, Tae Wan Kim, Yong-Seog Ko	Analysis of a submarine's evasive capability against an antisubmarine warfare torpedo using DEVS modeling and simulation.	SpringSim (2)	2007	DBLP BibTeX RDF	evasive capability, simulation based acquisition (SBA), submarine, unified modeling language (UML), DEVS formalism
21	Paul Cotofrei, Kilian Stoffel	Stochastic processes and temporal data mining.	KDD	2007	DBLP DOI BibTeX RDF	consistency of temporal rules, stochastic limit theory, temporal logic formalism, stochastic processes, temporal data mining