Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
1,474
A Component- and Message-Based Architectural Style for GUI Software
, 1995
"... While a large fraction of application code is devoted to graphical user interface (GUI) functions, support for reuse in this domain has largely been confined to the creation of GUI toolkits ("widgets"). We present a novel architectural style directed at supporting larger grain reuse and fl ..."
Abstract
-
Cited by 185 (37 self)
- Add to MetaCart
and flexible system composition. Moreover, the style supports design of distributed, concurrent applications. Asynchronous notification messages and asynchronous request messages are the sole basis for inter-component communication. A key aspect of the style is that components are not built with any
Revised 5 report on the algorithmic language Scheme
- ACM SIGPLAN Notices
, 1998
"... The report gives a defining description of the programming language Scheme. Scheme is a statically scoped and properly tail-recursive dialect of the Lisp programming language invented by Guy Lewis Steele Jr. and Gerald Jay Sussman. It was designed to have an exceptionally clear and simple semantics ..."
Abstract
-
Cited by 246 (4 self)
- Add to MetaCart
and few different ways to form expressions. A wide variety of programming paradigms, including imperative, functional, and message passing styles, find convenient expression in Scheme. The introduction offers a brief history of the language and of the report. The first three chapters present
The Character, Functions, and Styles of Instant Messaging in the Workplace
, 2002
"... Current perceptions of Instant Messaging (IM) use are based primarily on self-report studies. We logged thousands of (mostly) workplace IM conversations and evaluated their conversational characteristics and functions. Contrary to prior research, we found that the primary use of workplace IM was for ..."
Abstract
-
Cited by 117 (1 self)
- Add to MetaCart
Current perceptions of Instant Messaging (IM) use are based primarily on self-report studies. We logged thousands of (mostly) workplace IM conversations and evaluated their conversational characteristics and functions. Contrary to prior research, we found that the primary use of workplace IM
Parallel Programming in Split-C
- In Proceedings of Supercomputing '93
, 1993
"... We introduce the Split-C language, a parallel extension of C intended for high performance programming on distributed memory multiprocessors, and demonstrate the use of the language in optimizing parallel programs. Split-C provides a global address space with a clear concept of locality and unusual ..."
Abstract
-
Cited by 164 (18 self)
- Add to MetaCart
assignment operators. These are used as tools to reduce the frequency and cost of remote access. The language allows a mixture of shared memory, message passing, and data parallel programming styles while providing efficient access to the underlying machine. We demonstrate the basic language concepts using
Style Mining of Electronic Messages for Multiple Authorship Discrimination: First Results
, 2003
"... This paper considers the use of computational stylistics for performing authorship attribution of electronic messages, addressing categorization problems with as many as 20 different classes (authors). E#ective stylistic characterization of text is potentially useful for a variety of tasks, as langu ..."
Abstract
-
Cited by 61 (5 self)
- Add to MetaCart
, as language style contains cues regarding the authorship, purpose, and mood of the text, all of which would be useful adjuncts to information retrieval or knowledge-management tasks. We focus here on the problem of determining the author of an anonymous message, based only on the message text. Several
Using State Space Exploration and a Natural Deduction Style Message Derivation Engine to Verify Security Protocols
- In Proc. IFIP Working Conference on Programming Concepts and Methods (PROCOMET
, 1998
"... As more resources are added to computer networks, and as more vendors look to the World Wide Web as a viable marketplace, the importance of being able to restrict access and to insure some kind of acceptable behavior even in the presence of malicious adversaries becomes paramount. Many researchers h ..."
Abstract
-
Cited by 81 (5 self)
- Add to MetaCart
have proposed the use of security protocols to provide these security guarantees. In this paper, we develop a method of verifying these protocols using a special purpose model checker which executes an exhaustive state space search of a protocol model. Our tool also includes a natural deduction style
Effects of message style on users’ attributions toward agents
- In CHI -94: Conference companion on Human factors in computing systems
, 1994
"... We used a Wizard-of-Oz paradigm to study effects of message style on dialog and on people's mental models of computer agents. People made airline reservations using a simulated reservation agent from which they received one of three message styles: Telegraphic, Fluent, or Anthropomorphic. The a ..."
Abstract
-
Cited by 31 (3 self)
- Add to MetaCart
We used a Wizard-of-Oz paradigm to study effects of message style on dialog and on people's mental models of computer agents. People made airline reservations using a simulated reservation agent from which they received one of three message styles: Telegraphic, Fluent, or Anthropomorphic
Anatomy of a Message in the Alewife Multiprocessor
, 1993
"... Shared-memory provides a uniform and attractive mechanism for communication. For efficiency, it is often implemented with a layer of interpretive hardware on top of a message-passingcommunications network. This interpretive layer is responsible for data location, data movement, and cache coherence. ..."
Abstract
-
Cited by 70 (16 self)
- Add to MetaCart
Shared-memory provides a uniform and attractive mechanism for communication. For efficiency, it is often implemented with a layer of interpretive hardware on top of a message-passingcommunications network. This interpretive layer is responsible for data location, data movement, and cache coherence
Parsec: Direct Style Monadic Parser Combinators For The Real World
, 2001
"... Despite the long list of publications on parser combinators, there does not yet exist a monadic parser combinator library that is applicable in real world situations. In particular naive implementations of parser combinators are likely to suffer from space leaks and are often unable to report pr ..."
Abstract
-
Cited by 91 (3 self)
- Add to MetaCart
precise error messages in case of parse errors. The Parsec parser combinator library described in this paper, utilizes a novel implementation technique for space and time efficient parser combinators that in case of a parse error, report both the position of the error as well as all grammar
Results 1 - 10
of
1,474
