656 search results - page 43 / 132 » A Formalization of Transition P Systems |
113
click to vote
ENTCS
2006
15 years 4 months ago
2006
Means for the representation of variability in UML 2.0 interactions, as presented in a previous work, are further formalised and given a mathematically formal semantics. In this w...
160
click to vote
POPL
2012
ACM
13 years 12 months ago
2012
ACM
We propose a general formal model of isolated hierarchical parallel computations, and identify several fragments to match the concurrency constructs present in real-world programm...
123
click to vote
ISSTA
2000
ACM
15 years 8 months ago
2000
ACM
This paper presents three sets of classification schemes for processes, properties, and transitions that can be used to assist in the analysis of real-time systems. These classifi...
123
click to vote
FOCS
2004
IEEE
15 years 8 months ago
2004
IEEE
We consider the problem of selecting threshold times to transition a device to low-power sleep states during an idle period. The two-state case in which there is a single active a...
122
click to vote
ENTCS
2010
15 years 4 months ago
2010
In this paper, we present a formal model, named PobSAM (Policy-based Self-Adaptive Model), for modeling self-adaptive systems. In this model, policies are used as a mechanism to d...