|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 12 occurrences of 12 keywords
|
|
|
Results
Found 5 publication records. Showing 5 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
46 | John A. Clark, Susan Stepney, Howard Chivers |
Breaking the Model: Finalisation and a Taxonomy of Security Attacks. |
REFINE |
2005 |
DBLP DOI BibTeX RDF |
|
36 | John Derrick, Eerke A. Boiten |
Relational Concurrent Refinement. |
Formal Aspects Comput. |
2003 |
DBLP DOI BibTeX RDF |
Failures-divergences, Finalisation, Simulation, Refinement, Process algebra, Z, Readiness |
28 | Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Bent Thomsen, Hans Søndergaard |
Schedulability analysis for Java finalizers. |
JTRES |
2010 |
DBLP DOI BibTeX RDF |
schedulability, Java, model checking, real-time, finalizers |
28 | Panayiotis Zaphiris, Sri Kurniawan, Mariya Ghiawadwala |
A systematic approach to the development of research-based web design guidelines for older people. |
Univers. Access Inf. Soc. |
2007 |
DBLP DOI BibTeX RDF |
Research-based guidelines, Acessibility, Ageing, Web usability |
28 | Jeff Kramer, Jeff Magee |
Change management of distributed systems. |
ACM SIGOPS European Workshop |
1988 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #5 of 5 (100 per page; Change: )
|
|