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
  • VGUIDE: 4GL application platform for large distributed information systems

    Publication Year: 1996, Page(s):536 - 541
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (508 KB)

    The Visual and General User Interface for Database Environments (VGUIDE) is an integrated environment for developing and running distributed information systems based on the client/server model. Its main features are: (1) fourth-generation language (4GL) for developing database applications that reduce system development costs. (2) a real-time control monitor that can be scaled from small systems ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Object-oriented framework for metrics guided risk management

    Publication Year: 1996, Page(s):110 - 115
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (536 KB)

    We present a framework for managing large software projects using metrics. The collection and analysis of metrics data serve as a consistent mechanism for risk identification and quality management. The crux of this mechanism is the temporal modeling of metrics data. We present a comprehensive set of temporal operators which serve as the building block for the formal specification of users' views ... 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.
  • OOHS: an object-oriented hypermedia system

    Publication Year: 1996, Page(s):496 - 501
    Cited by:  Patents (9)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (604 KB)

    In this paper, we design a new hypermedia markup language using SGML and implement an object-oriented hypermedia system on top of the Postgres. Compared with the conventional systems, our hypermedia system has some advantages. First, since our hypermedia markup language is designed using SGML, the language can interchange documents in a system-independent manner and can support content-based and s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Handling multimedia data for mobile computers

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

    Mobile clients have unusual needs for sending and receiving multimedia data. The traditional client/server paradigm does not take into account variable network conditions; thus traditional client/server applications have no capability of responding to intermittent connectivity, changing cost structures, or the kind of fluctuations in available bandwidth which are characteristic of wireless links. ... 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.
  • Emerging software engineering education

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

    Software engineering education at higher education has to play at least two roles as showing software engineering researches the right direction along with which they must carry out their works in a non-trivial way. Today's gap forces us to do this role which is thought beyond education. The other role is educating students whatever useful technology for their developing systems. The author's expe... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Heuristics for computing attribute values of C++ program complexity metrics

    Publication Year: 1996, Page(s):104 - 109
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (412 KB)

    We proposed new metrics for computing the program complexity of object oriented programs (E.M. Kim et al., 1994). In these metrics, we examined program complexity from three dimensional viewpoints in object oriented paradigm: syntax dimension, inheritance dimension and interaction dimension. We have defined attributes to evaluate three viewpoints quantitatively. We present some heuristics for comp... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Detection of infeasible paths using Presburger arithmetic

    Publication Year: 1996, Page(s):461 - 469
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (740 KB)

    Detecting infeasible paths (IFPs) allows accurate computation of various kinds of program slices, and accurate detection of semantic errors that may occur when two variants of a program are merged. We propose a method of efficiently determining the truth of a prenex normal form Presburger sentence (P-sentence) bounded only by existential quantifiers, which is suitable for detecting IFPs. In this m... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A software process management system considering workers' workload

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

    Workers in software projects are usually engaged in main development and other work, concurrently. Other work might put pressure on the schedule of the whole project. Therefore an order to manage the whole project appropriately, not only the main development work but also other work should be dealt with as management objects. The paper clarifies a framework to support various types of work and dif... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Extending OODB with behavioral temporal management capability

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

    In order to manage the history of objects in a database, some researchers have proposed temporal database systems. However, data change is always caused by the behavior of objects. A database application may not only need the data history of objects but also the behavioral history of objects. Current temporal databases only consider the data history of objects but do not take the behavioral histor... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Is OO working as it promised?

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

    To discuss whether or not the OO (object-oriented) paradigm for software development is working as it promised, we review what the OO software development paradigm promised. Users in different communities introduced different advantages of using OO for different applications. The OO concepts are well suited to problems using real world concepts rather than computer concepts. This means that OO can... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A tool for debugging OSF DCE applications

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

    Debugging distributed applications presents many challenges in addition to those found in debugging sequential applications. This paper describes a tool, and the principles underlying it, that has been developed to assist in debugging such distributed applications. Although the tool can also be applied in other environments, this paper primarily describes its application to OSF DCE. Special attent... View full abstract»

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