|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 19 occurrences of 19 keywords
|
|
|
|
|
Results
Found 8 publication records. Showing 8 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Peter Hartmann, Monika Maidl, David von Oheimb, Richard Robinson |
A Case Study in Decentralized, Dynamic, Policy-Based, Authorization and Trust Management - Automated Software Distribution for Airplanes.  |
STM  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Monika Maidl, David von Oheimb, Peter Hartmann, Richard Robinson |
Formal Security Analysis of Electronic Software Distribution Systems. |
SAFECOMP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott Lintelman, Richard Robinson, Mingyan Li, Krishna Sampigethaya |
Formal Methods for Trustworthy Skies: Building Confidence in the Security of Aircraft Assets Distribution. |
FM |
2008 |
DBLP DOI BibTeX RDF |
Loadable Software Parts, Security, Formal Methods, Safety |
| 1 | Mingyan Li, Casey K. Fung, Krishna Sampigethaya, Richard Robinson, Radha Poovendran, Rainer Falk, Florian Kohlmayer, Andreas Koepf |
Public key based authentication for secure integration of sensor data and RFID. |
HeterSanet |
2008 |
DBLP DOI BibTeX RDF |
authentication, workflow, RFID, sensor, tag, certificate, public key |
| 1 | Richard Robinson, Mingyan Li, Scott Lintelman, Krishna Sampigethaya, Radha Poovendran, David von Oheimb, Jens-Uwe Bußer, Jorge Cuéllar |
Electronic Distribution of Airplane Software and the Impact of Information Security on Airplane Safety. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Guijun Wang, Richard Robinson |
An Architecture for Web-Enabled Engineering Applications Based on Lightweight High Performance CORBA. (PDF / PS) |
EDOC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | F. Keating, Richard Robinson |
Distributed Intelligent Systems: A Mathematical Model - Round Two Salvatrice. |
ISCA Conference on Intelligent Systems |
2001 |
DBLP BibTeX RDF |
|
| 1 | Richard Robinson, Devin Cook, Steven L. Tanimoto |
Programming Agents with Visual Rules. (PDF / PS) |
VL |
1995 |
DBLP DOI BibTeX RDF |
visual programming facility, visual rule formalism, agent behaviour specification, program objects, Agentsheets system, Repenning, simulation design, two-dimensional cellular worlds, automobile traffic flow situations, Agent Builder, icon arrangement, worksheet, icon gallery, graphical user interfaces, programming environments, cellular automata, software agents, visual programming, visual languages, digital simulation, video games, agent programming |
Displaying result #1 - #8 of 8 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")