Results 1 - 10 of 2,747

A logic of authentication

by Michael Burrows, Martín Abadi, Roger Needham - ACM TRANSACTIONS ON COMPUTER SYSTEMS , 1990
"... Questions of belief are essential in analyzing protocols for the authentication of principals in distributed computing systems. In this paper we motivate, set out, and exemplify a logic specifically designed for this analysis; we show how various protocols differ subtly with respect to the required ..."
Abstract - Cited by 1332 (22 self) - Add to MetaCart
-key cryptography and with public-key cryptography. Some of the examples are chosen because of their practical importance, while others serve to illustrate subtle points of the logic and to explain how we use it. We discuss extensions of the logic motivated by actual practice -- for example, in order to account

Embodied conversational agents

by Justine Cassell, Catherine Pelachaud, Norman I. Badler, Mark Steedman, Brett Achorn , 2000
"... We describe an implemented system which automatically generates and animates conversations between multiple human-like agents with appropriate and synchronized speech, intonation, facial expressions, and hand gestures. Conversations are created by a dialogue planner that produces the text as well as ..."
Abstract - Cited by 393 (4 self) - Add to MetaCart
as the intonation of the utterances. The speaker/listener relationship, the text, and the intonation in turn drive facial expressions, lip motions, eye gaze, head motion, and arm gesture generators. Coordinated arm, wrist, and hand motions are invoked to create semantically meaningful gestures. Throughout, we

Semantic Wikipedia

by Max Völkel, Markus Krötzsch, Denny Vrandecic, Heiko Haller, Rudi Studer , 2006
"... Wikipedia is the world’s largest collaboratively edited source of encyclopaedic knowledge. But its contents are barely machineinterpretable. Structural knowledge, e. g. about how concepts are interrelated, can neither be formally stated nor automatically processed. Also the wealth of numerical data ..."
Abstract - Cited by 263 (19 self) - Add to MetaCart
is only available as plain text and thus can not be processed by its actual meaning. We provide an extension to be integrated in Wikipedia, that allows the typing of links between articles and the specification of typed data inside the articles in an easy-to-use manner. Enabling even casual users

On Re-classification and Multi-threading

by Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini , 2004
"... this paper we consider re-classification in the presence of multi-threading. To this aim we define a multi-threaded extension of the language MT . We define an operational semantics and a type and e#ect system for the language. Each method signature carries the information on the possible e#e ..."
Abstract - Cited by 4 (2 self) - Add to MetaCart
this paper we consider re-classification in the presence of multi-threading. To this aim we define a multi-threaded extension of the language MT . We define an operational semantics and a type and e#ect system for the language. Each method signature carries the information on the possible e

Multi-threaded Active Objects

by Ludovic Henrio, Fabrice Huet, Zsolt István - COORDINATION 2013 , 2013
"... Active objects offer a paradigm which simplifies writing distributed applications. Since each active object has a single thread of control, data races are prevented. However, this programming model has its limitations: it is deadlock-prone, and it is not efficient on multicore machines. To overcome ..."
Abstract - Cited by 4 (4 self) - Add to MetaCart
. To overcome these limitations, we present an extension of the active object model, called multi-active objects, that allows each activity to be multi-threaded. The new model is implemented as a Java library; it relies on method annotations to decide which requests can be run in parallel. It provides implicit

Debugging Multi-Threaded Programs with

by Krish Ponamgi, Wenwey Hseush, Gail E. Kaiser - IEEE Software , 1991
"... this paper, when we say two events are concurrent, we mean they are causally independent, but not necessarily actually simultaneous. PAs are analogous to Finite State Automata (FSAs), which recognize regular expressions. But in PAs, each transition is labeled with both a program event and its set of ..."
Abstract - Add to MetaCart
this paper, when we say two events are concurrent, we mean they are causally independent, but not necessarily actually simultaneous. PAs are analogous to Finite State Automata (FSAs), which recognize regular expressions. But in PAs, each transition is labeled with both a program event and its set

A Streaming Multi-Threaded Model

by Eylon Caspi, André DeHon, John Wawrzynek - In Proceedings of the Third Workshop on Media and Stream Processors , 2001
"... We present SCORE (Stream Computations Organized for Reconfigurable Execution), a multi-threaded model that relies on streams to expose thread parallelism and to enable e#cient scheduling, low-overhead communication, and scalability. We present work to-date on SCORE for scalable reconfigurable log ..."
Abstract - Cited by 18 (0 self) - Add to MetaCart
We present SCORE (Stream Computations Organized for Reconfigurable Execution), a multi-threaded model that relies on streams to expose thread parallelism and to enable e#cient scheduling, low-overhead communication, and scalability. We present work to-date on SCORE for scalable reconfigurable

Animated conversation: Rule-based generation of facial expression, gesture and spoken intonation for multiple conversational agents

by Justine Cassell, Catherine Pelachaud, Norman Badler, Mark Steedman, Brett Achorn, Brett Douville, Scott Prevost, Matthew Stone , 1994
"... We describe an implemented system which automatically generates and animates conversations between multiple human-like agents with appropriate and synchronized speech, intonation, facial expressions, and hand gestures. Conversations are created by a dialogue planner that produces the text as well as ..."
Abstract - Cited by 301 (80 self) - Add to MetaCart
as the intonation of the utterances. The speaker/listener relationship, the text, and the intonation in turn drive facial expressions, lip motions, eye gaze, head motion, and arm gesture generators. Coordinated arm, wrist, and hand motions are invoked to create semantically meaningful gestures. Throughout, we

Software Mechanics for Java Multi-Threading

by Jan A. Bergstra, Marijke Loots , 1999
"... For a subset JavaTck(Java Thread Composition Kernel) of Javaanempirical semantics has been developed. 1 Special emphasis is put on the role of synchronization features. The validity of empirical semantics is discussed in the lightofanumber of compiler postulates. A translation of process algebra wi ..."
Abstract - Add to MetaCart
For a subset JavaTck(Java Thread Composition Kernel) of Javaanempirical semantics has been developed. 1 Special emphasis is put on the role of synchronization features. The validity of empirical semantics is discussed in the lightofanumber of compiler postulates. A translation of process algebra

Safe locking for multi-threaded Java

by Einar Broch Johnsen, Thi Mai Thuong Tran, Olaf Owe, Martin Steffen , 2011
"... There are many mechanisms for concurrency control in high-level programming languages. In Java, the original mechanism for concurrency control, based on synchronized blocks, is lexically scoped. For more flexible control, Java 5 introduced non-lexical operators, supporting lock primitives on re-en ..."
Abstract - Cited by 1 (1 self) - Add to MetaCart
-lexical locks. The effect type system is formalized for an object-oriented calculus which supports non-lexical lock handling. Based on an operational semantics, we prove soundness of the effect type analysis. Challenges in the design of the effect type system are dynamic creation of threads, objects
Results 1 - 10 of 2,747