Sciweavers

1340 search results - page 213 / 268
» Kalman Temporal Differences
Sort
View
COLCOM
2009
IEEE
15 years 4 months ago
Building a stateful reference monitor with coloured petri nets
The need for collaboration and information sharing has been recently growing dramatically with the convergence of outsourcing and offshoring, the increasing need to cut costs thro...
Basel Katt, Michael Hafner, Xinwen Zhang
DSN
2000
IEEE
15 years 4 months ago
An Automatic SPIN Validation of a Safety Critical Railway Control System
This paper describes an experiment in formal specification and validation performed in the context of an industrial joint project. The project involved an Italian company working...
Stefania Gnesi, Diego Latella, Gabriele Lenzini, C...
MM
1999
ACM
120views Multimedia» more  MM 1999»
15 years 4 months ago
An RTP-based synchronized hypermedia live lecture system for distance education
In this article, we have introduced a “Live Synchronized Hypermedia Live Lecture (SHLL) System” using RTP to synchronize the live presentation of streaming video lecture, HTML...
Herng-Yow Chen, Yen-Tsung Chia, Gin-Yi Chen, Jen-S...
RTAS
1999
IEEE
15 years 4 months ago
MIRROR: A State-Conscious Concurrency Control Protocol for Replicated Real-Time Databases
Data replication can help database systems meet the stringent temporal constraints of current time-critical applications, especially Internet-based services. A prerequisite, howev...
Ming Xiong, Krithi Ramamritham, Jayant R. Haritsa,...
HICSS
1998
IEEE
112views Biometrics» more  HICSS 1998»
15 years 4 months ago
AESOP: An Outline-Oriented Authoring System
Because a hypermedia document is more complex than conventional text, it requires preparation with respect to two key aspects. First, the author begins to develop a "vision&q...
Takeshi Shimizu, Stephen W. Smoliar, John S. Borec...