Sciweavers

2307 search results - page 381 / 462
» Dynamic Fuzzy Logic
Sort
View
HASE
1999
IEEE
14 years 2 months ago
Model Checking UML Statechart Diagrams Using JACK
Statechart Diagrams provide a graphical notation for describing dynamic aspects of system behaviour within the Unified Modeling Language (UML). In this paper we present a branchin...
Stefania Gnesi, Diego Latella, Mieke Massink
ICMCS
1999
IEEE
95views Multimedia» more  ICMCS 1999»
14 years 2 months ago
The DrawStream Station or the AVCs of Video Cocktail Napkins
This paper reports on the development of a multimedia system to support collaborative design processes. The DrawStream Station was developedthrough acycle of observation of real w...
Steve R. Harrison, Scott L. Minneman, Joshua Marin...
FM
1999
Springer
121views Formal Methods» more  FM 1999»
14 years 2 months ago
Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology
ÐIn this paper, we describe the incremental specification of a power transformer station controller using a controller synthesis methodology. We specify the main requirements as s...
Hervé Marchand, Mazen Samaan
PADS
1998
ACM
14 years 2 months ago
Event History Based Sparse State Saving in Time Warp
This paper presents a sparse state saving scheme for Time Warp parallel discrete event simulation. The scheme bases the selection of the states to be recorded on the event history...
Francesco Quaglia
ECOOP
1998
Springer
14 years 2 months ago
Predicate Dispatching: A Unified Theory of Dispatch
Predicate dispatching generalizes previous method dispatch mechanisms by permitting arbitrary predicates to control method applicability and by using logical implication between pr...
Michael D. Ernst, Craig S. Kaplan, Craig Chambers