Search results for "Conflict"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Nicholas C. Gloy, Michael D. Smith 0001	Procedure placement using temporal-ordering information.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	temporal profiling, working-set optimization, conflict misses, code placement
17	Nicholas C. Gloy, Trevor Blackwell, Michael D. Smith 0001, Brad Calder	Procedure Placement Using Temporal Ordering Information.	MICRO	1997	DBLP DOI BibTeX RDF	profiling, conflict misses, code layout
17	Anthony Hall	What's the Use of Requirements Engineering?	RE	1997	DBLP DOI BibTeX RDF	method selection, formal specification, requirements engineering, informality, conflict resolution, pragmatism
17	Peter J. Stuckey, Vincent W. L. Tam	Extending EGENET with Lazy Constraint Consistency.	ICTAI	1997	DBLP DOI BibTeX RDF	extended EGENET, lazy constraint consistency, neural network simulator, min-conflict heuristic, hard graph-colouring problems, complete search methods, stochastic search methods, convergence behaviour, scheduling, planning (artificial intelligence), planning, constraint satisfaction problems, bin-packing, arc consistency, search behaviour
17	Peter Bertók, Martti Mäntylä, Jim McGovern, George Fernandez	Working Group Report on Information Infrastructure for Global and Virtual Enterprises.	WETICE	1997	DBLP DOI BibTeX RDF	global enterprises, IT-based methods, geographical distance, security, scalability, formal verification, cooperation, knowledge sharing, virtual enterprises, heterogeneous environments, information networks, information infrastructure, knowledge capture, dynamic properties, conflict management, extendibility
17	Peter Grün, Petru Eles, Krzysztof Kuchcinski, Zebo Peng	Automatic Parallelization of a Petri Net-Based Design Representation for High-Level Synthesis.	EUROMICRO	1996	DBLP DOI BibTeX RDF	Petri net-based design representation, internal design representation, hardware structures, conflict freeness, hierarchical Petri net structure, CAMAD, complexity, parallelization process, Petri nets, high-level synthesis, automatic parallelization, design environment, safeness
17	Xiaoqing Frank Liu, John Yen	An Analytic Framework for Specifying and Analyzing Imprecise Requirements.	ICSE	1996	DBLP BibTeX RDF	conflicting requirements, cooperative requirements, formal specification methods, implicit conflicts, imprecise requirements specification, informal requirements, irrelevant requirements, mutually exclusive requirements, relative priorities, formal specification, fuzzy logic, systems analysis, requirements analysis, conflict resolution, trade-off analysis, requirement change
17	Kelly Burke, Laku Chidambaram, John Locke	Evolution of relational factors over time: a study of distributed and nondistributed meetings.	HICSS (4)	1995	DBLP DOI BibTeX RDF	relational factors, nondistributed meetings, collaborative organizational model, distributed workteams, adaptive structuration theory, process satisfaction, distributed-synchronous groups, distributed-asynchronous groups, groupware, teleconferencing, office automation, distributed meetings, electronic meeting systems, conflict management
17	Josyula R. Rao	Eventual determinism: using probabilistic means to achieve deterministic ends.	HICSS (2)	1995	DBLP DOI BibTeX RDF	eventual determinism, eventually-determining algorithms, worst case complexity bound, parallel algorithms, computational complexity, self-stabilization, conflict resolution, deterministic algorithms, deterministic algorithms, probabilistic algorithms, randomised algorithms, symmetry breaking, determinacy, parallel algorithm design
17	Steve M. Easterbrook	Coordination breakdowns: why groupware is so difficult to design.	HICSS (4)	1995	DBLP DOI BibTeX RDF	coordination breakdowns, group interaction complexity, software support tool requirements, analysis techniques, collaboration, groupware, human factors, conflict, group support systems, user adaptability, organisational change, groupware design, shared understanding, interaction mechanisms
17	Hyeun-Suk Rhee, Hasan Pirkul, Varghese S. Jacob, Reza Barkhi	Effects of computer-mediated communication on group negotiation: an empirical study.	HICSS (4)	1995	DBLP DOI BibTeX RDF	group negotiation, face-to-face communication, three-person groups, integrative negotiation task, negotiation process variables, conflict management behavior, judgment accuracy, negotiation time, group agreement, computer-mediated groups, lower joint profit, groupware, computer-mediated communication, decision support systems, group decision support systems, negotiation support systems, social aspects of automation, laboratory experiment
17	Fu Chang, Yung-Ping Cheng, Theodosios Pavlidis, Tsuey-Yuh Shuai	A line sweep thinning algorithm.	ICDAR	1995	DBLP DOI BibTeX RDF	line sweep thinning algorithm, line sweep procedures, parallel slabs, object contours, polygon sides, object decomposition, pattern recognition operations, image segmentation, character recognition, character recognition, image representation, conflict resolution, regions, polygon approximation, junction, generic types
17	Mihai Barbuceanu, Mark S. Fox	The architecture of an agent building shell.	CASCON	1995	DBLP BibTeX RDF	information distribution, multi-agent systems, coordination, description logics, agent modeling, shells, conflict management
17	Bülent Abali, Füsun Özgüner, Abdulla Bataineh	Balanced Parallel Sort on Hypercube Multiprocessors.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	parallel selection algorithm, conflict-free routing, 16-node hypercube, hypercubenetworks, parallel algorithms, computational complexity, hypercube, sorting, parallel sort, hypercube multiprocessors
17	Isabelle Comyn-Wattiau, Mokrane Bouzeghoub	Constraint Confrontation: An Important Step in View Integration.	CAiSE	1992	DBLP DOI BibTeX RDF	deductive process, conflict resolution, database design, integrity constraint, forward chaining, view integration
17	Zhiyong Liu, Xiaobo Li 0001, Jia-Huai You	On storage schemes for parallel array access.	ICS	1992	DBLP DOI BibTeX RDF	matrix manipulation, parallel processing, address generation, skewing schemes, memory conflict
17	Kevin Donovan	Performance of Shared Memory in a Parallel Computer.	IEEE Trans. Parallel Distributed Syst.	1991	DBLP DOI BibTeX RDF	memory queues, performance evaluation, parallel computer, parallel architectures, shared memory, hashing, file organisation, queue length, conflict-free
17	David T. Harper III	Block, Multistride Vector, and FFT Accesses in Parallel Memory Systems.	IEEE Trans. Parallel Distributed Syst.	1991	DBLP DOI BibTeX RDF	dynamic storage schemes, parallel memory performance, vectoraccesses, block accesses, constant-geometry FFT accesses, linear addresstransformations, XOR schemes, analytical results, bufferingeffects, pipelined memory systems, memory bank cycle time, fastFourier transforms, fast Fourier transform, memory architecture, quantitative analysis, conflict-free access
17	Ugur Halici, Asuman Dogac	An Optimistic Locking Technique For Concurrency Control in Distributed Databases.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	optimistic locking technique, optimistic method, dummy locks, write sets, validated transactions, short-term locks, strict two-phase locking, low conflict cases, strict 2PL, concurr, distributed databases, concurrency control, validation test, ODL
17	Ming-Yee Lai, W. Kevin Wilkinson, Vladimir Lanin	On Distributing JASMIN's Optimistic Multiversioning Page Manager.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	optimistic multiversioning page manager, functionally distributed database system, multiple microcomputers, page manager, transaction-management facilities, multiversioning concurrency control scheme, conflict checking, real-time database applications, telephone switching, routing services, centralized database, JASMIN intelligent store module, system implementation techniques, process structure, fast response time, data structures, data structures, synchronization, distributed databases, concurrency control, message passing, transaction processing, software packages, high throughput, microcomputer applications, read-only transactions, software modules
17	Rajive L. Bagrodia	Process Synchronization: Design and Performance Evaluation of Distributed Algorithms.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	committee coordination problem, multiway rendezvous, message counts, synchronization problem, exclusion problem, circulating token, auxiliary resources, level of conflict, message switching, performance evaluation, computational complexity, distributed algorithms, network topology, network topology, synchronisation, response time, message complexity, simulation study, process synchronization, model parameters
17	Wolfgang Reisig	A strong part of concurrency.	European Workshop on Applications and Theory of Petri Nets	1986	DBLP DOI BibTeX RDF	interleaving sequences, concurrency, fairness, priority, conflict, confusion
17	Mirza Omer Beg, Peter van Beek	A graph theoretic approach to cache-conscious placement of data for direct mapped caches.	ISMM	2010	DBLP DOI BibTeX RDF	cache consciousness, data placement in cache, offline algorithms, memory management, cache optimization
17	S. Campos, Julio C. V. Neves, Luis E. Zárate, Mark A. J. Song	Distributed BMC: A Depth-First Approach to Explore Clause Symmetry.	ECBS	2009	DBLP DOI BibTeX RDF
17	Sasa Tomic, Cristian Perfumo, Chinmay Eishan Kulkarni, Adrià Armejach, Adrián Cristal, Osman S. Unsal, Tim Harris 0001, Mateo Valero	EazyHTM: eager-lazy hardware transactional memory.	MICRO	2009	DBLP DOI BibTeX RDF	EazyHTM, transactional memory
17	Milton H. Luoma, Vicki Miller Luoma	Complying across Continents: At the Intersection of Litigation Rights and Privacy Rights.	e-Forensics	2009	DBLP DOI BibTeX RDF	multinational litigation, electronic discovery, privacy rights, litigation rights
17	HyoJung Han, Fabio Somenzi	On-the-Fly Clause Improvement.	SAT	2009	DBLP DOI BibTeX RDF
17	Lingzhi Luo, Nilanjan Chakraborty, Katia P. Sycara	Modeling Ethno-religious Conflicts as Prisoner's Dilemma Game in Graphs.	CSE (4)	2009	DBLP DOI BibTeX RDF
17	Mohammad Ansari, Mikel Luján, Christos Kotselidis, Kim Jarvis, Chris C. Kirkham, Ian Watson	Steal-on-Abort: Improving Transactional Memory Performance through Dynamic Transaction Reordering.	HiPEAC	2009	DBLP DOI BibTeX RDF
17	Peter Damaschke	Bounded-Degree Techniques Accelerate Some Parameterized Graph Algorithms.	IWPEC	2009	DBLP DOI BibTeX RDF
17	Ellen J. Bass, Amy R. Pritchett	Human-Automated Judge Learning: A Methodology for Examining Human Interaction With Information Analysis Automation.	IEEE Trans. Syst. Man Cybern. Part A	2008	DBLP DOI BibTeX RDF
17	Glaydston Mattos Ribeiro, Luiz Antonio Nogueira Lorena	Column generation approach for the point-feature cartographic label placement problem.	J. Comb. Optim.	2008	DBLP DOI BibTeX RDF	Combinatorial optimization, Integer programming, Column generation, Map labeling
17	Hui Cheng, Shengxiang Yang	Joint Multicast Routing and Channel Assignment in Multiradio Multichannel Wireless Mesh Networks Using Simulated Annealing.	SEAL	2008	DBLP DOI BibTeX RDF
17	Ming Yang 0003, Zhou Kang, Lishan Kang	A Parallel Multi-algorithm Solver for Dynamic Multi-Objective TSP (DMO-TSP).	ICIC (2)	2008	DBLP DOI BibTeX RDF	dynamic multi-objective TSP, parallel multi-algorithm, Pareto optimal front
17	Nabeel Ahmed, Usman Ismail, Srinivasan Keshav, Konstantina Papagiannaki	Online estimation of RF interference.	CoNEXT	2008	DBLP DOI BibTeX RDF
17	Changyu Dong, Giovanni Russello, Naranker Dulay	Flexible Resolution of Authorisation Conflicts in Distributed Systems.	DSOM	2008	DBLP DOI BibTeX RDF
17	Sébastien Régis, Andrei Doncescu, Jacky Desachy	Estimation of relevance and fusion of data sources using belief function theory: application to bioprocess.	CSTST	2008	DBLP DOI BibTeX RDF	belief function theory, bioprocess, classification, relevance
17	Isabel Sofia Brito, Filipe Vieira, Ana Moreira 0001, Rita Almeida Ribeiro	Handling Conflicts in Aspectual Requirements Compositions.	T. Aspect-Oriented Software Development	2007	DBLP DOI BibTeX RDF
17	Hugo Barros, Sérgio Vale Aguiar Campos, Mark A. J. Song, Luis E. Zárate	Exploring Clause Symmetry in a Distributed Bounded Model Checking Algorithm.	ECBS	2007	DBLP DOI BibTeX RDF
17	Glenn Bruns, Daniel S. Dantas, Michael Huth 0001	A simple and expressive semantic framework for policy composition in access control.	FMSE	2007	DBLP DOI BibTeX RDF	access-control policy languages, multi-valued logic, bilattices
17	Yangdong Ye, Hongxing Lu, Junxia Ma, Limin Jia 0002	Uncertain Temporal Knowledge Reasoning of Train Group Operation Based on Extended Fuzzy-Timing Petri Nets.	ICFIE	2007	DBLP DOI BibTeX RDF	knowledge reasoning, EFTN, train group operation, Uncertainty
17	Vishal Sadana, Xiaoqing Frank Liu	Analysis of Conflicts among Non-Functional Requirements Using Integrated Analysis of Functional and Non-Functional Requirements.	COMPSAC (1)	2007	DBLP DOI BibTeX RDF
17	Pascal Durr, Lodewijk Bergmans, Mehmet Aksit	Static and Dynamic Detection of Behavioral Conflicts Between Aspects.	RV	2007	DBLP DOI BibTeX RDF
17	Quanbao Sun, Liquan Xiao, Minxuan Zhang	Look-Ahead Adaptive Routing on k -Ary n -Trees.	APPT	2007	DBLP DOI BibTeX RDF
17	Haiyan Xu 0001, Keith W. Hipel, D. Marc Kilgour	Matrix representation of conflicts with two decision-makers.	SMC	2007	DBLP DOI BibTeX RDF
17	Georgios K. Giannikis, Aspassia Daskalopulu	The Representation of e-Contracts as Default Theories.	IEA/AIE	2007	DBLP DOI BibTeX RDF	Reasoning with incomplete knowledge, Multi-agent systems, E-commerce, Default Logic, Event Calculus, Default reasoning, Circumscription
17	Quoc Bao Vo, Lin Padgham	Searching for joint gains in automated negotiations based on multi-criteria decision making theory.	AAMAS	2007	DBLP DOI BibTeX RDF	integrative negotiation, automated negotiation, multi-criteria decision making
17	Andrés García-Camino, Juan A. Rodríguez-Aguilar, Wamberto Weber Vasconcelos	A Distributed Architecture for Norm Management in Multi-Agent Systems.	COIN	2007	DBLP DOI BibTeX RDF
17	Dorian Gaertner, Andrés García-Camino, Pablo Noriega, Juan A. Rodríguez-Aguilar, Wamberto Weber Vasconcelos	Distributed norm management in regulated multiagent systems.	AAMAS	2007	DBLP DOI BibTeX RDF	normative conflicts, regulated multiagent systems, coordination, electronic institutions, organisations
17	Lijun Wang, Jianping Wu, Ke Xu 0002	Analysis of BGP Convergence Using SHLPN Model.	AICT	2007	DBLP DOI BibTeX RDF
17	Kaushik Rajan, Ramaswamy Govindarajan	Two-level mapping based cache index selection for packet forwarding engines.	PACT	2006	DBLP DOI BibTeX RDF	network processors, cache architectures
17	Praveen Danturi, Mikhail Nesterenko, Sébastien Tixeuil	Self-stabilizing Philosophers with Generic Conflicts.	SSS	2006	DBLP DOI BibTeX RDF
17	Éric Monacelli, Chadi Fouad Riman, Roland Thieffry, Imad Mougharbel, Stephane Delaplace	A Reactive Assistive Role Switching For Interaction Management in Cooperative Tasks.	IROS	2006	DBLP DOI BibTeX RDF
17	Tony Lindgren	On handling conflicts between rules with numerical features.	SAC	2006	DBLP DOI BibTeX RDF	numerical features, rule conflicts, rule learning
17	Michiteru Kitazaki, Tomoaki Nakano, Naoyuki Matsuzaki, Hiroaki Shigemasu	Control of eye-movement to decrease VE-sickness.	VRST	2006	DBLP DOI BibTeX RDF	VE sickness, extra-retinal information, motion sickness, eye-movement, visual information
17	Hsu-Yang Kung, Ching-Yu Lin	Application-Layer Context-Aware Services for Pervasive Computing Environments.	ICICIC (3)	2006	DBLP DOI BibTeX RDF
17	Isabella A. da Silva, Ping H. Chen, Christopher van der Westhuizen, Roger M. Ripley, André van der Hoek	Lighthouse: coordination through emerging design.	ETX	2006	DBLP DOI BibTeX RDF	emerging design, design, reverse-engineering, coordination, awareness, abstraction
17	Chiu-Man Yu, Kam-Wing Ng	A Mechanism to Make Authorization Decisions in Open Distributed Environments Without Complete Policy Information.	International Conference on Computational Science (4)	2006	DBLP DOI BibTeX RDF
17	Magnus Ågren 0002, Pierre Flener, Justin Pearson	Inferring Variable Conflicts for Local Search.	CP	2006	DBLP DOI BibTeX RDF
17	Mona Safar, M. Watheq El-Kharashi, Ashraf Salem	FPGA-Based SAT Solver.	CCECE	2006	DBLP DOI BibTeX RDF
17	Liqiang Wang, Scott D. Stoller	Accurate and efficient runtime detection of atomicity errors in concurrent programs.	PPoPP	2006	DBLP DOI BibTeX RDF	Java, concurrent programming, atomicity, serializability, data race
17	Rafae Bhatti, Basit Shafiq, Elisa Bertino, Arif Ghafoor, James Joshi	X-gtrbac admin: A decentralized administration model for enterprise-wide access control.	ACM Trans. Inf. Syst. Secur.	2005	DBLP DOI BibTeX RDF	policy administration, XML, role-based access control, secure interoperation
17	Chiu-Man Yu, Kam-Wing Ng	Dynamic Policy Management Framework for Partial Policy Information.	EGC	2005	DBLP DOI BibTeX RDF
17	Nachum Dershowitz, Ziyad Hanna, Alexander Nadel	A Clause-Based Heuristic for SAT Solvers.	SAT	2005	DBLP DOI BibTeX RDF
17	Sukhoon Kang, Yong-Rak Choi	A Covert Timing Channel-Free Optimistic Concurrency Control Scheme for Multilevel Secure Database Management Systems.	KES (3)	2005	DBLP DOI BibTeX RDF
17	Ngoc Thanh Nguyen 0001, Michal Malowiecki	Using Consensus Susceptibility and Consistency Measures for Inconsistent Knowledge Management.	PAKDD	2005	DBLP DOI BibTeX RDF
17	Victor De La Luz, Mahmut T. Kandemir	Array Regrouping and Its Use in Compiling Data-Intensive Embedded Applications.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF	Array regrouping, memory energy consumption, embedded systems, cache locality, layout optimizations
17	Mikko Alutoin, Pertti Raatikainen	Diagonal Tuple Space Search in Two Dimensions.	NETWORKING	2004	DBLP DOI BibTeX RDF
17	Robi Malik, David Streader, Steve Reeves	Fair Testing Revisited: A Process-Algebraic Characterisation of Conflicts.	ATVA	2004	DBLP DOI BibTeX RDF
17	Jeffrey Ward, John S. Schlipf	Answer Set Programming with Clause Learning.	LPNMR	2004	DBLP DOI BibTeX RDF
17	Chuan-hua Zeng, Qing-song Li	Route selecting in the light of the theory of multimode transportation based on multi-agent.	SMC (4)	2004	DBLP DOI BibTeX RDF
17	Kimish Patel, Enrico Macii, Luca Benini, Massimo Poncino	Reducing cache misses by application-specific re-configurable indexing.	ICCAD	2004	DBLP DOI BibTeX RDF
17	Mehdi Dastani, Leendert W. N. van der Torre	Programming BOID-Plan Agents: Deliberating about Conflicts among Defeasible Mental Attitudes and Plans.	AAMAS	2004	DBLP DOI BibTeX RDF
17	John Thangarajah, Lin Padgham	An Empirical Evaluation of Reasoning about Resource Conflicts.	AAMAS	2004	DBLP DOI BibTeX RDF	Intelligent Agents, Resource conflicts
17	Chunhong Zhang, Yuan Gao, Lixin Gao 0001	An Approach to Seeking Policy Disputes Based on Dispute Cycle Avoidance and Configuration Guideline.	Telecommun. Syst.	2003	DBLP DOI BibTeX RDF	interdomain routing protocol, stable paths problem, route oscillations, dispute cycle, dispute routing policy, AS relationship
17	Victor De La Luz, Mahmut T. Kandemir, Ismail Kadayif, Ugur Sezer	Generalized Data Transformations for Enhancing Cache Behavior.	DATE	2003	DBLP DOI BibTeX RDF
17	Edmund M. Clarke, Muralidhar Talupur, Helmut Veith, Dong Wang	SAT Based Predicate Abstraction for Hardware Verification.	SAT	2003	DBLP DOI BibTeX RDF
17	Cong Liu, Andreas Kuehlmann, Matthew W. Moskewicz	CAMA: A Multi-Valued Satisfiability Solver.	ICCAD	2003	DBLP DOI BibTeX RDF
17	Hyuckchul Jung, Milind Tambe	Performance models for large scale multiagent systems: using distributed POMDP building blocks.	AAMAS	2003	DBLP DOI BibTeX RDF
17	Chengzheng Sun, David Chen 0002	Consistency maintenance in real-time collaborative graphics editing systems.	ACM Trans. Comput. Hum. Interact.	2002	DBLP DOI BibTeX RDF	Collaborative graphics editors, GRACE, multiversioning, computer-supported cooperative work, groupware, convergence, consistence maintenance, intention preservation
17	D. V. Ravindra, Y. N. Srikant	Improved Preprocessing Methods for Modulo Scheduling Algorithms.	HiPC	2002	DBLP DOI BibTeX RDF
17	Rémi Douence, Pascal Fradet, Mario Südholt	A Framework for the Detection and Resolution of Aspect Interactions.	GPCE	2002	DBLP DOI BibTeX RDF
17	Sudha Ram, Jinsoo Park 0001, Yousub Hwang	CREAM: A Mediator Based Environment for Modeling and Accessing Distributed Information on the Web.	BNCOD	2002	DBLP DOI BibTeX RDF
17	Rosalie J. Ocker	The Mediating Effect of Group Development on Satisfaction in a Virtual and Mixed-Mode Environment.	HICSS	2002	DBLP DOI BibTeX RDF	group development, computer-mediated communication, virtual communication, mediation, virtual teams, satisfaction
17	Rui Min, Yiming Hu	Improving Performance of Large Physically Indexed Caches by Decoupling Memory Addresses from Cache Addresses.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	Novel memory architectures, cache, memory systems, TLB, performance enhancement
17	Mats Bengtsson, Johan Schubert	Dempster-Shafer clustering using Potts spin mean field theory.	Soft Comput.	2001	DBLP DOI BibTeX RDF	Dempster, Shafer theory, Potts spin, Clustering, Neural network, Simulated annealing
17	Charles Krasic, Jonathan Walpole	Priority-progress streaming for quality-adaptive multimedia.	ACM Multimedia	2001	DBLP DOI BibTeX RDF
17	Alaina G. Kanfer, Caroline Haythornthwaite, Bertram C. Bruce, Geoffrey C. Bowker, Nicholas C. Burbules, Joseph F. Porac, James B. Wade	Modeling Distributed Knowledge Processes in Next Generation Multidisciplinary Alliances.	Inf. Syst. Frontiers	2000	DBLP DOI BibTeX RDF
17	Alaina G. Kanfer, Bertram C. Bruce, Caroline Haythornthwaite, Nicholas C. Burbules, James B. Wade, Geoffrey C. Bowker, Joseph F. Porac	Modeling Distributed Knowledge Processes in Next Generation Multidisciplinary Alliances.	AIWoRC	2000	DBLP DOI BibTeX RDF
17	Marcos Kawazoe Aguilera, Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg	Thrifty Generic Broadcast.	DISC	2000	DBLP DOI BibTeX RDF
17	Kyu-Woong Lee, Seog Park, Gil-Rok Oh	Concurrency Control for Global Transaction Management in MDBSs.	DEXA	1999	DBLP DOI BibTeX RDF
17	Christian Hochberger, Rolf Hoffmann, Stefan Waldschmidt	CDL++ for the Description of Moving Objects in Cellular Automata.	PaCT	1999	DBLP DOI BibTeX RDF
17	Carolos Livadas, John Lygeros, Nancy A. Lynch	High-Level Modeling and Analysis of TCAS.	RTSS	1999	DBLP DOI BibTeX RDF	hybrid I/O automaton, TCAS, formal verification, hybrid system, safety-critical
17	John A. Barnden, Mark G. Lee	An Implemented Context System that Combines Belief Reasoning, Metaphor-Based Reasoning and Uncertainty Handling.	CONTEXT	1999	DBLP DOI BibTeX RDF
17	Germano Resconi	Partition of Systems by General System Logical Theory (GSLT).	EUROCAST	1999	DBLP DOI BibTeX RDF
17	Paolo Baldan, Andrea Corradini 0001, Ugo Montanari	An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures.	FoSSaCS	1998	DBLP DOI BibTeX RDF
17	John C. S. Lui, Oldfield K. Y. So, T. S. Tam	NFS/M: An Open Platform Mobile File System.	ICDCS	1998	DBLP DOI BibTeX RDF	Mobile computing, file systems, distributed operating systems
17	Mohammed A. Quaddus, Lai Lai Tung, L. Chin, P. O. Seow, G. C. Tan	Non-Networked Group Decision Support System: Effects of Devil's Advocacy and Dialectical Inquiry.	HICSS (1)	1998	DBLP DOI BibTeX RDF
17	Stephanie Watts, Patricia J. Guinan	Software Development Under Conditions of High Task Complexity and Ambiguity.	HICSS (3)	1997	DBLP DOI BibTeX RDF
17	Naftaly H. Minsky	Independent On-Line Monitoring of Evolving Systems.	ICSE	1996	DBLP BibTeX RDF	fraud prevention, independent on-line monitoring, irregularity detection, law-governed architecture, software maintenance, sensors, system monitoring, systems software, evolving software systems