Sciweavers

8056 search results - page 220 / 1612
» Object Behavior Analysis
Sort
View
DEXA
1994
Springer
164views Database» more  DEXA 1994»
15 years 10 months ago
PPOST: A Parallel Database in Main Memory
We present the PPOST-architecture (Persistent Parallel Object Store) for main-memory database systems on parallel computers, that is suited for applications with challenging perfor...
László Böszörményi,...
WSC
2000
15 years 8 months ago
Java engine for UML based hybrid state machines
One of the approaches to modeling hybrid systems is to assign algebraic-differential equations describing the continuous behavior to states of state machines that represent discre...
Andrei Borshchev, Yuri B. Kolesov, Yuri B. Seniche...
ENTCS
2008
71views more  ENTCS 2008»
15 years 6 months ago
An Inverse Method for Parametric Timed Automata
Given a timed automaton with parametric timings, our objective is to describe a procedure for deriving constraints on the parametric timings in order to ensure that, for each valu...
Étienne André, Thomas Chatain, Laure...
ECAL
1995
Springer
15 years 10 months ago
Elements of a Theory of Simulation
Arti cial Life and the more general area of Complex Systems does not have a uni ed theoretical framework although most theoretical work in these areas is based on simulation. This ...
Steen Rasmussen, Christopher L. Barrett
RV
2010
Springer
220views Hardware» more  RV 2010»
15 years 4 months ago
Runtime Verification with the RV System
The RV system is the first system to merge the benefits of Runtime Monitoring with Predictive Analysis. The Runtime Monitoring portion of RV is based on the successful Monitoring O...
Patrick O'Neil Meredith, Grigore Rosu