Search results for "formal model"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Francisco José Alfaro, José L. Sánchez, M. Menduiña, José Duato	A Formal Model to Manage the InfiniBand Arbitration Tables Providing QoS.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	Scheduling, QoS, Formal Model, InfiniBand
3	Hong Zhang, Yeping He, Zhiguo Shi	A formal model for access control with supporting spatial context.	Science in China Series F: Information Sciences	2007	DBLP DOI BibTeX RDF	constraints, RBAC, information security, lattice, MLS, formal model, spatial context
3	Giorgio Zanin, Luigi V. Mancini	Towards a formal model for security policies specification and validation in the selinux system.	SACMAT	2004	DBLP DOI BibTeX RDF	security enhanced linux, configuration, formal model
3	Silvia Teresita Acuña, Mabel del V. Sosa	An Integral Software Process Formal Model based on the SOCCA Approach.	SCCC	2000	DBLP DOI BibTeX RDF	integral software process formal model, SOCCA approach, Capacity-Centered Integral Software Process Model, CCISPM, object-oriented modeling approach, Specifications of Coordinated and Cooperative Activities, software engineering, object-oriented programming, knowledge based systems, knowledge-based systems, design process
3	Mohamed Cheriet, Joseph N. Said, Ching Y. Suen	A formal model for document processing of business forms. (PDF / PS)	ICDAR	1995	DBLP DOI BibTeX RDF	bank cheques, hybrid-based approach, base lines, hand-printed data, knowledge rules, morphological processing, topological processing, gray-scale cheques, image segmentation, optical character recognition, handwriting recognition, formal model, image enhancement, document image processing, document processing, gray-scale images, business forms, business forms
2	James Dooley, Martin Henson, Vic Callaghan, Hani Hagras, Daniyal Al-Ghazzawi, Areej Malibari, Mohammed Al-Haddad, Abdullah Al-Malaise Al-Ghamdi	A Formal Model for Space Based Ubiquitous Computing.	Intelligent Environments	2011	DBLP DOI BibTeX RDF	Ubiquitous Computing, Formal Model
2	Ondrej Rysavy, Jaroslav Ráb	A formal model of composing components: the TLA+ approach.	ISSE	2009	DBLP DOI BibTeX RDF	Composing specifications, Synchronous mode of executions, Temporal logic of actions, Component model, Hierarchical specifications
2	Michael Köhler-Bußmeier, Matthias Wester-Ebbinghaus, Daniel Moldt	A Formal Model for Organisational Structures behind Process-Aware Information Systems.	T. Petri Nets and Other Models of Concurrency	2009	DBLP DOI BibTeX RDF
2	Pushpendra Bahadur Singh, Banshi Dhar Chaudhary	A formal model of design-patterns based design.	ISEC	2009	DBLP DOI BibTeX RDF	specification, design patterns
2	Wang Yu, Haiwu He, Wang Zhi-Jia	Towards a formal model of volunteer computing systems.	IPDPS	2009	DBLP DOI BibTeX RDF
2	Kang Zhao, John Yen, Carleen F. Maitland, Andrea Hoplight Tapia, Louis-Marie Ngamassi Tchouakeu	A formal model for emerging coalitions under network influence in humanitarian relief coordination.	SpringSim	2009	DBLP DOI BibTeX RDF	emerging coordination, humanitarian relief, network influence, agent-based model, coalition formation
2	Felipe Lalanne, Stéphane Maag	From the IMS PoC service monitoring to its formal conformance testing.	Mobility Conference	2009	DBLP DOI BibTeX RDF	service implementation, testing, formal model, IMS
2	Mikolaj Zuzek, Marek Talik, Tomasz Swierczynski, Cezary Wisniewski, Bartosz Kryza, Lukasz Dutka, Jacek Kitowski	Formal Model for Contract Negotiation in Knowledge-Based Virtual Organizations.	ICCS	2008	DBLP DOI BibTeX RDF	Contract Negotiation, Ontology, Grid, Virtual Organization
2	Maciej Smolka	Task Hibernation in a Formal Model of Agent-Oriented Computing Systems.	ICCS	2008	DBLP DOI BibTeX RDF
2	Leila Ismail, Bruce Mills, Alain Hennebelle	A Formal Model of Dynamic Resource Allocation in Grid Computing Environment.	SNPD	2008	DBLP DOI BibTeX RDF
2	Lakshmish Ramaswamy, Guruduth Banavar	A Formal Model of Service Delivery.	IEEE SCC	2008	DBLP DOI BibTeX RDF	Services delivery system, Service operating system, Resource management, Service processes
2	Yi Cai, Ho-fung Leung	A Formal Model of Fuzzy Ontology with Property Hierarchy and Object Membership.	ER	2008	DBLP DOI BibTeX RDF
2	Bo Meng	A Formal Analysis of Coercion-Resistance of the Internet Voting Protocol Based on DKR Formal Model.	ISIP	2008	DBLP DOI BibTeX RDF	internet voting protocol, formal analysis, coercion-resistance
2	Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Hongli Yang	A Formal Model of Human Workflow.	ICWS	2008	DBLP DOI BibTeX RDF
2	Jingyu Nam, Hyunwoo Kim, Dongmin Shin, Jaeil Park	A Formal Model of Coordination for Supporting Community Computing in a Ubiquitous Environment.	APCHI	2008	DBLP DOI BibTeX RDF
2	Achyanta Sarmah, Shyamanta M. Hazarika, Smriti Kumar Sinha	Security Pattern Lattice: A Formal Model to Organize Security Patterns.	DEXA Workshops	2008	DBLP DOI BibTeX RDF	trust, scaling, formal concept analysis, concept lattice, security pattern
2	Nabil Ajam, Ahmed Bouabdallah	Privacy Improvement through Pseudonymity in Parlay X for Location Based Services.	ICN	2008	DBLP DOI BibTeX RDF	Parlay X, web services, Privacy, Location based services, formal model, Pseudonymity
2	José M. Reyes Álamo, Johnny Wong, Ryan Babbitt, Carl K. Chang	MISS: Medicine Information Support System in the Smart Home Environment.	ICOST	2008	DBLP DOI BibTeX RDF	pharmacy, conflict checking, RFID, formal model, Smart Home, OSGi, medicine, doctor
2	Manfred Broy, Ingolf H. Krüger, Michael Meisinger	A formal model of services.	ACM Trans. Softw. Eng. Methodol.	2007	DBLP DOI BibTeX RDF	assumption/commitment specifications, software architecture, Components, services, service engineering
2	Maristella Agosti, Nicola Ferro	A formal model of annotations of digital content.	ACM Trans. Inf. Syst.	2007	DBLP DOI BibTeX RDF	Annotation, hypertext, digital content, foundations, digital library system
2	Maciej Smolka	A Formal Model of Multi-agent Computations.	PPAM	2007	DBLP DOI BibTeX RDF
2	Jan Schaffner, Harald Meyer, Mathias Weske	A Formal Model for Mixed Initiative Service Composition.	IEEE SCC	2007	DBLP DOI BibTeX RDF
2	Alapan Arnab, Andrew Hutchison	Persistent access control: a formal model for DRM.	Digital Rights Management Workshop	2007	DBLP DOI BibTeX RDF	access control, REL, rights expression languages
2	José Mira, Ana E. Delgado, Antonio Fernández-Caballero, María T. López, Miguel Angel Fernández	The Underlying Formal Model of Algorithmic Lateral Inhibition in Motion Detection.	IWINAC	2007	DBLP DOI BibTeX RDF
2	Manuel Atencia, W. Marco Schorlemmer	A formal model for situated semantic alignment.	AAMAS	2007	DBLP DOI BibTeX RDF	channel refinement, distributed logic, semantic alignment
2	Gautier Loyauté, Rémi Forax, Gilles Roussel	A Java toolkit for the design and the automatic checking of server architectures.	PPPJ	2007	DBLP DOI BibTeX RDF	Java toolkit, software engineering, formal model, automatic generation, internet server
2	Lan Nguyen, Reihaneh Safavi-Naini, Kaoru Kurosawa	Verifiable shuffles: a formal model and a Paillier-based three-round construction with provable security.	Int. J. Inf. Sec.	2006	DBLP DOI BibTeX RDF	Verifiable shuffles, Paillier public-key system, Privacy, Mix-nets, Formal security model
2	John K. Debenham	Maintaining knowledge with a formal model.	Appl. Intell.	2006	DBLP DOI BibTeX RDF	Knowledge-based systems, Conceptual modelling, Maintenance, Correctness
2	Qingguang Ji, Sihan Qing, Yeping He	A formal model for integrity protection based on DTE technique.	Science in China Series F: Information Sciences	2006	DBLP DOI BibTeX RDF	integrity policy, information flow, formal model, type, domain
2	Dongmin Shin, Richard A. Wysk, Ling Rothrock	Formal model of human material-handling tasks for control of manufacturing systems.	IEEE Transactions on Systems, Man, and Cybernetics, Part A	2006	DBLP DOI BibTeX RDF
2	Mats Neovius, Kaisa Sere, Lu Yan, M. Satpathy	A Formal Model of Context-Awareness and Context-Dependency.	SEFM	2006	DBLP DOI BibTeX RDF
2	Matteo Risoldi, Vasco Amaral	Towards a Formal, Model-Based Framework for Control Systems Interaction Prototyping.	RISE	2006	DBLP DOI BibTeX RDF
2	Julien Schmaltz	A Formal Model of Lower System Layers.	FMCAD	2006	DBLP DOI BibTeX RDF
2	Xiangpeng Zhao, Hongli Yang, Zongyan Qiu	Towards the Formal Model and Verification of Web Service Choreography Description Language.	WS-FM	2006	DBLP DOI BibTeX RDF
2	Jean-Charles Verdié, Danièle Hérin, Michel Sala	A formal model for automated processing of Web Services.	AICT/ICIW	2006	DBLP DOI BibTeX RDF
2	R. D. Arthan	A Verified Formal Model of a VC Generator.	SEW	2006	DBLP DOI BibTeX RDF
2	Feng Chen, Hongji Yang, Bing Qiao, William Cheng-Chung Chu	A Formal Model Driven Approach to Dependable Software Evolution.	COMPSAC	2006	DBLP DOI BibTeX RDF	Formal Method, Model Driven Architecture (MDA), Software Evolution, Model Transformation, Software Reengineering, Wide Spectrum Language (WSL)
2	Devinder Thapa, Jaeil Park, Gi-Nam Wang, Dongmin Shin	Timed-MPSG: A Formal Model for Real-Time Shop Floor Controller.	CIMCA/IAWTIC	2006	DBLP DOI BibTeX RDF	MPSG, Shop floor Control, Verification and Validation (V&V), Finite State Automata, FMS
2	Riadh Hadj M'tir, Lobna Jeribi, Béatrice Rumpler	Learning Area Based on an Ontology Formal Model for E-learning Systems.	ICDIM	2006	DBLP DOI BibTeX RDF
2	David W. Matula, Lee D. McFearin	A formal model and efficient traversal algorithm for generating testbenches for verification of IEEE standard floating point division.	DATE	2006	DBLP DOI BibTeX RDF
2	Leila Amgoud, Nabil Hameurlain	A formal model for designing dialogue strategies.	AAMAS	2006	DBLP DOI BibTeX RDF	strategies, dialogue
2	Michal Pechoucek, Jan Tozicka, Martin Rehák	Towards formal model of adversarial action in multi-agent systems.	AAMAS	2006	DBLP DOI BibTeX RDF	adversarial action, cooperation, formal model, competitiveness
2	Adrian Mocan, Emilia Cimpian, Mick Kerrigan	Formal Model for Ontology Mapping Creation.	International Semantic Web Conference	2006	DBLP DOI BibTeX RDF
2	Freddy Lécué, Alain Léger	A Formal Model for Semantic Web Service Composition.	International Semantic Web Conference	2006	DBLP DOI BibTeX RDF	Automated composition, Web service, Semantic Web, Automated reasoning, AI planning
2	Kris Cardinaels, Erik Duval, Henk J. Olivié	A Formal Model of Learning Object Metadata.	EC-TEL	2006	DBLP DOI BibTeX RDF
2	Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Geguang Pu, Shuling Wang	A Formal Model forWeb Service Choreography Description Language (WS-CDL).	ICWS	2006	DBLP DOI BibTeX RDF
2	Ilie I. Luican, Hongwei Zhu, Florin Balasa	Formal model of data reuse analysis for hierarchical memory organizations.	ICCAD	2006	DBLP DOI BibTeX RDF
2	Liuying Tang, Sihan Qing	A Practical Alternative to Domain and Type Enforcement Integrity Formal Models.	Inscrypt	2006	DBLP DOI BibTeX RDF	security goal, integrity, information flow, formal model, Security label
2	Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Geguang Pu	Type Checking Choreography Description Language.	ICFEM	2006	DBLP DOI BibTeX RDF	Formal model, Choreography, Type checking, WS-CDL
2	Xinwen Zhang, Francesco Parisi-Presicce, Ravi S. Sandhu, Jaehong Park	Formal model and policy specification of usage control.	ACM Trans. Inf. Syst. Secur.	2005	DBLP DOI BibTeX RDF	Access control, formal specification, security policy, usage control
2	Abram Hindle, Daniel M. Germán	SCQL: a formal model and a query language for source control repositories.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF
2	Ching-Huey Wang, William C. Chu, Feng-Jian Wang	Providing a behavioral and static formal model to elicit the functional software requirement.	IRI	2005	DBLP DOI BibTeX RDF
2	Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik	Formal Model-Driven Development of Communicating Systems.	ICFEM	2005	DBLP DOI BibTeX RDF
2	Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard	How Symbolic Animation Can Help Designing an Efficient Formal Model.	ICFEM	2005	DBLP DOI BibTeX RDF	Symbolic animation, properties detection, weak invariant, strong preconditions, unreachable effects, constraints
2	Pamela Zave	A Formal Model of Addressing for Interoperating Networks.	FM	2005	DBLP DOI BibTeX RDF	network requirements, networks, network design, Alloy
2	Junrong Shen, Xi Sun, Gang Huang 0001, Wenpin Jiao, Yanchun Sun, Hong Mei	Towards a unified formal model for supporting mechanisms of dynamic component update.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	architectural connector, software architecture, CSP, dynamic update
2	Tun Lu, Zhishu Li, Chunlin Xu, Xuemei Huang	A Formal Model for Grid Service Deployment in Grid Service Mining Based on Installation Strategies.	GCC	2005	DBLP DOI BibTeX RDF
2	Abram Hindle, Daniel M. Germán	SCQL: a formal model and a query language for source control repositories.	MSR	2005	DBLP DOI BibTeX RDF
2	Fabrice Bouquet, Eddie Jaffuel, Bruno Legeard, Fabien Peureux, Mark Utting	Requirements traceability in automated test generation: application to smart card software validation.	A-MOST	2005	DBLP DOI BibTeX RDF	model-based testing, formal model, requirements traceability
2	Andreas Schlosser, Marco Voss	Simulating data dissemination techniques for local reputation systems.	AAMAS	2005	DBLP DOI BibTeX RDF	simulation, formal model, data dissemination, reputation systems
2	Fabrice Bouquet, Eddie Jaffuel, Bruno Legeard, Fabien Peureux, Mark Utting	Requirements traceability in automated test generation: application to smart card software validation.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF	model-based testing, formal model, requirements traceability
2	Theodora Tsikrika, Mounia Lalmas	Modelling Good Entry Pages on the Web.	ISMIS	2005	DBLP DOI BibTeX RDF	best entry pages, formal model, Web Information Retrieval, Dempster-Shafer theory of evidence
2	Massimiliano Albanese, Angelo Chianese, Vincenzo Moscato, Lucio Sansone	A Formal Model for Video Shot Segmentation and its Application via Animate Vision.	Multimedia Tools Appl.	2004	DBLP DOI BibTeX RDF	shot transitions, animate vision, video indexing, video segmentation
2	András Belokosztolszki, Ken Moody, David M. Eyers	A Formal Model for Hierarchical Policy Contexts.	POLICY	2004	DBLP DOI BibTeX RDF
2	Swapan Bhattacharyya, Joydeep Bhattacharyya, Adrish Ray Chaudhuri	ASET: A Formal Model for System Emulation and Verification.	IEEE International Workshop on Rapid System Prototyping	2004	DBLP DOI BibTeX RDF
2	Lan Nguyen, Reihaneh Safavi-Naini, Kaoru Kurosawa	Verifiable Shuffles: A Formal Model and a Paillier-Based Efficient Construction with Provable Security.	ACNS	2004	DBLP DOI BibTeX RDF	verifiable shuffles, Paillier public-key system, Privacy, mix-nets, formal security model
2	Peter T. Breuer	A Formal Model for the Block Device Subsystem of the Linux Kernel.	ICFEM	2003	DBLP DOI BibTeX RDF
2	Marco Carbone, Mogens Nielsen, Vladimiro Sassone	A Formal Model for Trust in Dynamic Networks.	SEFM	2003	DBLP DOI BibTeX RDF
2	Yasuyuki Tahara, Nobukazu Yoshioka, Shinichi Honiden	A Formal Model of Active Contents Based on the Ambient Calculus.	MATA	2003	DBLP DOI BibTeX RDF
2	Jinlei Jiang, Meilin Shi	CoAuto: A Formal Model for Cooperative Processes.	GCC	2003	DBLP DOI BibTeX RDF
2	Annikka Aalto, Nisse Husberg, Kimmo Varpaaniemi	Automatic Formal Model Generation and Analysis of SDL.	SDL Forum	2003	DBLP DOI BibTeX RDF	state space explosion problem, SDL, reachability analysis, high-level Petri nets
2	Tomoya Kitai, Yusuke Oguro, Tomohiro Yoneda, Eric Mercer, Chris J. Myers	Level Oriented Formal Model for Asynchronous Circuit Verification and its Efficient Analysis Method.	PRDC	2002	DBLP DOI BibTeX RDF
2	Sung Young Jung, Jeong-Hee Hong, Taek-Soo Kim	A Formal Model for User Preference.	ICDM	2002	DBLP DOI BibTeX RDF
2	Gabriela N. Aranda, Richard Moore	A formal model for verifying compound design patterns.	SEKE	2002	DBLP DOI BibTeX RDF
2	Mounia Lalmas	A Formal Model for Data Fusion.	FQAS	2002	DBLP DOI BibTeX RDF
2	Andres Flores, Richard Moore, Luis Reynoso	A Formal Model of Object-Oriented Design and GoF Design Patterns.	FME	2001	DBLP DOI BibTeX RDF
2	Jan Camenisch, Anna Lysyanskaya	An Identity Escrow Scheme with Appointed Verifiers.	CRYPTO	2001	DBLP DOI BibTeX RDF	formal model for group signatures, group signatures, privacy protection, Identity escrow
2	Dean Kuo, Doug Palmer	Automated Analysis of Java Message Service Providers.	Middleware	2001	DBLP DOI BibTeX RDF	Automated component testing, performance analysis, formal model, JMS, I/O Automata
2	R. D. Arthan	Analysis of Compiled Code: A Prototype Formal Model.	ZB	2000	DBLP DOI BibTeX RDF
2	Thomas A. Henzinger	Masaccio: A Formal Model for Embedded Components.	IFIP TCS	2000	DBLP DOI BibTeX RDF
2	Kristina Lundqvist, Lars Asplund	A Formal Model of a Run-Time Kernel for Ravenscar.	RTCSA	1999	DBLP DOI BibTeX RDF
2	Amihai Motro	Multiplex: A Formal Model for Multidatabases and Its Implementation.	NGITS	1999	DBLP DOI BibTeX RDF
2	Martin Raubal, Michael F. Worboys	A Formal Model of the Process of Wayfinding in Built Environments.	COSIT	1999	DBLP DOI BibTeX RDF	Image Schemata, Knowledge Frames, Graphs, Logic, Spatial Reasoning, Affordances, Wayfinding
2	Carsten Rudolph	A Formal Model for Systematic Design of Key Establishment Protocols.	ACISP	1998	DBLP DOI BibTeX RDF
2	Dragan Milicev, Zoran Jovanovic	A Formal Model of Software Pipelining Loops with Conditions. (PDF / PS)	IPPS	1997	DBLP DOI BibTeX RDF	software pipelining loops, PSP model, parallel programming, finite state machine, formal model, software pipelining, parallelizing loops, conditional branches
2	Susanne Hofer	A Formal Model for Integrated System Development.	EUROCAST	1997	DBLP DOI BibTeX RDF
2	Roberta Mancini	Interacting with a visual editor.	AVI	1996	DBLP DOI BibTeX RDF	visual editor, formal model, reachability, undo, visual query system
2	Sheetanshu L. Pandey, Kothanda R. Subramanian, Philip A. Wilsey	A Semantic Model of VHDL for Validating Rewriting Algebras.	EUROMICRO	1996	DBLP DOI BibTeX RDF	rewriting algebras validation, declarative style, process-folding, CAD tool optimization, VHDL, formal model, semantic model, hardware description languages, interval temporal logic, dynamic semantics
2	Olivier Thiry, Luc J. M. Claesen	A formal verification technique for embedded software. (PDF / PS)	ICCD	1996	DBLP DOI BibTeX RDF	embedded software correctness, assembly program code, CTL temporal logic formulae, embedded system application, assembly language program, formal verification, program verification, formal model, embedded software, processor architecture, instruction set
2	Jianjun Zhao, Jingde Cheng, Kazuo Ushijima	Program dependence analysis of concurrent logic programs and its applications. (PDF / PS)	ICPADS	1996	DBLP DOI BibTeX RDF	program dependence analysis, language-independent program representations, dependence-based program representation, Literal Dependence Net, software engineering, testing, parallel programming, logic programming, software maintenance, debugging, software metrics, programming environments, programming environment, maintenance, program slicing, formal model, program debugging, data flows, control flows, complexity measurement, concurrent logic programs
2	Gerhard Viehstaedt, Mark Minas	Graphical Representation and Manipulation of Complex Structures Based on a Formal Model	CAiSE	1995	DBLP DOI BibTeX RDF
2	Mark W. Bailey, Jack W. Davidson	A Formal Model of Procedure Calling Conventions.	POPL	1995	DBLP DOI BibTeX RDF
2	Constance L. Heitmeyer, Bruce G. Labaw, Daniel L. Kiskis	Consistency checking of SCR-style requirements specifications. (PDF / PS)	RE	1995	DBLP DOI BibTeX RDF	SCR-style requirements specifications, SCR tabular notation, application independent properties, domain coverage, formal requirements model, automated consistency checking, formal specification, data integrity, program verification, formal model, determinism, software development process, consistency checks, formal analysis, type correctness
2	Michael D. Rice, Stephen B. Seidman	A Formal Model for Module Interconnection Languages.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	module interconnection languages, hierarchical module structure design, Z schema type definitions, generic parameters, application-specific declarations, STILE, graphical design environment, formal specification, constraints, programming environments, specification languages, specification language, systems analysis, formal model, development environment, Conic, configuration language
2	Susan L. Gerhart, Dan Craigen, Ted Ralston	Case Study: Darlington Nuclear Generating Station. (PDF / PS)	IEEE Software	1994	DBLP DOI BibTeX RDF	fission reactor core control and monitoring, fission reactor safety, nuclear engineering computing, Darlington nuclear generating station, nuclear plant, Ontario Hydro, software driven shutdown systems, neutron-absorbing rods, liquid poison injection, Atomic Energy Control Board of Canada, decision-making logic, formal model-based inspection, formal specification, formal methods, specifications, case study, software reliability, documentation, safety, certification, safety-critical systems, licensing, Canada, code quality