5200 search results - page 841 / 1040 » Symbolic models for control systems |
198
click to vote
DANCE
2002
IEEE
16 years 4 days ago
2002
IEEE
In this paper we define and provide a general construction for a class of policies we call dynamic policies. In most existing systems, policies are implemented and enforced by ch...
169
click to vote
RTCSA
1999
IEEE
15 years 11 months ago
1999
IEEE
This study proposes a new bandwidth reservation strategy (Two Level Guarantee) in wireless environment based on the user mobility specification which is assumed to be given at cal...
180
click to vote
ESTIMEDIA
2006
Springer
15 years 10 months ago
2006
Springer
Increasingly more MPSoC platforms are being developed to meet the rising demands from concurrently executing applications. These systems are often heterogeneous with the use of de...
210
click to vote
GG
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Local confluence is an important property in many rewriting and transformation systems. The notion of critical pairs is central for being able to verify local confluence ...
197
click to vote
ESE
2006
15 years 7 months ago
2006
UML and UML-based development methods have become de facto standards in industry, and there are many claims for the positive effects of modelling object-oriented systems using meth...