Amida is a toolkit to record an execution trace of a java program and visualize the trace as a sequence diagram. Amida supports our novel approach to efficiently detecting phases;the algorithm precisely divides a long...
详细信息
ISBN:
(纸本)9781605580791
Amida is a toolkit to record an execution trace of a java program and visualize the trace as a sequence diagram. Amida supports our novel approach to efficiently detecting phases;the algorithm precisely divides a long execution trace into a series of smaller diagrams corresponding to features (or tasks to achieve a feature) without deep knowledge on a target system.
Dungine is an open source Argumentation Engine and API implemented in the java programming language. Dungine uses argument games to evaluate the acceptability of an argument given a constellation of arguments under gr...
详细信息
Besides the features of a class-based object-oriented language, java integrates concurrency via its thread-classes, allowing for a multithreaded flow of control. Besides that, the language offers a flexible exception ...
详细信息
Besides the features of a class-based object-oriented language, java integrates concurrency via its thread-classes, allowing for a multithreaded flow of control. Besides that, the language offers a flexible exception mechanism for handling errors or exceptional program conditions. To reason about safety-properties of java-programs and extending previous work on the proof theory for monitor synchronization, we introduce in this paper an assertional proof method for javaMT ("Multi-Threaded java"), a small concurrent sublanguage of java, covering concurrency and especially exception handling. We show soundness and relative completeness of the proof method.
This paper describes wildcards, a new language construct designed to increase the flexibility of object-oriented type systems with parameterized classes. Based on the notion of use-site variance, wildcards provide a t...
详细信息
ISBN:
(纸本)9781581138122
This paper describes wildcards, a new language construct designed to increase the flexibility of object-oriented type systems with parameterized classes. Based on the notion of use-site variance, wildcards provide a type safe abstraction over different instantiations of parameterized classes, by using '?' to denote unspecified type arguments. Thus they essentially unify the distinct families of classes often introduced by parametric polymorphism. Wildcards are implemented as part of the upcoming addition of generics to the java™ programminglanguage, and will thus be deployed world-wide as part of the reference implementation of the java compiler javac available from Sun Microsystems, Inc. By providing a richer type system, wildcards allow for an improved type inference scheme for polymorphic method calls. Moreover, by means of a novel notion of wildcard capture, polymorphic methods can be used to give symbolic names to unspecified types, in a manner similar to the "open" construct known from existential types. Wildcards show up in numerous places in the java Platform APIs of the upcoming release, and some of the examples in this paper are taken from these APIs.
This paper presents PiDES, a formalism for discrete event simulation based on Pi-calculus. PiDES provides a rigorous semantics of behavior modeling and coordination for simulation federates. The capability of PiDES is...
详细信息
ISBN:
(纸本)9781424427086
This paper presents PiDES, a formalism for discrete event simulation based on Pi-calculus. PiDES provides a rigorous semantics of behavior modeling and coordination for simulation federates. The capability of PiDES is demonstrated by translating a generalized semi-Markov process formalism into PiDES specification. The usage of PiDES is illustrated through a case study of a flexible manufacturing system consisting of two machines, two parts, and a robot. The major advantages of PiDES are discussed, which include: a) a complete set of semantics for both modeling and execution;b) supporting parallel and distributed simulation;c) adaptive modeling;d) rich coordination semantics for developing large simulation systems;and finally e) a formalism that can be used for agent-based simulation. An implementation of PiDES using java programming language is also provided.
In generalization refactoring, preconditions and allowable source code modifications depend on type constraints of the refactored program. Type constraints of parameterized types should be considered when applying the...
详细信息
ISBN:
(纸本)9780769533162
In generalization refactoring, preconditions and allowable source code modifications depend on type constraints of the refactored program. Type constraints of parameterized types should be considered when applying the refactoring to generic programs, otherwise type errors may be brought into the refactored program. Some type constraint rules for java generic programs are presented to verify the preconditions in the refactoring. The type constraints can be solved by traversing a type constraint graph. Based on the type constraint graph, a refactoring algorithm for extract interface is proposed.
With increasing processing power of today's mobile phones, a reasonable employment of Distributed Speech Recognition (DSR) Technology comes into reach. This paper presents the ETSI DSR front-end standards as softw...
详细信息
With increasing processing power of today's mobile phones, a reasonable employment of Distributed Speech Recognition (DSR) Technology comes into reach. This paper presents the ETSI DSR front-end standards as software- based implementations on the two most popular mobile phone platforms: java ME and Symbian. We present performance comparisons between the different front-end standards as well as the execution times on current mobile phones. After showing that real-time feature-extraction on current devices is possible, we furthermore point out hindrances and pitfalls during development and deployment.
This paper discusses the implementation using the java programming language of the computer code WebPRAC (Parabolic Reflector Analysis Code for the Web), introduced in [1], the internet version of PRAC for DOS [2] and...
详细信息
ISBN:
(纸本)9781424420414
This paper discusses the implementation using the java programming language of the computer code WebPRAC (Parabolic Reflector Analysis Code for the Web), introduced in [1], the internet version of PRAC for DOS [2] and PRAC for Windows [3]. PRAC is an user-friendly code designed for analyzing offset parabolic reflector antennas with high precision and accuracy, and have been extensively used over the past decade in teaching (currently distributed with [4]), research and industrial development. WebPRAC is intentionally designed for the Internet, running directly from within the web browser on all usual operating systems (Windows, Linux, Macintosh, Solaris, etc...).
At present a big concern is devoted to the problems of effective use of mobile technologies in the area of m-business, m-commerce and other areas. It is important to study carefully the relation and synergy between ma...
详细信息
ISBN:
(纸本)9789537138127
At present a big concern is devoted to the problems of effective use of mobile technologies in the area of m-business, m-commerce and other areas. It is important to study carefully the relation and synergy between management area and mobile technologies so that business processes (mainly) could be supported efficiently. In the paper we there discuss basic approaches to Service Oriented Architectures (SOA) - Web services and their use in mobile devices.
java object XML mapping (JOXM) is a library that supports the automated persistence and querying of java objects in a native XML database. The goal of this library is to provide a suitable alternative to standard obje...
详细信息
ISBN:
(纸本)9780769532615;9780769534206
java object XML mapping (JOXM) is a library that supports the automated persistence and querying of java objects in a native XML database. The goal of this library is to provide a suitable alternative to standard object-relational mapping (ORM) tools, most notably Hibernate. Unlike techniques such as XML-relational persistence, the storage mechanism provided by JOXM is transparent, allowing the developer to store, retrieve, and query typed java objects as opposed to plain XML data.
暂无评论