|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4 occurrences of 4 keywords
|
|
|
Results
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: )
|
|