|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 11 occurrences of 11 keywords
|
|
|
|
|
Results
Found 27 publication records. Showing 27 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Frances M. T. Brazier, Kees Nieuwenhuis, Gregor Pavlin, Martijn Warnier, Costin Badica (eds.) |
Intelligent Distributed Computing V - Proceedings of the 5th International Symposium on Intelligent Distributed Computing - IDC 2011, Delft, The Netherlands - October 2011  |
IDC  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Joep Ruiter, Martijn Warnier |
Privacy Regulations for Cloud Computing: Compliance and Implementation in Theory and Practice. |
Computers, Privacy and Data Protection |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kassidy P. Clark, Martijn Warnier, Frances M. T. Brazier |
Botclouds - The Future of Cloud-based Botnets? |
CLOSER |
2011 |
DBLP BibTeX RDF |
|
| 1 | Julian A. Padget, Harpreet Riat, Benedikt Forchhammer, Martijn Warnier, Frances M. T. Brazier, Sukumar Natarajan |
An agent-based infrastructure for energy profile capture and management. |
ICNSC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kassidy P. Clark, Martijn Warnier, Frances M. T. Brazier |
Self-adaptive Service Monitoring. |
ICAIS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martijn Warnier, Frances M. T. Brazier |
Anonymity services for multi-agent systems. |
Web Intelligence and Agent Systems |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Shishkov, Martijn Warnier, Marten van Sinderen |
On the Application of Autonomic and Context-aware Computing to Support Home Energy Management. |
ICEIS |
2010 |
DBLP BibTeX RDF |
|
| 1 | A. Reza Haydarlou, Michel A. Oey, Martijn Warnier, Frances M. T. Brazier |
Structured Use-cases as a Basis for Self-management of Distributed Systems. |
ICSOFT |
2010 |
DBLP BibTeX RDF |
|
| 1 | Michel A. Oey, Sander van Splunter, Elth Ogston, Martijn Warnier, Frances M. T. Brazier |
A Framework for Developing Agent-Based Distributed Applications. |
IAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Evangelos Pournaras, Martijn Warnier, Frances M. T. Brazier |
Adaptation strategies for self-management of tree overlay networks. |
GRID |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kassidy P. Clark, Martijn Warnier, Frances M. T. Brazier, Thomas B. Quillinan |
Secure Monitoring of Service Level Agreements. |
ARES |
2010 |
DBLP DOI BibTeX RDF |
sla, ws-agreement, reliability, distributed monitoring |
| 1 | Martijn Warnier, Michel A. Oey, Reinier J. Timmer, Frances M. T. Brazier, Benno J. Overeinder |
Enforcing integrity of agent migration paths by distribution of trust. |
IJIIDS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Evangelos Pournaras, Martijn Warnier, Frances M. T. Brazier |
A Distributed Agent-based Approach to Stabilization of Global Resource Utilization. |
CISIS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Martijn Warnier, Frances M. T. Brazier, Anja Oskamp |
Security of Distributed Digital Criminal Dossiers. |
JSW |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Martijn Warnier, Reinier J. Timmer, Michel A. Oey, Frances M. T. Brazier, Anja Oskamp |
An agent based system for distributed information management: A case study. |
IMCSIT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Omer F. Rana, Martijn Warnier, Thomas B. Quillinan, Frances M. T. Brazier |
Monitoring and Reputation Mechanisms for Service Level Agreements. |
GECON |
2008 |
DBLP DOI BibTeX RDF |
Service Level Agreement Monitoring, Quality of Service, WS-Agreement |
| 1 | Thomas B. Quillinan, Martijn Warnier, Michel A. Oey, Reinier J. Timmer, Frances M. T. Brazier |
Enforcing security in the AgentScape middleware. |
Middleware Security |
2008 |
DBLP DOI BibTeX RDF |
AgentScape, MAS, multi agent systems, agent, security policies |
| 1 | Martijn Warnier, Frances M. T. Brazier |
Organized Anonymous Agents. |
IAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Martine Boonk, Frances M. T. Brazier, David de Groot, Maarten van Stekelenburg, Anja Oskamp, Martijn Warnier |
Conditions for access and use of legal document retrieval web services. |
ICAIL |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Martijn Warnier, Frances M. T. Brazier, Martin Apistola, Anja Oskamp |
Towards automatic identification of completeness and consistency in digital dossiers. |
ICAIL |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Martijn Warnier, Frances M. T. Brazier, Martin Apistola, Anja Oskamp |
Secure Distributed Dossier Management in the Legal Domain. |
ARES |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Barthe, Tamara Rezk, Martijn Warnier |
Preventing Timing Leaks Through Transactional Branching Instructions. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Martijn Warnier, David de Groot, Frances M. T. Brazier |
Organized Anonymity in Agent Systems. |
EUMAS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Bart Jacobs, Wolter Pieters, Martijn Warnier |
Statically checking confidentiality via dynamic labels. |
WITS |
2005 |
DBLP DOI BibTeX RDF |
(Higher Order) theorem proving, formal verification, static analysis, abstract interpretation, confidentiality |
| 1 | Bart Jacobs, Martijn Oostdijk, Martijn Warnier |
Source code verification of a secure payment applet. |
J. Log. Algebr. Program. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs, Joseph Kiniry, Martijn Warnier |
Java Program Verification Challenges. |
FMCO |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesse Hughes, Martijn Warnier |
The Coinductive Approach to Verifying Cryptographic Protocols. |
WADT |
2002 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #27 of 27 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")