|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8 occurrences of 8 keywords
|
|
|
|
|
Results
Found 22 publication records. Showing 22 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Maryam Ramezani, Mario Graf, Harald Vogt |
A Simulation Environment for Smart Charging of Electric Vehicles Using a Multi-objective Evolutionary Algorithm.  |
ICT-GLOW  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Harald Vogt, Holger Weiss |
A client architecture for market-based grid integration of smart environments. |
PerCom Workshops |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Strasser, Harald Vogt |
Autonomous and distributed node recovery in wireless sensor networks. |
SASN |
2006 |
DBLP DOI BibTeX RDF |
node recovery, sensor networks, intrusion detection, wireless |
| 1 | Harald Vogt |
Increasing Attack Resiliency of Wireless Ad Hoc and Sensor Networks. |
ICDCS Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Harald Vogt, Matthias Ringwald, Mario Strasser |
Intrusion Detection and Failure Recovery in Sensor Nodes. |
GI Jahrestagung |
2005 |
DBLP BibTeX RDF |
|
| 1 | Harald Vogt |
Small Worlds and the Security of Ubiquitous Computing. |
WOWMOM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Siegemund, Christian Floerkemeier, Harald Vogt |
The Value of Handhelds in Smart Environments. |
ARCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Harald Vogt |
Exploring Message Authentication in Sensor Networks. |
ESAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Bohn, Felix C. Gärtner, Harald Vogt |
Dependability Issues of Pervasive Computing in a Healthcare Environment. |
SPC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Harald Vogt |
Efficient Object Identification with Passive RFID Tags. |
Pervasive |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Roger Kehr, Michael Rohs, Harald Vogt |
Mobile Code as an Enabling Technology for Service-Oriented Smartcard Middleware. (PDF / PS) |
DOA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Roger Kehr, Michael Rohs, Harald Vogt |
Issues in Smartcard Middleware. |
Java Card Workshop |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Roger Kehr, Joachim Posegga, Harald Vogt |
PCA: Jini-based Personal Card Assistant. |
CQRE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Basin, Stefan Friedrich, Joachim Posegga, Harald Vogt |
Java Bytecode Verification by Model Checking. |
CAV |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Goré, Joachim Posegga, Andrew Slater, Harald Vogt |
System Description: card TAP: The First Theorem Prover on a Smart Card. |
CADE |
1998 |
DBLP BibTeX RDF |
|
| 1 | Andrew Slater, Rajeev Goré, Joachim Posegga, Harald Vogt |
cardTAP: Automated Deduction on a Smart Card. |
Australian Joint Conference on Artificial Intelligence |
1998 |
DBLP DOI BibTeX RDF |
lean TAP, security, java, proof carrying code, automated deduction, tableaux |
| 1 | Joachim Posegga, Harald Vogt |
Byte Code Verification for Java Smart Card Based on Model Checking. |
ESORICS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Maarten Pennings, S. Doaitse Swierstra, Harald Vogt |
Using Cached Functions and Constructors for Incremental Attribute Evaluation. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Harald Vogt, S. Doaitse Swierstra, Matthijs F. Kuiper |
Efficient Incremental Evaluation of Higher order Attribute Grammars. |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Doaitse Swierstra, Harald Vogt |
Higher Order Attribute Grammars. |
Attribute Grammars, Applications and Systems |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Harald Vogt, Aswin van den Berg, Arend Freije |
Rapid Development of a Program Transformation System with Attribute Grammars and Dynamic Transformations. |
WAGA |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Harald Vogt, S. Doaitse Swierstra, Matthijs F. Kuiper |
Higher-Order Attribute Grammars. |
PLDI |
1989 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #22 of 22 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")