Search results for "formalization"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Baris Özkan, Onur Demirörs	Formalization Studies in Functional Size Measurement: How Do They Help?	IWSM/Mensura	2009	DBLP DOI BibTeX RDF	Software Functional Size Measurement, Functional Size Measurement Methods, Formalization, Software Models
3	Nikos I. Karacapilidis, Manolis Tzagarakis	Supporting Incremental Formalization in Collaborative Learning Environments.	EC-TEL	2007	DBLP DOI BibTeX RDF	Collaborative Knowledge Building and Sharing, Services for Technology Enhanced Learning, Problem Solving Support, Learning Communities and Distributed Teams, Incremental Formalization
3	Fidel Aznar Gregori, Maria Del Mar Pujol López, Ramón Rizo Aldeguer, Pablo Suau Pérez	A New Artificial Life Formalization Model: A Worm with a Bayesian Brain.	KELSI	2004	DBLP DOI BibTeX RDF	Life Formalization Model, Artificial Life, Bayesian Programming
3	Wilbert H. F. J. Körver	A universal formalization of the effects of threshold voltages for discrete switch-level circuit models.	Great Lakes Symposium on VLSI	1995	DBLP DOI BibTeX RDF	field effect transistor switches, threshold voltage effects, discrete switch-level circuit models, universal formalization, switch imperfection, CMOS design, demolition degree, CMOS digital integrated circuits, state transitions, integrated circuit modelling, switching circuits
2	Raihana Ferdous, Vallipuram Muthukkumarasamy, Abdul Sattar	Trust Formalization in Mobile Ad-Hoc Networks.	AINA Workshops	2010	DBLP DOI BibTeX RDF	trust-formalization, security, routing, mobile ad hoc networks, trust
2	Angelo Chiappini, Alessandro Cimatti, Luca Macchi, Oscar Rebollo, Marco Roveri, Angelo Susi, Stefano Tonetta, Berardino Vittorini	Formalization and validation of a subset of the European Train Control System.	ICSE	2010	DBLP DOI BibTeX RDF	formal methods, methodology, requirements validation
2	Tuan Minh Pham	Similar triangles and orientation in plane elementary geometry for Coq-based proofs.	SAC	2010	DBLP DOI BibTeX RDF	similar triangles, orientation, formalization, Coq, geometric theorem proving
2	Chao Ma, Yanxiang He, Naixue Xiong, Laurence Tianruo Yang	VFT: An Ontology-Based Tool for Visualization and Formalization of Web Service Composition.	CSE	2009	DBLP DOI BibTeX RDF
2	Peifung E. Lam, John C. Mitchell, Sharada Sundaram	A Formalization of HIPAA for a Medical Messaging System.	TrustBus	2009	DBLP DOI BibTeX RDF
2	Hai Wan, Gang Chen, Xiaoyu Song, Ming Gu	Formalization and Verification of PLC Timers in Coq.	COMPSAC	2009	DBLP DOI BibTeX RDF
2	Phan C. Vinh, Jonathan P. Bowen	Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis.	Transactions on Computational Science	2008	DBLP DOI BibTeX RDF	Dynamically Programmable Field Array (DPGA), Flowware, Configware, Configware engineering, Embedded systems, Formal methods, Reconfigurable computing, Dynamic reconfiguration
2	Emiliano Lorini, Robert Demolombe	Trust and Norms in the Context of Computer Security: A Logical Formalization.	DEON	2008	DBLP DOI BibTeX RDF
2	Francisco Durán, Francisco Gutiérrez, Pablo López, Ernesto Pimentel	A formalization of the SMEPP model in Maude.	MobiQuitous	2008	DBLP DOI BibTeX RDF	peer-to-peer systems, formal semantics, automated verification, service-oriented models
2	Sabnam Sengupta, Swapan Bhattacharya	Formalization of UML diagrams and their consistency verification: A Z notation based approach.	ISEC	2008	DBLP DOI BibTeX RDF	UML, traceability, formalization, class diagram, sequence diagram, Z notation, automated verification, use case diagram, ER diagram
2	Philip H. P. Nguyen, Ken Kaneiwa, Dan Corbett, Minh-Quang Nguyen	An Ontology Formalization of Relation Type Hierarchy in Conceptual Structure Theory.	Australasian Conference on Artificial Intelligence	2008	DBLP DOI BibTeX RDF
2	Charlotte Tang, M. Sheelagh T. Carpendale	Support for Informal Information Use and its Formalization in Medical Work.	CBMS	2008	DBLP DOI BibTeX RDF	informal information, formalization, work practices, medical, common information space, personal information space
2	Andrea Asperti, Wilmer Ricciotti	About the Formalization of Some Results by Chebyshev in Number Theory.	TYPES	2008	DBLP DOI BibTeX RDF
2	Toshihiro Matsui, Hiroshi Matsuo	A Formalization for Distributed Cooperative Sensor Resource Allocation.	KES-AMSTA	2008	DBLP DOI BibTeX RDF
2	Sergiy A. Vilkomir, Jonathan P. Bowen	From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria.	Formal Methods and Testing	2008	DBLP DOI BibTeX RDF
2	John Howse, Gem Stapleton	Visual Mathematics: Diagrammatic Formalization and Proof.	AISC/MKM/Calculemus	2008	DBLP DOI BibTeX RDF
2	Shaoying Liu	Utilizing Formalization to Test Programs without Available Source Code (Short Paper).	QSIC	2008	DBLP DOI BibTeX RDF	Testing, Specification-based testing, Software Quality Assurance
2	Yucong Duan	A dualism based semantics formalization mechanism for model driven engineering.	IEEE ICCI	2008	DBLP DOI BibTeX RDF
2	Cui Jin-hong, Wang Xu	Formalization and Verification of Inter-organizational Workflow Modeling for E-Commerce.	ISECS	2008	DBLP DOI BibTeX RDF
2	Guido Zuccon, Leif Azzopardi, C. J. van Rijsbergen	A Formalization of Logical Imaging for Information Retrieval Using Quantum Theory.	DEXA Workshops	2008	DBLP DOI BibTeX RDF	Logical Imaging, Information Retrieval, kinematics, Quantum Theory
2	Wendy Verbruggen, Edsko de Vries, Arthur Hughes	Polytypic programming in COQ.	ICFP-WGP	2008	DBLP DOI BibTeX RDF	kind-indexed types, theorem proving, generic programming, formalization, coq, polytypic programming
2	Luca Bellotti	Formalization, Syntax and the Standard Model of Arithmetic.	Synthese	2007	DBLP DOI BibTeX RDF	MSC 2000 00A30, 03A05, 03B10, 03E30
2	Christian Webel, Reinhard Gotzhein	Formalization of Network Quality-of-Service Requirements.	FORTE	2007	DBLP DOI BibTeX RDF
2	Junghwa Chae	Towards Modal Logic Formalization of Role-Based Access Control with Object Classes.	FORTE	2007	DBLP DOI BibTeX RDF	object class hierarchy, tableaux method, Role-based access control, modal logic, object classes
2	Osman Hasan, Sofiène Tahar	Formalization of Continuous Probability Distributions.	CADE	2007	DBLP DOI BibTeX RDF
2	Ahmed M. Mostafa, Manal A. Ismai, Hatem El-Bolok, E. M. Saad	Toward a Formalization of UML2.0 Metamodel using Z Specifications.	SNPD	2007	DBLP DOI BibTeX RDF	Use Case Diagram, State Machine Diagram, Unified Modeling Language (UML), Formalization, Class Diagram, Z specification language
2	Jan Mendling, Wil M. P. van der Aalst	Formalization and Verification of EPCs with OR-Joins Based on State and Context.	CAiSE	2007	DBLP DOI BibTeX RDF
2	Michael A. Shifrin, Olga B. Belousova, Eva I. Kasparova	Diagnostic Games, a Tool for Clinical Experience Formalization in Interactive "Physician--IT-specialist" Framework.	CBMS	2007	DBLP DOI BibTeX RDF
2	Yasuhiro Ogawa, Shintaro Inagaki, Katsuhiko Toyama	Automatic Consolidation of Japanese Statutes Based on Formalization of Amendment Sentences.	JSAI	2007	DBLP DOI BibTeX RDF	automatic consolidation, statute document, amendment sentence
2	Yan Lin, Liu Qing	A Logical Method of Formalization for Granular Computing.	GrC	2007	DBLP DOI BibTeX RDF
2	Juan M. Vara, Belén Vela, José María Cavero, Esperanza Marcos	Model transformation for object-relational database development.	SAC	2007	DBLP DOI BibTeX RDF	model transformation, graph transformation, formalization, object-relational databases
2	Daniela Feldkamp, Knut Hinkelmann, Barbara Thönssen	KISS - Knowledge-Intensive Service Support: An Approach for Agile Process Management.	RuleML	2007	DBLP DOI BibTeX RDF	Agile Business Process, Business Rules Formalization, Variable Process, Process Modelling, Business Rules
2	Sergiy A. Vilkomir, Jonathan P. Bowen	From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria.	Formal Asp. Comput.	2006	DBLP DOI BibTeX RDF	Software testing criteria, RC/DC, Formal methods, Z notation, MC/DC
2	Sergiy A. Vilkomir, Jonathan P. Bowen, Aditya K. Ghose	Formalization and assessment of regulatory requirements for safety-critical software.	ISSE	2006	DBLP DOI BibTeX RDF	Regulatory requirements, Formal methods, Certification, Z notation
2	Kai A. Olsen	Computer Intelligence and Formalization.	IEEE Computer	2006	DBLP DOI BibTeX RDF	computing profession, formalization, computer intelligence
2	Radu Serban, Anna Puig-Centelles, Annette ten Teije	Incremental guideline formalization with tool support.	AIAI	2006	DBLP DOI BibTeX RDF
2	Carsten Schürmann, Mark-Oliver Stehr	An Executable Formalization of the HOL/Nuprl Connection in the Metalogical Framework Twelf.	LPAR	2006	DBLP DOI BibTeX RDF
2	Alessandro Daidone, Felicita Di Giandomenico, Andrea Bondavalli, Silvano Chiaradonna	Hidden Markov Models as a Support for Diagnosis: Formalization of the Problem and Synthesis of the Solution.	SRDS	2006	DBLP DOI BibTeX RDF
2	Ming-Hsien Tsai, Bow-Yaw Wang	Formalization of CTL* in Calculus of Inductive Constructions.	ASIAN	2006	DBLP DOI BibTeX RDF
2	Fernando Náufel do Amaral, Carlos Bazílio, Geiza Maria Hamazaki da Silva, Alexandre Rademaker, Edward Hermann Haeusler	An Ontology-based Approach to the Formalization of Information Security Policies.	EDOC Workshops	2006	DBLP DOI BibTeX RDF
2	Xuan Zhou, Qing Li, Lars Ludwig, Yuliu Chen	Subject-Oriented Knowledge Formalization: Method and Prototype.	Web Intelligence	2006	DBLP DOI BibTeX RDF
2	Carole Adam, Benoit Gaudou, Andreas Herzig, Dominique Longin	OCC's Emotions: A Formalization in a BDI Logic.	AIMSA	2006	DBLP DOI BibTeX RDF
2	Silvio Valentini	The problem of the formalization of constructive topology.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF
2	Behzad Akbarpour, Sofiène Tahar, Abdelkader Dekdouk	Formalization of Fixed-Point Arithmetic in HOL.	Formal Methods in System Design	2005	DBLP DOI BibTeX RDF	theorem-proving, floating-point arithmetic, fixed-point arithmetic, HOL
2	Jorge E. López de Vergara, Víctor A. Villagrá, Julio Berrocal	On the Formalization of the Common Information Model Metaschema.	DSOM	2005	DBLP DOI BibTeX RDF
2	Federico Chesani	Formalization and Verification of Interaction Protocols.	ICLP	2005	DBLP DOI BibTeX RDF
2	Hiroshi Nakajima, Kazuto Kojitani, Masaki Arao, Shigeyasu Kawaji	Problem Formalization and Problem Solving Approach based on Fusion Model.	WSTST	2005	DBLP DOI BibTeX RDF
2	Jinghua Wen, Mei Zhang, Xiang Li	The study on the application of BAN logic in formal analysis of authentication protocols.	ICEC	2005	DBLP DOI BibTeX RDF	formalization analysis, authentication protocols, BAN logic
2	Fidel Aznar Gregori, Mar Pujol López, Ramón Rizo Aldeguer	Specifying Complex Systems with Bayesian Programming. An Alife Application.	International Conference on Computational Science	2005	DBLP DOI BibTeX RDF	Complex Systems Modeling, Artificial Life Formalization Model, Bayesian Programming
2	Victor V. Kuliamin, Nick V. Pakoulin, Alexandre Petrenko	Practical Approach to Specification and Conformance Testing of Distributed Network Applications.	ISAS	2005	DBLP DOI BibTeX RDF	asynchronous events specification, distributed system specification, formalization of standards, automated test construction, specification extension of programming language, test oracle generation, UniTesK, model based testing, conformance testing, Design by Contract
2	Carlos Rossi, Manuel Enciso, Inmaculada Perez de Guzmán	Formalization of UML state machines using temporal logic.	Software and System Modeling	2004	DBLP DOI BibTeX RDF	UML, specification, formal semantics, interval temporal logic, Statechart diagrams
2	Thouraya Bouabana-Tebibel, Mounira Belmesk	Formalization of UML object dynamics and behavior.	SMC	2004	DBLP DOI BibTeX RDF
2	Paul Hankes Drielsma, Sebastian Mödersheim, Luca Viganò	A Formalization of Off-Line Guessing for Security Protocol Analysis.	LPAR	2004	DBLP DOI BibTeX RDF
2	Masaki Nakagawa, Bilan Zhu, Motoki Onuma	A Formalization of On-line Handwritten Japanese Text Recognition free from Line Direction Constraint.	ICPR	2004	DBLP DOI BibTeX RDF
2	Dachuan Yu, Andrew Kennedy, Don Syme	Formalization of generics for the .NET common language runtime.	POPL	2004	DBLP DOI BibTeX RDF	CLR, run-time types, generics, polymorphism, NET
2	Jim Blythe, Yolanda Gil	Incremental formalization of document annotations through ontology-based paraphrasing.	WWW	2004	DBLP DOI BibTeX RDF	knowledge acquisition, semantic markup, document annotation
2	Jianwen Chen, Yan Zhang	An extended logic programming based multi-agent system formalization in mobile environments.	CIKM	2004	DBLP DOI BibTeX RDF	extended logic programming, multi-agent system, mobile environments
2	Sjouke Mauw, Jan Verschuren, Erik P. de Vink	A Formalization of Anonymity and Onion Routing.	ESORICS	2004	DBLP DOI BibTeX RDF
2	Jie Yuan, Huaikou Miao, Liang Cai	A Design Pattern Verifier in Two-Tier Programming Environment.	CIT	2004	DBLP DOI BibTeX RDF	Automatic verification of program, Two-tier Programming, Design pattern, Formalization
2	Franck Barbier, Brian Henderson-Sellers, Annig Le Parc, Jean-Michel Bruel	Formalization of the Whole-Part Relationship in the Unified Modeling Language.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	Whole-Part relationship, UML, composition, aggregation, Object-oriented modeling
2	Zhanmin Yang, Chundi Mu	The Formalization of Argumentation and Its Application in Network Computing.	Web Intelligence	2003	DBLP DOI BibTeX RDF
2	Alberto Momigliano, Jeff Polakow	A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines.	MERLIN	2003	DBLP DOI BibTeX RDF	continuation machines, ordered linear logic, logical frameworks, higher order abstract syntax
2	Nikolaj Oldager	Intensional Formalization of Conceptual Structures.	ICCS	2003	DBLP DOI BibTeX RDF
2	Bernhard Schätz, Chris Salzmann	Service-Based Systems Engineering: Consistent Combination of Services.	ICFEM	2003	DBLP DOI BibTeX RDF	model checking, interaction, specification, component, application, consistency, implementation, Service, completeness, tool- support, behavior, formalization, partiality
2	Zheng Xiaojuan, Xu Tao, Jin Ying	Formalizing Active Networks Security with Seal-Calculus.	ISPA	2003	DBLP DOI BibTeX RDF	ANs, active codes, Seal-calculus, security, formalization
2	Behzad Akbarpour, Abdelkader Dekdouk, Sofiène Tahar	Formalization of Cadence SPW Fixed-Point Arithmetic in HOL.	IFM	2002	DBLP DOI BibTeX RDF	SPW, Theorem-Proving, Signal Processing, Floating-point, Fixed-point, HOL
2	Luís Cruz-Filipe	A Constructive Formalization of the Fundamental Theorem of Calculus.	TYPES	2002	DBLP DOI BibTeX RDF
2	Girish Kumar Patnaik, M. M. Gore	Design of Compiler for Mobile Environment and Its Formalization Using Evolving Algebra. (PDF / PS)	Mobile Data Management	2002	DBLP DOI BibTeX RDF	Evolving Algebra, Mobile Computing, Compiler Design
2	Reynald Affeldt, Naoki Kobayashi	Formalization and Verification of a Mail Server in Coq.	ISSS	2002	DBLP DOI BibTeX RDF
2	Rodrigo E. Caballero, Steven A. Demurjian	Towards the Formalization of a Reusability Framework for Refactoring.	ICSR	2002	DBLP DOI BibTeX RDF
2	Joseph Gil, John Howse, Stuart Kent	Towards a Formalization of Constraint Diagrams.	HCC	2001	DBLP DOI BibTeX RDF	formal methods, software specification, Visual formalisms
2	Sergiy A. Vilkomir, Jonathan P. Bowen	Formalization of Software Testing Criteria using the Z Notation.	COMPSAC	2001	DBLP DOI BibTeX RDF	coverage, Z notation, testing criteria, MC/DC
2	David Mentré, Daniel Le Métayer, Thierry Priol	Formalization and Verification of Coherence Protocols with the Gamma Framework. (PDF / PS)	PDSE	2000	DBLP DOI BibTeX RDF
2	Betty H. C. Cheng, Laura A. Campbell, Enoch Y. Wang	Enabling Automated Analysis through the Formalization of Object-Oriented Modeling Diagrams.	DSN	2000	DBLP DOI BibTeX RDF	simulation and model checking, formal specifications, Object-oriented modeling
2	Christophe Dehlinger, Jean-François Dufourd, Pascal Schreck	Higher-Order Intuitionistic Formalization and Proofs in Hilbert's Elementary Geometry.	Automated Deduction in Geometry	2000	DBLP DOI BibTeX RDF
2	Silvia Teresita Acuña, R. Giandini, Cecilia María Lasserre, Viviana Elizabet Quincoces	Capacities-Centered Integral Software Process Formalization.	SCCC	2000	DBLP DOI BibTeX RDF	CCISPM, Capacities Centered Integral Software Process Model, software engineering, object-oriented programming, knowledge based systems, knowledge-based systems, project management, dynamic modeling, project planning, object oriented approach
2	Innocent Bakam, Fabrice Kordon, Christophe Le Page, François Bousquet	Formalization of a Spatialized Multiagent Model Using Coloured Petri Nets for the Study of an Hunting Management System.	FAABS	2000	DBLP DOI BibTeX RDF
2	Josefina Sierra-Santibáñez	Declarative Formalization of Strategies for Action Selection: Applications to Planning.	JELIA	2000	DBLP DOI BibTeX RDF
2	Harald F. O. von Kortzfleisch, Andreas Al-Laham	Structurization and Formalization of Knowledge Management in Virtual Organizations: The Case of a Medium-Sized Consulting Company. (PDF / PS)	HICSS	2000	DBLP DOI BibTeX RDF
2	Thomas Bittner	A Qualitative Formalization of Built Environments.	DEXA	2000	DBLP DOI BibTeX RDF
2	Rainer Koppler	Parallelization of Unstructured Mesh Computations Using Data Structure Formalization.	Euro-Par	1998	DBLP DOI BibTeX RDF
2	Abdelillah Mokkedem, Ravi Hosabettu, Ganesh Gopalakrishnan	Formalization and Proof of a Solution to the PCI 2.1 Bus Transaction Ordering Problem.	FMCAD	1998	DBLP DOI BibTeX RDF
2	Mitsuharu Yamamoto, Koichi Takahashi, Masami Hagiya, Shin-ya Nishizaki, Tetsuo Tamai	Formalization of Graph Search Algorithms and Its Applications.	TPHOLs	1998	DBLP DOI BibTeX RDF
2	Malcolm Shroff, Robert B. France	Towards a formalization of UML class structures in Z. (PDF / PS)	COMPSAC	1997	DBLP DOI BibTeX RDF	UML class structures, semantic base, OO model, Unified Modeling Language, formal specification, specification, object-oriented modeling, modeling language, Z language
2	Takahisa Mohri	On Formalization of Bicategory Theory.	TPHOLs	1997	DBLP DOI BibTeX RDF
2	Jun Han	Designing for Increased Software Maintainability. (PDF / PS)	ICSM	1997	DBLP DOI BibTeX RDF	software maintenance, traceability, formalization, change management, Design rationales, design decisions, software comprehension, design specifications
2	Iliano Cervesato, Massimo Franceschet, Angelo Montanari	Modal Event Calculi with Preconditions. (PDF / PS)	TIME	1997	DBLP DOI BibTeX RDF	modal event calculi, event occurrences, maximal validity intervals, semantic formalization, MVI validation, complexity, temporal logic, temporal logic, preconditions, event calculus
2	Chia-Chu Chiang, Joseph E. Urban	Incremental Elicitation and Formalization of User Requirements through Rapid Prototyping via Software Transformations. (PDF / PS)	COMPSAC	1996	DBLP DOI BibTeX RDF	incremental elicitation, user specifications, TUG formal specification language, abstract execution, change request scripts, specification changes, timely updates, telegram analysis problem, formal specification, specification languages, rapid prototyping, formalization, software prototyping, user requirements, software transformations
2	Bénédicte Dano, Henri Briand, Franck Barbier	Progressing Towards Object-Oriented Requirements Specifications by using the USE CASE Concept.	ECBS	1996	DBLP DOI BibTeX RDF	dynamic specifications, verification, requirements engineering, formalization, object-oriented analysis
2	John R. Landry	Culture and the formalization of organizational decision support systems.	HICSS	1995	DBLP DOI BibTeX RDF	cultural phenomenon, codification, software engineering, decision support systems, decision support systems, culture, information sharing, diffusion, business data processing, group decision support systems, organizational decision support systems
2	Jan Madsen, Bjarne Hald	An approach to interface synthesis.	ISSS	1995	DBLP DOI BibTeX RDF	channel optimization, client-side interface description, client/server module synthesis, communication events formalization, existing module reuse, multiple client/server environment, one-sided interface description, server interface description, software reusability, application program interfaces, client-server systems, subroutines, interface synthesis, point-to-point communication
2	Guillaume Le Blanc	BMWk Revisited - Generalization and Formalization of an Algorithm for Detecting Recursive Relations in Term Sequences.	ECML	1994	DBLP DOI BibTeX RDF
2	Ian Maung, John Howse, Richard J. Mitchell	Towards a Formalization of Programming-by-Difference.	FME	1994	DBLP DOI BibTeX RDF	contravariance, inheritance, subtype, design-by-contract, incremental programming
2	Frank M. Shipman III, Raymond McCall	Supporting knowledge-base evolution with incremental formalization.	CHI	1994	DBLP DOI BibTeX RDF	knowledge representation, knowledge-based systems, knowledge acquisition, hypermedia, structure, formalization
2	Sarita V. Adve, Mark D. Hill	A Unified Formalization of Four Shared-Memory Models.	IEEE Trans. Parallel Distrib. Syst.	1993	DBLP DOI BibTeX RDF	data-race-free-1, data-race-free-0, hazards and raceconditions, multiprocessors, shared memory systems, formalization, sequential consistency, weak ordering, shared-memory models, release consistency
2	Anthony McIsaac	A Formalization of Abstraction in LAMBDA.	HUG	1993	DBLP DOI BibTeX RDF