Search results for "gas station"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Shing-Chi Cheung, Jeff Kramer	Checking Subsystem Safety Properties in Compositional Reachability Analysis.	ICSE	1996	DBLP BibTeX RDF	automated method, compositional reachability analysis, evolutionary change, gas station system, globally observable actions, hierarchical subsystem composition, safety property violation, subsystem safety property checking, undefined state, software engineering, software architecture, software developers, distributed processing, program analysis, finite state machines, finite-state machines, safety, distributed program, reachability analysis, program diagnostics, interacting processes
2	Gerald M. Karam, Raymond J. A. Buhr	Temporal Logic-Based Deadlock Analysis For Ada.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	temporal logic-based specification language, deadlock analyzer, Timebench, concurrent system-design environment, COL, linear-time temporal logic, formal basis, axiomatic reasoning, deadlock analysis tool, reasoning power, Ada designs, systemwide deadlock-free, deadlock algorithm, finite systems, worst-case computational complexity, gas station, layered communications system, computational complexity, Ada, logic programming, temporal logic, Prolog, specification language, specification languages, inference mechanisms, system recovery, theorem prover, readers, dining philosophers, writers
2	Gerald M. Karam, Christine M. Stanczyk, Gregory W. Bond	Critical Races in Ada Programs.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	critical races, concurrent Ada programs, system errors, CRF language, caller selection mechanism, discriminatory mutual exclusion, dimutex, MLog language, gas-station example, parallel programming, Ada, rapid-prototyping, Ada language
1	Samir Khuller, Azarakhsh Malekian, Julián Mestre	To fill or not to fill: The gas station problem.	ACM Transactions on Algorithms	2011	DBLP DOI BibTeX RDF
1	Xiaohua Hao, Xiao Feng	Fuzzy Synthetic Evaluation of Gas Station Safety.	ACFIE	2010	DBLP DOI BibTeX RDF
1	Der-Chiang Li, Yao-San Lin, Yu-Cheng Huang	Constructing marketing decision support systems using data diffusion technology: A case study of gas station diversification.	Expert Syst. Appl.	2009	DBLP DOI BibTeX RDF
1	Chi-Yin Chow, Mohamed F. Mokbel	Privacy in location-based services: a system architecture perspective.	SIGSPATIAL Special	2009	DBLP DOI BibTeX RDF
1	Kulwinder Singh, Dong-Won Park	Global Location-Based Access to Web Applications Using Atom-Based Automatic Update.	MCETECH	2009	DBLP DOI BibTeX RDF	CCXML, AtomPub, Asterisk Server, IP-PBX, Interactive Directory Service, Atom Feed, GPS, VoiceXML
1	Jiexin Lian, Zhaoxia Hu, Sol M. Shatz	Simulation-based analysis of UML statechart diagrams: methods and case studies.	Software Quality Journal	2008	DBLP DOI BibTeX RDF	Formal methods, Petri nets, UML statecharts, Design analysis
1	Samir Khuller, Azarakhsh Malekian, Julián Mestre	To Fill or Not to Fill: The Gas Station Problem.	ESA	2007	DBLP DOI BibTeX RDF
1	Wolfgang Wahlster	Smartweb: multimodal web services on the road.	ACM Multimedia	2007	DBLP DOI BibTeX RDF	in-car spoken dialogue system, multimodal web services, vehicle-to-vehicle communication
1	Wolfgang Woerndl, Robert Eigner	Collaborative, Context-Aware Applications for Inter-networked Cars.	WETICE	2007	DBLP DOI BibTeX RDF
1	Benjamin Fabian, Matthias Fischmann, Seda F. Gürses	Location Services.	Algorithms for Sensor and Ad Hoc Networks	2007	DBLP DOI BibTeX RDF
1	Xiaobin Ma, Shashi Shekhar, Hui Xiong, Pusheng Zhang	Exploiting a page-level upper bound for multi-type nearest neighbor queries.	GIS	2006	DBLP DOI BibTeX RDF	MTNN query, GIS, location-based service
1	Reynold Cheng, Yu Zhang, Elisa Bertino, Sunil Prabhakar	Preserving User Location Privacy in Mobile Data Management Infrastructures.	Privacy Enhancing Technologies	2006	DBLP DOI BibTeX RDF
1	Fernando Luís Dotti, Leila Ribeiro, Osmar Marchi dos Santos, Fábio Pasini	Verifying Object-based Graph Grammars.	Software and System Modeling	2006	DBLP DOI BibTeX RDF	Partial systems, Model checking, Reactive systems, Graph grammars, Object-based systems
1	Feifei Li, Dihan Cheng, Marios Hadjieleftheriou, George Kollios, Shang-Hua Teng	On Trip Planning Queries in Spatial Databases.	SSTD	2005	DBLP DOI BibTeX RDF
1	Christian Attiogbé, Pascal Poizat, Gwen Salaün	Specification of a Gas Station Using a Formalism Integrating Formal Datatypes within State Diagrams.	IPDPS	2003	DBLP DOI BibTeX RDF
1	Shiu Kit Tso, Ka Lun Fan, Yongde Zhang, Chun Man Chan	An Automated Gas Station Attendant.	IEEE Intelligent Systems	2002	DBLP DOI BibTeX RDF
1	Heui-Seok Seo, In Sang Chung, Byeong Man Kim, Yong Rae Kwon	The Design and Implementation of Automata-based Testing Environment for Java Multi-thread Programs.	APSEC	2001	DBLP DOI BibTeX RDF
1	Rogério de Lemos	Describing Evolving Dependable Systems Using Co-Operative Software Architectures. (PDF / PS)	ICSM	2001	DBLP DOI BibTeX RDF	software architecture, dependability, evolution, exception handling, timed automata
1	Jun Zhou, Kuo-Chung Tai	Efficient Deadlock Analysis of Clients/Server Systems with Two-Way Communication.	ISSRE	2001	DBLP DOI BibTeX RDF
1	Shing-Chi Cheung, Jeff Kramer	Checking Safety Properties Using Compositional Reachability Analysis.	ACM Trans. Softw. Eng. Methodol.	1999	DBLP DOI BibTeX RDF	compositional reachability analysis, distributed systems, model checking, static analysis, safety properties
1	Thomas Frank, Michael Haag, Henner Kollnig, Hans-Hellmut Nagel	Tracking of Occluded Vehicles in Traffic Scenes.	ECCV	1996	DBLP DOI BibTeX RDF
1	Rainer Weber	Where Can I Get Gas Round Here? - An Application of a Design Methodology for Distributed Systems.	Algebraic Methods	1989	DBLP DOI BibTeX RDF