Sciweavers

1709 search results - page 69 / 342
» Precise Modeling of Design Patterns
Sort
View
75
Voted
MEDINFO
2007
115views Healthcare» more  MEDINFO 2007»
15 years 2 months ago
Using an Accident Model to Design Safe Electronic Medication Management Systems
Large-scale implementation of electronic prescribing systems (e-PS) is likely to introduce at least some machinerelated errors that will harm patients. We present a dynamic system...
Farah Magrabi, Geoff McDonnell, Johanna I. Westbro...
ISORC
2000
IEEE
15 years 4 months ago
Verification of UML-Based Real-Time System Designs by Means of cTLA
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
Günter Graw, Peter Herrmann, Heiko Krumm
103
Voted
DATAMINE
2006
83views more  DATAMINE 2006»
15 years 19 days ago
Structural Hidden Markov Models Using a Relation of Equivalence: Application to Automotive Designs
Standard hidden Markov models (HMM's) have been studied extensively in the last two decades. It is well known that these models assume state conditional independence of the ob...
Djamel Bouchaffra, Jun Tan
90
Voted
CAISE
2006
Springer
15 years 4 months ago
Modeling User Behaviour Aware WebSites with PRML
Adaptive websites usually change as effect of user navigational actions. Most current web engineering approaches (which consider personalization) allow to detect basic user browsin...
Irene Garrigós, Jaime Gómez
82
Voted
UML
2001
Springer
15 years 5 months ago
An Action Semantics for MML
This paper describes an action semantics for UML based on the Meta-Modelling Language (MML) - a precise meta-modelling language designed for developing families of UML languages. A...
José M. Álvarez, Tony Clark, Andy Ev...