Sciweavers

11168 search results - page 187 / 2234
» Abstract State Processes
Sort
View
TCS
2002
15 years 6 months ago
A formal approach to object-oriented software engineering
We show how formal specifications can be integrated into one of the current pragmatic object-oriented software development methods. Jacobson's "Object-Oriented Software ...
Martin Wirsing, Alexander Knapp
NOTERE
2010
15 years 4 months ago
The Design of a Real-Time Event Manager Component
Abstract—We review the issues with the conception of realtime event based applications and propose an event manager component design. We start from the design proposed by the Rea...
Damien Masson, Serge Midonnet
TSD
2010
Springer
15 years 4 months ago
Correlation Features and a Linear Transform Specific Reproducing Kernel
Abstract. In this paper we introduce two ideas for phoneme classification: First, we derive the necessary steps to integrate linear transform into the computation of reproducing ke...
Andreas Beschorner, Dietrich Klakow
NETGAMES
2003
ACM
15 years 11 months ago
Bandwidth requirement and state consistency in three multiplayer game architectures
Abstract— Multiplayer games become increasingly popular, mostly because they involve interaction among humans. Typically, multiplayer games are organized based on a Client-Server...
Joseph D. Pellegrino, Constantinos Dovrolis
AAAI
2004
15 years 7 months ago
Metrics for Finite Markov Decision Processes
ENT ABSTRACTS
Norm Ferns, Prakash Panangaden, Doina Precup