Search results for "high-level objectives"

Found 14 publication records. Showing 14 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Dieter Gollmann	What do We Mean by Entity Authentication?	IEEE Symposium on Security and Privacy	1996	DBLP DOI BibTeX RDF	authentication protocol design, message passing protocols, high-level objectives, protocol specification abstraction level, cryptographic function, formal specification, cryptography, protocols, message passing, encryption, communication protocols, message authentication, entity authentication
1	Mirko Morandini, Loris Penserini, Anna Perini	Operational semantics of goal models in adaptive agents.	AAMAS	2009	DBLP DOI BibTeX RDF	formal semantics, goals, goal models, agent programming
1	Dustin Arthur Smith, Henry Lieberman	Recognizing and using goals in event management.	CHI Extended Abstracts	2009	DBLP DOI BibTeX RDF	user modeling, PIM, calendaring, common sense, event management
1	Arzhan Kinzhalin, Rodolfo Kohn, David Lombard, Ricardo Morin	Enabling the autonomic data center with a smart bare-metal server platform.	ICAC	2009	DBLP DOI BibTeX RDF	asset inventory, autonomic data center, bare metal, manageability standards, pre-boot environment, discovery, provisioning
1	Tricia J. Willink, Humphrey Rutagemwa	Framework for performance evaluation of cognitive radio networks in heterogeneous environments.	CCECE	2009	DBLP DOI BibTeX RDF
1	Bradley Simmons, Hanan Lutfiyya	Achieving High-Level Directives Using Strategy-Trees.	MACE	2009	DBLP DOI BibTeX RDF
1	Julien Perez, Cécile Germain-Renaud, Balázs Kégl, Charles Loomis	Grid Differentiated Services: A Reinforcement Learning Approach.	CCGRID	2008	DBLP DOI BibTeX RDF
1	Jeffrey O. Kephart, Rajarshi Das	Achieving Self-Management via Utility Functions.	IEEE Internet Computing	2007	DBLP DOI BibTeX RDF	autonomic computing, utility functions
1	Sebastian Stein, Terry R. Payne, Nicholas R. Jennings	An Effective Strategy for the Flexible Provisioning of Service Workflows.	SOCASE	2007	DBLP DOI BibTeX RDF
1	Darren Edge	Darren Edge.	VL/HCC	2006	DBLP DOI BibTeX RDF
1	Simon N. Foley, William M. Fitzgerald, Stefano Bistarelli, Barry O'Sullivan, Mícheál Ó Foghlú	Principles of Secure Network Configuration: Towards a Formal Basis for Self-configuration.	IPOM	2006	DBLP DOI BibTeX RDF
1	Jeffrey O. Kephart	Research challenges of autonomic computing.	ICSE	2005	DBLP DOI BibTeX RDF	autonomic computing, self-managing systems, research challenges
1	Dharini Balasubramaniam, Ronald Morrison, Graham N. C. Kirby, Kath Mickan, Brian Warboys, Ian Robertson, Bob Snowdon, R. Mark Greenwood, Wykeen Seet	A software architecture approach for structuring autonomic systems.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF	software architectures, feedback, structuring, autonomic systems, change, evolver, producer
1	Jeffrey O. Kephart, David M. Chess	The Vision of Autonomic Computing.	IEEE Computer	2003	DBLP DOI BibTeX RDF