Searching for "Abstract State Processes." – sorted by Relevance.
8 documents found, showing 1 through 8.
-
Decentralizing UNIX abstractions in the exokernel architecture
- … state of most, if not all, UNIX abstractions is protected from processes. Processes are not able see…
- Cited by 1 (0 self) – Add To MetaCart
-
Submitted to the Department of Electrical Engineering and Computer Science in partial
- … state of most, if not all, UNIX abstractions is protected from processes. Processes are not able see…
- Add To MetaCart
-
Chapter 6 ASM
- ….1,7.1.2], Abstract State Processes and Event-B ASMs [BÖR 03, section 4.2]. 112 Software Specification Methods…
- Add To MetaCart
-
Abstraction of Parameterized Networks
- … Abstraction of one process In [GS97] we define an abstract space state using a set of predicates ' 1…
- Cited by 4 (0 self) – Add To MetaCart
-
The hidden computation steps of turbo Abstract State Machines
- …, the approach of Bolognesi and Börger in [5] for the intermediate states of Abstract State Processes (ASPs…
- Cited by 7 (2 self) – Add To MetaCart
-
Code Generation from UML Models with Semantic Variation Points
- … : Main concreteState context abstractState processEvent(evt) step() CDPlayer + process(evt : CDEvent) 1…
- Cited by 1 (0 self) – Add To MetaCart
-
From Informal Requirements to COOP: a Concurrent Automata Approach
- … communication on a port) depends on which abstract state the process is in. The states are thus retrieved…
- Cited by 10 (7 self) – Add To MetaCart
-
Aspects of Embodied Computing Toward a Reunification of the Physical and the Formal
- … system in which the physical states and processes represent (perhaps imperfectly) certain abstract states…
- Add To MetaCart
Showing 1 through 8.
