Search results for "urgencies"

Found 9 publication records. Showing 9 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
87	Pao-Ann Hsiung, Shang-Wei Lin 0001, Yean-Ru Chen, Chun-Hsian Huang, Jia-Jen Yeh, Hong-Yu Sun, Chao-Sheng Lin, Hsiao-Win Liao	Model Checking Timed Systems with Urgencies.	ATVA	2006	DBLP DOI BibTeX RDF
86	Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober, Jean-Luc Roux, Daniel Vincent	Timed Extensions for SDL.	SDL Forum	2001	DBLP DOI BibTeX RDF	timed automata, SDL, time semantics, urgencies
62	Ivan B. Vermeulen, Sander M. Bohté, Peter A. N. Bosman, Sylvia G. Elkhuizen, Piet J. M. Bakker, Johannes A. La Poutré	Optimization of Online Patient Scheduling with Urgencies and Preferences.	AIME	2009	DBLP DOI BibTeX RDF
49	Bruno Bouzy, Guillaume Chaslot	Monte-Carlo Go Reinforcement Learning Experiments.	CIG	2006	DBLP DOI BibTeX RDF
37	Oton Crispim Braga, Francisco Milton Mendes Neto, Antônio Mauro Barbosa de Oliveira, Raimundo Valter Costa Filho	Smart "health of things": a model based in data mining for an IoT health system used in hospital and home urgencies.	WebMedia	2019	DBLP DOI BibTeX RDF
37	Noyan Ilk, Michael J. Brusco, Paulo B. Góes	Workforce management in omnichannel service centers with heterogeneous channel response urgencies.	Decis. Support Syst.	2018	DBLP DOI BibTeX RDF
37	Byung Hoon Oh, Kwangyeon Kim, Han-Lim Choi, Inseok Hwang 0002	Cooperative Multiple Agent-Based Algorithm for Evacuation Planning for Victims with Different Urgencies.	J. Aerosp. Inf. Syst.	2018	DBLP DOI BibTeX RDF
25	Birgitta Lindström, A. Jefferson Offutt, Sten F. Andler	Testability of Dynamic Real-Time Systems: An Empirical Study of Constrained Execution Environment Implications.	ICST	2008	DBLP DOI BibTeX RDF
25	Mohammed Eltayeb, Atakan Dogan, Füsun Özgüner	Extended Partial Path Heuristic for Real-Time Staging in Oversubscribed Networks.	ISCIS	2003	DBLP DOI BibTeX RDF

Displaying result #1 - #9 of 9 (100 per page; Change: )