5499 search results - page 266 / 1100 » Generalized Rewrite Theories |
154
Voted
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— A new dissipative method to design observers for a large class of nonlinear systems has been introduced recently by the author. It generalizes and includes several wellknown ob...
220
click to vote
ECBS
2007
IEEE
16 years 1 months ago
2007
IEEE
Empirical performance evaluation is the process of measuring and calculating performance metrics of deployed software systems. It is a part of performance validation during testin...
226
click to vote
CAI
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we present an overview of algebraic graph transformation in the double pushout approach. Basic results concerning independence, parallelism, concurrency, embedding, ...
174
click to vote
CP
2005
Springer
16 years 24 days ago
2005
Springer
Preferences and uncertainty occur in many real-life problems. The theory of possibility is one way of dealing with uncertainty, which allows for easy integration with fuzzy prefer...
158
click to vote
APLAS
2003
ACM
16 years 16 days ago
2003
ACM
The chi calculus is studied in the framework incorporating two constructions widely useful in applications: asymmetric communication and mismatch condition. The barbed bisimilarity...