526 search results - page 13 / 106 » Type Abstractions of Name-Passing Processes |
127
Voted
SCP
2008
15 years 3 months ago
2008
Abstract. The Real-time Specification for Java (RTSJ) introduced a range of language features for explicit memory management. While the RTSJ gives programmers fine control over mem...
143
Voted
TELETRAFFIC
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. To support battery powered mobile broadband wireless access devices efficiently, IEEE 802.16e defines a sleep mode operation for conserving the power of mobile terminals...
160
Voted
ADAEUROPE
2010
Springer
15 years 8 months ago
2010
Springer
Because multicore CPUs have become the standard with all major hardware manufacturers, it becomes increasingly important for ing languages to provide programming abstractions that ...
134
Voted
QEST
2010
IEEE
15 years 1 months ago
2010
IEEE
We study Timed Branching Processes (TBPs), a natural extension of (multitype) Branching Processes (BPs) where each entity is equipped with a finite set of private continuous variab...
178
Voted
TOPNOC
2010
14 years 10 months ago
2010
Information systems supporting business process are mostly very complex. If we have to ensure that certain business rules are enforced in a business process, it is often easier to ...