592 search results - page 72 / 119 » CTL Model Update: Semantics, Computations and Implementation |
SPIN
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
VLSID
1999
IEEE
14 years 2 months ago
1999
IEEE
Formal approaches to HW and system design have not been generally adopted, because designers often view the modelling concepts in these approaches as unsuitable for their problems...
ESOP
2012
Springer
12 years 6 months ago
2012
Springer
The existing call-by-need λ calculi describe lazy evaluation via equational logics. A programmer can use these logics to safely ascertain whether one term is behaviorally equivale...
CHI
1993
ACM
14 years 2 months ago
1993
ACM
An adaptive user interface relies, to a large extent, upon an adequate user model (e.g., a representationof user-expertise). However, building a user model may be a tedious and ti...
RTSS
2007
IEEE
14 years 4 months ago
2007
IEEE
It is challenging to process transactions in a timely fashion using fresh data, e.g., current stock prices, since database workloads may considerably vary due to dynamic data/reso...