Sciweavers

4971 search results - page 74 / 995
» Observation systems
Sort
View
ACOM
2006
Springer
14 years 1 months ago
Flexible Conversations Using Social Commitments and a Performatives Hierarchy
In this research, we re-arrange FIPA’s ACL performatives to form a subsumption lattice (ontology) and apply a theory of social commitments to achieve a simplified and observable...
Robert C. Kremer, Roberto A. Flores
ICALP
1992
Springer
13 years 11 months ago
What Good Are Digital Clocks?
Real-time systems operate in \real," continuous time and state changes may occur at any real-numbered time point. Yet many veri cation methods are based on the assumption that...
Thomas A. Henzinger, Zohar Manna, Amir Pnueli
LSSC
2007
Springer
14 years 1 months ago
Comments on the GMRES Convergence for Preconditioned Systems
Abstract. The purpose of this paper is to comment a frequent observation by the engineers studying acoustic scattering. It is related to the convergence of the GMRES method when so...
Nabil Gmati, Bernard Philippe
WSC
2001
13 years 9 months ago
Statistical selection of the best system
This tutorial discusses some statistical procedures for selecting the best of a number of competing systems. The term "best" may refer to that simulated system having, s...
David Goldsman, Barry L. Nelson
SASO
2007
IEEE
14 years 1 months ago
Root Cause Isolation for Self Healing in J2EE Environments
— The increasing complexity of distributed enterprise systems has made the task of managing these systems difficult and time consuming. The only way to simplify the management p...
Umesh Bellur, Amar Agrawal