5900 search results - page 152 / 1180 » Dependable Systems |
135
Voted
LPAR
2010
Springer
15 years 20 days ago
2010
Springer
We introduce parameterized rewrite systems for describing infinite families of finite string rewrite systems depending upon non-negative integer parameters, as well as ways to reas...
116
Voted
PERVASIVE
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. A logic-based language is often adopted in systems for pervasive computing, because it provides a convenient way to define rules that change the behavior of the systems d...
107
Voted
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
In this paper we present a novel algorithm to identify LPV systems with affine parameter dependence operating under open and closed-loop conditions. A factorization is introduced w...
93
Voted
EDO
2000
Springer
15 years 6 months ago
2000
Springer
Abstract Designing and maintaining a distributed system requires consideration of dependencies and invariants in the system's model. This paper suggests expressing distributio...
156
Voted
ISAS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This paper provides an overview of Proof-Based System Engineering (PBSE), which aims at improving the current practice of developing computer-based systems. PBSE is of pa...