We develop a definition of protocol security relying on game-theoretic notions of implementation. We show that a natural special case of this this definition is equivalent to a variant of the traditional cryptographic definition of protocol security; this result shows that, when taking computation into account, the two approaches used for dealing with “deviating” players in two different commun...

0266-3538/$ see front matter 2009 Elsevier Ltd. A doi:10.1016/j.compscitech.2009.08.006 * Corresponding author. Tel.: +1 617 252 1539; fax E-mail address: [email protected] (B.L. Wardle). Advanced composites, such as those used in aerospace applications, employ a high volume fraction of aligned stiff fibers embedded in high-performance polymers. Unlike advanced composites, polymer nanocomposites (...

We consider the robustness of computational hardness of problems whose input is obtained by applying independent random deletions to worst-case instances. For some classical NPhard problems on graphs, such as Coloring, Vertex-Cover, and Hamiltonicity, we examine the complexity of these problems when edges (or vertices) of an arbitrary graph are deleted independently with probability 1−p > 0. We...

We have designed and implemented autonomous software agents. Autonomous software agents navigate independently through a heterogeneous network. They are capable of sensing the network con guration, monitoring software conditions, and interacting with other agents. Autonomous agents are implemented as transportable programs, e.g., programs that are capable of suspending execution, moving to a di...

In pursuing the question of incarnation, it must be noted from the beginning that what is at stake is Platonism. More specifically, my concern will be the relationship of Christian theology to Platonism. It is a curious phenomenon that here, now, on the brink of the twentyfirst century, the question of Christian theology’s relationship to Platonism remains an orienting and fundamental theme of ...

Motivation has received increasing attention across counseling approaches, presumably because clients’ motivation is key for treatment effectiveness. The authors define motivation using a self-determination theory taxonomy that conceptualizes motivation along a relative-autonomy continuum. The authors apply the taxonomy in discussing how various counseling approaches address client motivation a...

1 This work on the Cornell Jaguar project was funded in part through an IBM Faculty Development award and a Microsoft research grant to Praveen Seshadri, through a contract with Rome Air Force Labs (F30602-98-C-0266) and through a grant from the National Science Foundation (IIS-9812020). Abstract Decision-support applications in emerging environments require that SQL query results or intermedia...

The paper starts with an exploration of knowledgemanagement which focuses on the knowledgepyramid concept. The successful management ofthe transition from an agricultural to a knowledgebased society, it is argued, should go beyond formu-lating information communication technology pol-icies to include knowledge management policies aswell. The contribution of informati...

We consider the problem of determining the shape of an object immersed in an acoustic medium from measurements obtained at a distance from the object. We recast this problem as a shape optimization problem where we search for the domain that minimizes a cost function that quantifies the difference between the measured and expected signals. The measured and expected signals are assumed to satisf...