5900 search results - page 152 / 1180 » Dependable Systems |
LPAR
2010
Springer
13 years 8 months 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...
PERVASIVE
2006
Springer
13 years 10 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...
CDC
2008
IEEE
14 years 7 days 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...
EDO
2000
Springer
14 years 1 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...
ISAS
2005
Springer
14 years 3 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...