• Publications
  • Influence
The design and analysis of real-time systems using the ASTRAL software development environment
TLDR
This paper discusses the ASTRAL Software Development Environment (SDE), which is an integrated set of design and analysis tools based on a formal specification language for real-time systems. Expand
  • 20
  • 1
  • PDF
A resource manager for optimal resource selection and fault tolerance service in Grids
  • Paul Z. Kolano
  • Computer Science
  • IEEE International Symposium on Cluster Computing…
  • 2004
TLDR
In this paper, we address the issues of resource management and fault tolerance in Grids and propose a fault tolerance service to satisfy QoS requirements. Expand
  • 16
  • 1
Tools and techniques for the design and systematic analysis of real-time systems
TLDR
In this dissertation, an existing real-time specification language is augmented to meet the desired requirements, which also provides general techniques through which other languages may be similarly augmented. Expand
  • 13
  • 1
  • PDF
ASTRAL Software Development Environment User''s Manual
TLDR
ASTRAL software development environment is an integrated set of design and analysis tools based on the ASTRAL formal framework. Expand
  • 5
  • 1
Distributed Applications and Interoperable Systems II
We may not be able to make you love reading, but distributed applications and interoperable systems ii will lead you to love reading starting from now. Book is the window to open the new world. TheExpand
  • 6
  • 1
  • PDF
Dynamic load balancing of SSH sessions using user-specific selection policies
  • Paul Z. Kolano
  • Computer Science
  • The IEEE symposium on Computers and…
  • 22 June 2010
TLDR
Ballast is a tool for balancing user load across SSH servers based on various criteria such as CPU load and system availability. Expand
  • 1
  • 1
  • PDF
Surfer: an extensible pull-based framework for resource selection and ranking
  • Paul Z. Kolano
  • Computer Science
  • IEEE International Symposium on Cluster Computing…
  • 19 April 2004
TLDR
We present a new OGSI-compliant resource selection and ranking framework called Surfer that has been implemented as part of NASA's Information Power Grid (IPG) project. Expand
  • 15
  • PDF
Exploiting the capabilities of communications co-processors
TLDR
In this paper, we study how to exploit the capabilities of CCPs for executing user-level message handlers. Expand
  • 11
  • PDF
Mesh: secure, lightweight grid middleware using existing SSH infrastructure
TLDR
This paper introduces a new lightweight grid middleware called Mesh, which is based on the addition of a single sign-on capability to the built-in public key authentication mechanism of SSH using system call interposition. Expand
  • 7
  • PDF
A Scalable Aural-Visual Environment for Security Event Monitoring, Analysis, and Response
TLDR
This paper introduces a new tool for security event monitoring, analysis, and response called Savors. Expand
  • 5
  • PDF