Typestate: A programming language concept for enhancing software reliability
IEEE Transactions on Software Engineering
Real-time Euclid: a language for reliable real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Heuristic Algorithms for Task Assignment in Distributed Systems
IEEE Transactions on Computers
A real-time language with a schedulability analyzer
A real-time language with a schedulability analyzer
Updating derived relations: detecting irrelevant and autonomously computable updates
ACM Transactions on Database Systems (TODS)
Module Allocation of Real-Time Applications to Distributed Systems
IEEE Transactions on Software Engineering
An efficient hybrid algorithm for incremental data flow analysis
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Properties of data flow frameworks: a unified model
Acta Informatica
INC: a language for incremental computations
ACM Transactions on Programming Languages and Systems (TOPLAS)
The design of a stub generator for heterogeneous RPC systems
Journal of Parallel and Distributed Computing
A Packaging System for Heterogeneous Execution Environments
IEEE Transactions on Software Engineering
Analyzing Hard-Real-Time Programs for Guaranteed Schedulability
IEEE Transactions on Software Engineering
Alphonse: incremental computation as a programming abstraction
PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation
Composable attribute grammars: support for modularity in translator design and implementation
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The evolution and state-of-the-art of real-time languages
Journal of Systems and Software
Functional dependencies and normal forms in the fuzzy relational database model
Information Sciences: an International Journal
Partial evaluation and automatic program generation
Partial evaluation and automatic program generation
SUPRA-RPC: SUbprogram PaRAmeters in remote procedure calls
Software—Practice & Experience
Incremental analysis for reuse and change in hard-real-time systems
RTOSS '93 Proceedings of the tenth IEEE workshop on Real-time operating systems and software
Schedulability-analyzable exception handling for fault-tolerant real-time languages
Real-Time Systems - Special issue: dependability of real-time software
Java intermediate bytecodes: ACM SIGPLAN workshop on intermediate representations (IR'95)
IR '95 Papers from the 1995 ACM SIGPLAN workshop on Intermediate representations
Clarity MCode: a retargetable intermediate representation for compilation
IR '95 Papers from the 1995 ACM SIGPLAN workshop on Intermediate representations
Doubling the engineer's utility
IEEE Spectrum
Lattice frameworks for multisource and bidirectional data flow problems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Caching intermediate results for program improvement
PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Proceedings of the 8th annual ACM symposium on User interface and software technology
A new method for implementing fuzzy retrieval from a spatial database
Information Sciences: an International Journal
Load balanced mapping of distributed objects to minimize network communication
Journal of Parallel and Distributed Computing
Performance and reliability analysis of computer systems: an example-based approach using the SHARPE software package
Efficient and language-independent mobile programs
PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation
Fast, effective dynamic compilation
PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation
VCODE: a retargetable, extensible, very fast dynamic code generation system
PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation
A description language for engineering of complex real-time systems
Real-Time Systems - Special issue on the engineering of complex real-time computer control systems
Designing distributed applications with mobile code paradigms
ICSE '97 Proceedings of the 19th international conference on Software engineering
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Applications of Formal Methods
Applications of Formal Methods
Constructing Predictable Real Time Systems
Constructing Predictable Real Time Systems
Extending Pearl for Industrial Real-Time Applications
IEEE Software
Security for Mobile Agents: Authentication and State Appraisal
ESORICS '96 Proceedings of the 4th European Symposium on Research in Computer Security: Computer Security
Exploiting Code Mobility in Decentralized and Flexible Network Management
MA '97 Proceedings of the First International Workshop on Mobile Agents
Mobile Code Paradigms and Technologies: A Case Study
MA '97 Proceedings of the First International Workshop on Mobile Agents
A Type-Based Implementation of a Language with Distributed Scope
MOS '96 Selected Presentations and Invited Papers Second International Workshop on Mobile Object Systems - Towards the Programmable Internet
MOS '96 Selected Presentations and Invited Papers Second International Workshop on Mobile Object Systems - Towards the Programmable Internet
Jada - Coordination and Communication for Java Agents
MOS '96 Selected Presentations and Invited Papers Second International Workshop on Mobile Object Systems - Towards the Programmable Internet
Sumatra: A Language for Resource-Aware Mobile Programs
MOS '96 Selected Presentations and Invited Papers Second International Workshop on Mobile Object Systems - Towards the Programmable Internet
A constraint function classification for complex systems development
ICECCS '95 Proceedings of the 1st International Conference on Engineering of Complex Computer Systems
Architecture specifications for complex real-time dependable systems
ICECCS '95 Proceedings of the 1st International Conference on Engineering of Complex Computer Systems
Using speculative execution for fault tolerance in a real-time system
ICECCS '95 Proceedings of the 1st International Conference on Engineering of Complex Computer Systems
A task graph model for design and implementation of real-time systems
ICECCS '96 Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems
A Language Support Environment for Complex Distributed Real-Time Applications
ICECCS '97 Proceedings of the Third IEEE International Conference on Engineering of Complex Computer Systems
Generating language-based environments
Generating language-based environments
Starting FORTH
Agent Tcl: a flexible and secure mobile-agent system
TCLTK'96 Proceedings of the 4th conference on USENIX Tcl/Tk Workshop, 1996 - Volume 4
Hi-index | 0.00 |
We present a novel mobile code management environment,currently under design and development. Our design employs anopen architecture, suitable for ``plug-and-play'' with COTS andother groups' tools. While we have studied new algorithms, costand objective functions, and other fundamental issues, the maincontribution of this experimental research work is in the environmentitself. It should be noted that networked platforms, such asthe World Wide Web, are inherently not suitable for traditional,predictable real-time applications. Thus, real-time concernsnecessarily need to be blended with others concerns, and thetarget applications, making use of our environment, will toobe a blend of partially hard real-time and partially (or mostly)soft-real- time ones. The prototype environment will thereforesupport performance-based analysis and management focusing notonly on predictability but also on compilation, efficiency, safetyand other tradeoffs. We have selected the Java language and itsbytecode format as a representation for mobile code as well asa language for our implementation.