Modular reasoning about programs that use subtypes requires that an overriding method in a subtype obeys the specifications of all methods that it overrides. For example, if method m is specified in a supertype T to t...
详细信息
An analysis of over 750 quests from four popular RPGs (Eve Online, World of Warcraft, Everquest, and Vanguard: Saga of Heroes) reveals that RPG quests appear to share a common structure. We propose a classification of...
详细信息
The current approach used to obtain official television channel statistics is based on polls combined with specialized reporting hardware. These are deployed only on a small scale and batch processed every 24 hours. W...
详细信息
ISBN:
(纸本)9781450309059
The current approach used to obtain official television channel statistics is based on polls combined with specialized reporting hardware. These are deployed only on a small scale and batch processed every 24 hours. With the enhanced capabilities of present-day IPTV set-top-boxes, network operators can track channel popularity and usage patterns with a degree of precision and sophistication not possible with existing methods. One such network operator, Altibox, is the largest provider of IPTV in Norway with a deployment of over 320,000 set top-boxes. By tapping into the high-volume stream of channel zap events sent from these set-top boxes, very accurate viewership can be obtained and presented in near real-time. In this paper, we examine two programming paradigms for implementing applications to compute viewership based on channel zap events. One based on a general-purpose programminglanguage (java) and the other based on a highly specialized event stream processing language (EPL). An important characteristic of this application is stateful event processing. We are interested in exploring the trade-offs between these two implementations, to determine their suitability for such applications. Specifically, we are interested in the performance trade-off and the program complexity of each implementation. Our results show that a pure java implementation has a significant edge over EPL in terms of performance. Although, our numbers cannot be used to draw a general conclusion, it seems indicative that an event stream processing engine would suffer more than a general-purpose language as query complexity grows. We conjecture that this is because it is easier to construct custom data structures for the specific problem in a general-purpose language like java. In terms of program complexity, EPL has a slight edge in all metrics, and a significant edge when event streams can be reused to perform more complex processing, indicating that less effort is necessary to extend func
this paper presents a new software package based on an intelligent algorithm for playing backgammon. The software is implemented in javalanguage. The software allows both a game between two human players and between ...
详细信息
ISBN:
(纸本)9789604742974
this paper presents a new software package based on an intelligent algorithm for playing backgammon. The software is implemented in javalanguage. The software allows both a game between two human players and between a human player and computer. In case of playing versus computer, a heuristic algorithm was used. The software package contains a module for tracking several backgammon games in the local area network.
The aim of the present manuscript is to present a user-friendly and flexible platform for transforming Kubios HRV output files to an .xls-file format, used by MS Excel. The program utilizes either native or bundled Ja...
详细信息
ISBN:
(纸本)9781617827396
The aim of the present manuscript is to present a user-friendly and flexible platform for transforming Kubios HRV output files to an .xls-file format, used by MS Excel. The program utilizes either native or bundled java and is platform-independent and mobile. This means that it can run without being installed on a computer. It also has an option of continuous transferring of data indicating that it can run in the background while Kubios produces output files. The program checks for changes in the file structure and automatically updates the .xls-output file.
We present a hybrid debugger for the java programming language which integrates declarative and omniscient debugging techniques. Omniscient debugging is an extension of trace debugging which is the most common debuggi...
详细信息
ISBN:
(纸本)9789898425775
We present a hybrid debugger for the java programming language which integrates declarative and omniscient debugging techniques. Omniscient debugging is an extension of trace debugging which is the most common debugging method for java programs. Declarative debugging is a technique mostly used in the area of functional and logic approaches. By combining both techniques our debugger benefits from the advantages of both techniques. We demonstrate how to use our debugger and mention important aspects of its implementation. Furthermore, we develop a declarative debugging strategy to reduce the number of questions and give empirical evidence of its usefulness.
We feel that this entire project was a great success. It allowed us to replace a system that was becoming a problem to maintain with a system that was flexible, modular, and easy to improve and maintain. It gave us th...
详细信息
We feel that this entire project was a great success. It allowed us to replace a system that was becoming a problem to maintain with a system that was flexible, modular, and easy to improve and maintain. It gave us the opportunity to develop some software standards for the future using an up-to-date, object-oriented programminglanguage that runs on multiple platforms. The startup was all but seamless with very few issues encountered and has been received well by operations management and the operators themselves. The implementation of a project this size involves many disciplines working together and we received excellent support from everyone involved. Our biggest challenge in implementing this system was trying to include and/or exclude features that had been added to the old system over its 24-year lifetime. During the course of the design and implementation, we were able to take suggestions from the operations personnel and include their ideas into the system, which made it much more capable and appealing. The modular design proved itself to be flexible and solid. Making incremental changes to the system is very easy and straightforward. This concept was realized when we needed a better way for the operators at the Temper Mill to enter unscheduled coil information for charging into the Gauge Collection System. The change was implemented as an addition to the Mill Floor System screens instead of the Gauge Collection System simply because it was easier and quicker to implement that way. This project also introduced the java programming language and Object Oriented concepts to the plant. The importance of this has been recognized and we are starting to take what we learned from this project and apply those concepts to upcoming projects. We have also created a department-wide java group, which has been systematically going through and learning the language utilizing online computer-aided training along with local mentors. The time we took to create a standard set o
Software watermarking is a software protection technique based on the insertion of copyright notices or unique identifiers into a program to prove ownership. Software watermarks can be broadly divided into two categor...
详细信息
Software watermarking is a software protection technique based on the insertion of copyright notices or unique identifiers into a program to prove ownership. Software watermarks can be broadly divided into two categories: static and dynamic. The former embeds the watermark in the data and/or code of the program, while the latter embeds the watermark in a data structure built at runtime. We describe and evaluate the existing java static watermarking systems and algorithms by using them to watermark bytecode files and then applying distortive attacks to each watermarked program by obfuscating and optimising. Our study revealed that a high proportion of watermarks were removed as a result of these transformations both in the commercial and academic watermarking systems that we tested. These findings confirm the results of previous studies and this is further evidence that static watermarking techniques on their own do not give sufficient protection against software piracy.
This paper presents a new static type system for multi threaded programs;any well-typed program in our system is free of data races. Our type system is significantly more expressive than previous such type systems. In...
详细信息
The objective of this chapter is to compare the dataflow and the mutation testing of several java programs. Experiments were conducted in the Eclipse environment. DFC plugin was used to support the dataflow testing wh...
详细信息
暂无评论