By Topic

Computer Software and Applications Conference, 1996. COMPSAC '96., Proceedings of 20th International

21-23 Aug. 1996

Filter Results

Displaying Results 1 - 25 of 101
  • Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96

    Publication Year: 1996
    Request permission for commercial reuse | PDF file iconPDF (1321 KB)
    Freely Available from IEEE
  • A colored Petri net-based formal method for the design of control systems

    Publication Year: 1996, Page(s):28 - 35
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (787 KB)

    Several formal methods model reactive systems as discrete-event systems (DES). This makes mathematical reasoning about their properties easier and controller synthesis possible. We investigate the forbidden state control problem in which a DES is represented as a colored Petri net with a symmetry specification. More specifically, we provide an efficient formal method for synthesizing a controller ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Multimedia on the Internet

    Publication Year: 1996
    Cited by:  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (79 KB)

    Summary form only given. Sun is a strong supporter of open standards and therefore believes in cross-platform interoperability. The web is the universal interface to world's digital library. The biggest component of multimedia is video. Compliance of video with international standards based on ISO/MPEG specifications is very important in terms of facilitating interoperability. The standardized uni... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Marriage of wired and wireless networks to build tomorrow's Internet

    Publication Year: 1996
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (97 KB)

    Summary form only given. Tomorrow's Internet will neither be completely wired nor be completely wireless. Our proposed solution is the interim of the wired and wireless network, where roaming nodes are connected back to the wired media when they reach a wired site. The idea is to utilize the large bandwidth infrastructure available over the wired backbone network to connect all static nodes and at... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • High assurance systems engineering

    Publication Year: 1996
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (84 KB)

    Summary form only given, as follows. As we aim to develop more and more complex software systems for real time applications, the concern about their safety and reliability is also growing. In the author's opinion, development of these systems require more formal approaches than the development of a general purpose software system. We can draw our analogy from hardware engineering for which we know... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Network management system development using an application framework

    Publication Year: 1996
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (119 KB)

    Summary form only given. The advantages of using an application framework are described by introducing the NetKeeper network management system. Experience using NetKeeper has shown the ease of constructing communication applications and the rapidity of software construction with an application framework. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software process re-engineering and improvement

    Publication Year: 1996
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (96 KB)

    Summary form only given. We discuss the methodology and lessons learned in the reengineering and improvement of software process. The following areas are specifically tackled: new demands to and changing paradigms of software development; methods of software process reengineering and improvement; information and software technology for software process reengineering and improvement; best practices... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A team-based process improvement initiative

    Publication Year: 1996
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (92 KB)

    Summary form only given. The Information Technology Institute (ITI) thrives on a research and development environment that is similar to many applied research institutes in the United States. It delivers projects that apply advanced and useful high technologies to difficult problems. Most of these projects have a fixed deadline, be it a launch date or a deployment date. Hence, the process supporti... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Hardware/software partitioning for telecommunications systems

    Publication Year: 1996, Page(s):483 - 488
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (613 KB)

    Telecommunications systems, like other embedded systems, are dataflow systems, easily represented by a set of tasks and precedence constraints. The main goal of the design of such systems is to determine for each task the assignment (hardware or software), the scheduling and resources required. We consider assignment and scheduling to be closely linked in hardware/software partitioning and therefo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software education in the 21st century

    Publication Year: 1996
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (39 KB)

    Summary form only given. It is a well recognized fact that economic growth in industrial countries come from three main sources-technical progress, capital, and a well-educated labour force. To maintain our position as, or to become, economic powerhouses in the world, education in science and technology must be emphasized and wide spread. Computer education (not just software education) is an impo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Author index

    Publication Year: 1996
    Request permission for commercial reuse | PDF file iconPDF (149 KB)
    Freely Available from IEEE
  • Data models for metrics-based project management systems

    Publication Year: 1996, Page(s):98 - 103
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (528 KB)

    A metrics based project management system (MPMS) integrates software metrics data, management queries based on the software metrics data, as well as their responses in a single location. Given the variations in projects, queries, metrics and physical databases to be used, MPMSes should be flexible from a user point of view, and also generic from a designer point of view. Two important steps in the... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Design-level cohesion measures: derivation, comparison, and applications

    Publication Year: 1996, Page(s):92 - 97
    Cited by:  Papers (1)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (508 KB)

    Cohesion was first developed to predict properties of implementations created from a given design. Unfortunately, cohesion, as originally defined, could not be objectively assessed, while more recently developed objective cohesion measures depend on code level information. We show that association based and slice based approaches can be used to measure cohesion using only design level information.... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A semantics of the separation of interface and implementation in C++

    Publication Year: 1996, Page(s):83 - 89
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (540 KB)

    C++ uses `class' as the basis of `subtype polymorphism' and `inheritance', but it has been pointed out that the overloading of `class' limits the expressiveness and makes its type system inflexible. This means that C++ and some other object oriented languages had to separate a class into two modules-an interface and an implementation. But, there seems to be no leading C++ model for separating the ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Integrating parallel functions into the manipulation for distributed persistent objects

    Publication Year: 1996, Page(s):76 - 82
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (636 KB)

    Integrating parallel functions into the manipulation of persistent objects on a network-based shared memory architecture is a proposal under consideration. The cost associated with manipulating a large amount of distributed persistent objects is expected to improve from sequential to parallel processing. However, it is a complex task to combine persistence with the capability of parallel and distr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An object-oriented real time systems modeling and verification methodology

    Publication Year: 1996, Page(s):490 - 495
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (472 KB)

    An object-oriented real time systems conceptual modeling approach is described. In this approach, each object is specified by an object type, consisting of supertypes (inheritance), component types (aggregation), attributes, operations, static constraints, and temporal constraints. That is, an object type specification defines a theory of a type of objects. An object-oriented real time conceptual ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Consolidation of query results in a multidatabase environment: an object-oriented approach

    Publication Year: 1996, Page(s):367 - 372
    Cited by:  Patents (8)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (588 KB)

    This research extends an existing framework for translating global queries over a heterogeneous network of databases, focusing on the consolidation of query results and the resolution of semantic differences between component databases and the global schema. The research uses an object-oriented database for the global platform and a self-describing global schema as a means for providing access to ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • OO is NOT the silver bullet

    Publication Year: 1996
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (108 KB)

    A recurring theme within the software industry since its inception has been the problem of poor quality software. Over the last few years object-orientated (OO) approaches have been promoted as a major panacea to these ills and it is claimed that already they are widely adopted. This may be true in education where a recent survey of 27 UK universities reported that all were teaching OO technology ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A task-based approach to verifying conceptual models

    Publication Year: 1996, Page(s):132 - 137
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (528 KB)

    We propose the use of task based specifications in conceptual graphs to construct and verify a conceptual model. Task based specification methodology is used to serve as the mechanism to structure the knowledge captured in the conceptual model; whereas, conceptual graphs are adopted as the formalism to express task based specifications. Verifying a conceptual model is performed on model specificat... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Extending statecharts with duration

    Publication Year: 1996, Page(s):246 - 251
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (464 KB)

    Statecharts has been widely accepted as a successful graphical language for specifying reactive systems. However, some anomalies do exist when the durations of activities are subject to different interpretations such as with or without delay. A number of proposals have been put forward to address these anomalies but in a rather ad hoc fashion. The paper re-addresses these anomalies using a more un... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Mapping Petri nets to parallel programs in CC++

    Publication Year: 1996, Page(s):70 - 75
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (424 KB)

    Petri nets have been widely used as a tool for modeling and analyzing concurrent and distributed system for many years but their applications have been limited to the earlier activities of software system development. To make Petri nets a full fledged software development methodology, systematic (eventually automatic) code generation techniques are needed. We present an approach to derive parallel... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Would Internet Meet Global Acceptance? - From application perspective -

    Publication Year: 1996
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (84 KB)

    First Page of the Article
    View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Modeling active object-oriented database applications using multi-level diagrams

    Publication Year: 1996, Page(s):306 - 311
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (520 KB)

    Active object-oriented database systems (AOODBSs) are based on the object-oriented paradigm and provide an event driven behavior for implementing time critical reactions by integrating event-condition-action (ECA) rules to the database. We focus on the modeling aspects of AOODBSs. We propose an integrated approach, called A/OODBMT (Active Object-Oriented Database Modeling Technique), which integra... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Real-time simulation techniques based on the RTO.k object modeling

    Publication Year: 1996, Page(s):176 - 183
    Cited by:  Papers (12)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (728 KB)

    Real-time simulation is an advanced mode of simulation in which the simulation objects are designed to show the same timing behavior as the simulation targets. A new approach to real-time simulation which is based on the RTO.k object modeling is discussed. The RTO.k object, which is a real-time extension of the well-established object structure, is capable of uniformly and accurately representing ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Performance evaluation of the OLVP (online video processing) system

    Publication Year: 1996, Page(s):560 - 565
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (444 KB)

    The paper discusses how the OLVP system, an innovative video-on-demand system, can be used to efficiently support video delivery applications over an asynchronous transfer mode (ATM) network. We show how the OLVP system provided a high quality of service (QoS) to video applications executing over a set of distributed and heterogeneous system resources. System architecture is described. Key functio... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.