منابع مشابه
The LTS WorkBench
Labelled Transition Systems (LTSs) are a fundamental semantic model in many areas of informatics, especially concurrency theory. Yet, reasoning on LTSs and relations between their states can be difficult and elusive: very simple process algebra terms can give rise to a large (possibly infinite) number of intricate transitions and interactions. To ease this kind of study, we present LTSwb, a fle...
متن کاملSafe Reasoning with Logic LTS
Previous work has introduced the setting of Logic LTS, to-gether with a variant of ready simulation as fully-abstract refinementpreorder, which allows one to compose operational specifications using aCSP-style parallel operator as well as the propositional connectives con-junction and disjunction. In this paper, we show how a temporal logicfor specifying safety properties ma...
متن کاملThe SRMS Workbench
Statistical Rate Monotonic Scheduling (SRMS) is a generalization of the classical RMS results of Liu and Layland [LL73] for periodic tasks with highly variable execution times and statistical QoS requirements. The main tenet of SRMS is that the variability in task resource requirements could be smoothed through aggregation to yield guaranteed QoS. This aggregation is done over time for a given ...
متن کاملThe Stringed Haptic Workbench: a New Haptic Workbench Solution
The workbench is an interesting semi-immersive configuration for interactive tasks. However, haptic feedback, i.e. force and tactile feedback, is one important cue which is missing. To the authors’ knowledge, the sole proposed solution consists in installing an arm force feedback device on one-screen workbenches. This solution, however, has several drawbacks. The arm can perturb the stereoscopi...
متن کاملThe PDES Workbench
Central to the operation of a manufacturing plant is the planning and scheduling of the activities that take place. The quality of the plans and schedules produced has significant impact on the effectiveness and efficiency of a company. These schedules are restricted by the constraints imposed upon them by the design of the plant. However, while expert designers are able to roughly predict the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2015
ISSN: 2075-2180
DOI: 10.4204/eptcs.189.8