20126 search results - page 125 / 4026 » Timed Transition Systems |
118
click to vote
CONCUR
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. In this paper, we introduce weak bisimulation in the framework of Labeled Concurrent Markov Chains, that is, probabilistic transition systems which exhibit both probabili...
109
click to vote
AMCS
2008
15 years 3 months ago
2008
The objective of the article is to obtain general conditions for several types of controllability at once for an abstract differential equation of arbitrary order, instead of condi...
144
Voted
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
This paper presents a novel approach to solve the constrained unit commitment problem using Selective Self-Adaptive Ant System (SSAS) for improving search performance by automatic...
153
click to vote
SP
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper, we propose BIND (Binding Instructions aNd Data),1 a fine-grained attestation service for securing distributed systems. Code attestation has recently received consi...
161
click to vote
EMSOFT
2010
Springer
15 years 1 months ago
2010
Springer
Many real-time applications are designed to work in different operating modes each characterized by different functionality and resource demands. With each mode change, resource d...