Sciweavers

5683 search results - page 861 / 1137
» Interactive Schedulability Analysis
Sort
View
INFOCOM
1999
IEEE
15 years 11 months ago
The Window Distribution of Idealized TCP Congestion Avoidance with Variable Packet Loss
Abstract--This paper analyzes the stationary behavior of the TCP congestion window performing ideal congestion avoidance when the packet loss probability is not constant, but varie...
Archan Misra, Teunis J. Ott
EKAW
1999
Springer
15 years 11 months ago
Formally Verifying Dynamic Properties of Knowledge Based Systems
Abstract. In this paper we study dynamic properties of knowledge-based systems. We argue the importance of such dynamic properties for the construction and analysis of knowledge-ba...
Perry Groot, Annette ten Teije, Frank van Harmelen
RTSS
1998
IEEE
15 years 11 months ago
The Time-Triggered Model of Computation
: The Time-Triggered (TT) model of computation is a model for the representation and analysis of the design of large hard real-time systems. Central to this model is the concept of...
Hermann Kopetz
VRST
1997
ACM
15 years 10 months ago
A framework and testbed for studying manipulation techniques for immersive VR
Developing virtual reality (VR) applications which enable actual work over a period of time requires optimization of the most basic interactions, such as object manipulation, so t...
Ivan Poupyrev, Suzanne Weghorst, Mark Billinghurst...
VLDB
1997
ACM
169views Database» more  VLDB 1997»
15 years 10 months ago
Mining Insurance Data at Swiss Life
Huge masses of digital data about products, customers and competitors have become available for companies in the services sector. In order to exploit its inherent (and often hidde...
Jörg-Uwe Kietz, Ulrich Reimer, Martin Staudt