656 search results - page 43 / 132 » A Formalization of Transition P Systems |
83
Voted
ENTCS
2006
15 years 18 days 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...
125
click to vote
POPL
2012
ACM
13 years 8 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...
94
Voted
ISSTA
2000
ACM
15 years 5 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...
91
Voted
FOCS
2004
IEEE
15 years 4 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...
89
Voted
ENTCS
2010
15 years 20 days 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...