Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
3,786
Framing: toward clarification of a fractured paradigm’’,
- Journal of Communication
, 1993
"... In response to the proposition that communication lacks disciplinary status because of deficient core knowledge, I propose that we turn an ostensible weakness into a strength. We should identify our mission as bringing together insights and theories that would otherwise remain scattered in other di ..."
Abstract
-
Cited by 620 (1 self)
- Add to MetaCart
in one location, communication can aspire to become a master discipline that synthesizes related theories and concepts and exposes them to the most rigorous, comprehensive statement and exploration. Reaching this goal would require a more self-conscious determination by communication scholars to plumb
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
- IEEE Transactions on Software Engineering
, 1990
"... This paper provides an overview of the STATEMATE system, constructed over the past several years by the authors and their colleagues at Ad Cad Ltd., the R&D subsidiary of i-Logix, Inc. STATEMATE is a set of tools, with a heavy graphical orientation, in- tended for the specification, analysis, d ..."
Abstract
-
Cited by 485 (7 self)
- Add to MetaCart
This paper provides an overview of the STATEMATE system, constructed over the past several years by the authors and their colleagues at Ad Cad Ltd., the R&D subsidiary of i-Logix, Inc. STATEMATE is a set of tools, with a heavy graphical orientation, in- tended for the specification, analysis
Engineering with Logic: Rigorous Specification and Validation for TCP/IP and the Sockets API
"... The TCP/IP protocols and Sockets API have an interesting status: they play a vital role in modern communication and computation, and interoperability between implementations is essential. But what exactly they are is surprisingly obscure: their original development focussed on “rough consensus and r ..."
Abstract
- Add to MetaCart
stream connections), and of the internal operation of the protocol (in terms of TCP segments and UDP datagrams), together with an abstraction function relating the two. These specifications are rigorous, detailed, readable, with broad coverage, and are rather accurate. Working within a general
Rigorous Specification and Conformance TestingTechniques for Network Protocols, as applied to TCP, UDP,
"... Abstract Network protocols are hard to implement correctly. Despite theexistence of RFCs and other standards, implementations often have subtle differences and bugs. One reason for this is that thespecifications are typically informal, and hence inevitably contain ambiguities. Conformance testing ag ..."
Abstract
- Add to MetaCart
against such specifications ischallenging. In this paper we present a practical technique for rigorousprotocol specification that supports specification-based testing. We have applied it to TCP, UDP, and the Sockets API, developinga detailed `post-hoc ' specification that accurately reflects
Group Communication Specifications: A Comprehensive Study
- ACM COMPUTING SURVEYS
, 1999
"... View-oriented group communication is an important and widely used building block for many distributed applications. Much current research has been dedicated to specifying the semantics and services of view-oriented Group Communication Systems (GCSs). However, the guarantees of different GCSs are for ..."
Abstract
-
Cited by 370 (15 self)
- Add to MetaCart
are formulated using varying terminologies and modeling techniques, and the specifications vary in their rigor. This makes it difficult to analyze and compare the different systems. This paper provides a comprehensive set of clear and rigorous specifications, which may be combined to represent the guarantees
Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and Sockets
- In Proceedings of ACM Conference on Computer Communication (SIGCOMM 2005
, 2005
"... Network protocols are hard to implement correctly. Despite the existence of RFCs and other standards, implementations often have subtle differences and bugs. One reason for this is that the specifications are typically informal, and hence inevitably contain ambiguities. Conformance testing against s ..."
Abstract
-
Cited by 50 (14 self)
- Add to MetaCart
such specifications is challenging. In this paper we present a practical technique for rigorous protocol specification that supports specificationbased testing. We have applied it to TCP, UDP, and the Sockets API, developing a detailed ‘post-hoc’ specification that accurately reflects the behaviour of several
LSCs: Breathing Life into Message Sequence Charts
, 2001
"... While message sequence charts (MSCs) are widely used in industry to document the interworking of processes or objects, they are expressively weak, being based on the modest semantic notion of a partial ordering of events as defined, e.g., in the ITU standard. A highly expressive and rigorously defin ..."
Abstract
-
Cited by 444 (71 self)
- Add to MetaCart
While message sequence charts (MSCs) are widely used in industry to document the interworking of processes or objects, they are expressively weak, being based on the modest semantic notion of a partial ordering of events as defined, e.g., in the ITU standard. A highly expressive and rigorously
Developing and Verifying Rigorous Specifications with Viewpoints, Use Cases, And Sequence-Based Specification Methods
"... The effectiveness of rigorous specification methods such as sequence-based specification is often limited by the specification team's ability to understand the system requirements. Viewpoints and use-case methods address this issue by supporting requirements elicitation and informal description ..."
Abstract
- Add to MetaCart
The effectiveness of rigorous specification methods such as sequence-based specification is often limited by the specification team's ability to understand the system requirements. Viewpoints and use-case methods address this issue by supporting requirements elicitation and informal
Multiobjective Evolutionary Algorithms: Analyzing the State-of-the-Art
, 2000
"... Solving optimization problems with multiple (often conflicting) objectives is, generally, a very difficult goal. Evolutionary algorithms (EAs) were initially extended and applied during the mid-eighties in an attempt to stochastically solve problems of this generic class. During the past decade, ..."
Abstract
-
Cited by 440 (7 self)
- Add to MetaCart
, a variety of multiobjective EA (MOEA) techniques have been proposed and applied to many scientific and engineering applications. Our discussion's intent is to rigorously define multiobjective optimization problems and certain related concepts, present an MOEA classification scheme
Results 1 - 10
of
3,786
