Results 1 - 10 of 8,256

Verification of the Futurebus+ Cache Coherence Protocol

by Edmund M. Clarke, Orna Grumberg, Hiromi Hiraishi, Somesh Jha, David E. Long, Kenneth L. McMillan, Linda A. Ness , 1995
"... We used a hardware description language to construct a formal model of the cache coherence protocol described in the IEEE Futurebus+ standard. By applying temporal logic model checking techniques, we found errors in the standard. The result of our project is a concise, comprehensible and unambiguous ..."
Abstract - Cited by 104 (16 self) - Add to MetaCart
and unambiguous model of the protocol that should be useful both to the Futurebus+ Working Group members, who are responsible for the protocol, and to actual designers of Futurebus+ boards.

Secure Group Communications Using Key Graphs

by Chung Kei Wong, Mohamed Gouda , Simon S. Lam - SIGCOMM '98 , 1998
"... Many emerging applications (e.g., teleconference, real-time information services, pay per view, distributed interactive simulation, and collaborative work) are based upon a group communications model, i.e., they require packet delivery from one or more authorized senders to a very large number of au ..."
Abstract - Cited by 556 (17 self) - Add to MetaCart
Many emerging applications (e.g., teleconference, real-time information services, pay per view, distributed interactive simulation, and collaborative work) are based upon a group communications model, i.e., they require packet delivery from one or more authorized senders to a very large number

Panel Cointegration; Asymptotic and Finite Sample Properties of Pooled Time Series Tests, With an Application to the PPP Hypothesis; New Results. Working paper

by Peter Pedroni , 1997
"... We examine properties of residual-based tests for the null of no cointegration for dynamic panels in which both the short-run dynamics and the long-run slope coefficients are permitted to be heterogeneous across individual members of the panel+ The tests also allow for individual heterogeneous fixed ..."
Abstract - Cited by 529 (13 self) - Add to MetaCart
We examine properties of residual-based tests for the null of no cointegration for dynamic panels in which both the short-run dynamics and the long-run slope coefficients are permitted to be heterogeneous across individual members of the panel+ The tests also allow for individual heterogeneous

Motivation through the Design of Work: Test of a Theory. Organizational Behavior and Human Performance,

by ] Richard Hackman , Grec R Oldham , 1976
"... A model is proposed that specifies the conditions under which individuals will become internally motivated to perform effectively on their jobs. The model focuses on the interaction among three classes of variables: (a) the psychological states of employees that must be present for internally motiv ..."
Abstract - Cited by 622 (2 self) - Add to MetaCart
for this state of affairs is that existing theories of work The authors express great appreciation to members of the consulting firm that helped us gain access to the organizations where this research was conducted; to Kenneth Brousseau, Daniel Feldman, and Linda Frank for assistance in data collection

Resource Description Framework (RDF) Model and Syntax Specification

by Ora Lassila, Ralph R. Swick, World Wide, Web Consortium , 1998
"... This document is a revision of the public working draft dated 1998-08-19 incorporating suggestions received in review comments and further deliberations of the W3C RDF Model and Syntax Working Group. With the publication of this draft, the RDF Model and Syntax Specification enters "last call.&q ..."
Abstract - Cited by 926 (6 self) - Add to MetaCart
Draft for review by W3C members and other interested parties. Publication as a working draft does not imply endorsement by the W3C membership. The RDF Model and Syntax Working Group will not allow early implementation to constrain their ability to make changes to this specification prior to final

Time and transition in work teams: Toward a new model of group development.

by Connie J G Gersick - Academy of Management Journal, , 1988
"... This study of the complete life-spans of eight naturally-ocurring teams began with the unexpected finding that several project groups, studied for another purpose, did not accomplish their work by progressing gradually through a universal series of stages, as traditional group development models wo ..."
Abstract - Cited by 377 (4 self) - Add to MetaCart
would predict. Instead, teams progressed in a pattern of "punctuated equilibrium," through alternating inertia and revolution in the behaviors and themes through which they approached their work. The findings also suggested that groups' progress was triggered more by members

Elephants don't play chess

by Rodney A. Brooks - Robotics and Autonomous Systems , 1990
"... Engineering and Computer Science at M.I.T. and a member of the Artificial Intelligence Laboratory where he leads the mobile robot group. He has authored two books, numerous scientific papers, and is the editor of the International Journal of Computer Vision. There is an alternative route to Artifici ..."
Abstract - Cited by 403 (4 self) - Add to MetaCart
Engineering and Computer Science at M.I.T. and a member of the Artificial Intelligence Laboratory where he leads the mobile robot group. He has authored two books, numerous scientific papers, and is the editor of the International Journal of Computer Vision. There is an alternative route

Application-Level Multicast Using Content-Addressable Networks

by Sylvia Ratnasamy, Mark Handley, Richard Karp, Scott Shenker , 2001
"... Most currently proposed solutions to application-level multicast organize the group members into an application-level mesh over which a DistanceVector routing protocol, or a similar algorithm, is used to construct source-rooted distribution trees. The use of a global routing protocol limits the s ..."
Abstract - Cited by 372 (8 self) - Add to MetaCart
Most currently proposed solutions to application-level multicast organize the group members into an application-level mesh over which a DistanceVector routing protocol, or a similar algorithm, is used to construct source-rooted distribution trees. The use of a global routing protocol limits

A practical and provably secure coalition-resistant group signature scheme

by Giuseppe Ateniese, Jan Camenisch, Marc Joye, Gene Tsudik , 2000
"... A group signature scheme allows a group member to sign messages anonymously on behalf of the group. However, in the case of a dispute, the identity of a signature’s originator can be revealed (only) by a designated entity. The interactive counterparts of group signatures are identity escrow schemes ..."
Abstract - Cited by 276 (29 self) - Add to MetaCart
A group signature scheme allows a group member to sign messages anonymously on behalf of the group. However, in the case of a dispute, the identity of a signature’s originator can be revealed (only) by a designated entity. The interactive counterparts of group signatures are identity escrow

Team mental model: Construct or metaphor

by Richard Klimoski, Susan Mohammed - Journal of Management , 1994
"... There has been a recent resurgence of interest in group cognition in the field of organizational science. However, despite the apparent enthusiasm for the notion of the group mind in some modern guise, important conceptual work is needed to examine the concept critically. We attempt to do this in ou ..."
Abstract - Cited by 283 (4 self) - Add to MetaCart
There has been a recent resurgence of interest in group cognition in the field of organizational science. However, despite the apparent enthusiasm for the notion of the group mind in some modern guise, important conceptual work is needed to examine the concept critically. We attempt to do
Results 1 - 10 of 8,256