Sciweavers

11168 search results - page 1594 / 2234
» Abstract State Processes
Sort
View
ICFEM
1998
Springer
15 years 9 months ago
Formal Specification of CORBA Services Using Object-Z
Open component architectures, such as CORBA, allow software systems to be composed of independent components. The behavior of components is described with a mixture of an interfac...
Detlef Kreuz
IDMS
2000
Springer
139views Multimedia» more  IDMS 2000»
15 years 9 months ago
Design and Implementation of a Framework for Monitoring Distributed Component Interactions
Abstract. This paper presents a framework for monitoring component interactions. It is part of a larger component framework built on top of the CORBA distributed processing environ...
Nikolay K. Diakov, Harold J. Batteram, Hans Zandbe...
IPPS
2000
IEEE
15 years 9 months ago
ATOLL, a New Switched, High Speed Interconnect in Comparison to Myrinet and SCI
Abstract. While standard processors achieve supercomputer performance, a performance gap exists between the interconnect of MPP's and COTS. Standard solutions like Ethernet ca...
Markus Fischer, Ulrich Brüning, Jörg Klu...
ITS
2000
Springer
108views Multimedia» more  ITS 2000»
15 years 9 months ago
Is What You Write What You Get?: An Operational Model of Training Scenario
To meet the needs for large-scale, high-quality learning contents, needless to say, we have to sharpen authoring tools. Authoring process can be roughly divided into two phases, a ...
Yusuke Hayashi, Mitsuru Ikeda, Kazuhisa Seta, Osam...
IWSAS
2000
Springer
15 years 9 months ago
Imposing Real-Time Constraints on Self-Adaptive Controller Synthesis
Abstract. Self-adaptive systems must recon gure themselves, at runtime, to compensate for changing environments, objectives, and system capabilities. This paper discusses how the S...
David J. Musliner
« Prev « First page 1594 / 2234 Last » Next »