6014 search results - page 62 / 1203 » Parametric Analysis of Computer Systems |
125
click to vote
ASM
2005
ASM
15 years 8 months ago
2005
ASM
Abstract. In this paper we consider the following task: given an abstract state machine, characterize the subsets of initial values corresponding to different typical scenarios of...
104
click to vote
APSEC
2004
IEEE
15 years 6 months ago
2004
IEEE
Sensors in ubiquitous computing provide a new opportunity to extend existing RFID capabilities to situation-awareness. This paper proposes several alternatives of the Situation-Aw...
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
— In this paper, we develop a theory of computable types suitable for the study of control systems. The theory uses type-two effectivity as the underlying computational model, bu...
131
Voted
FROCOS
2000
Springer
15 years 6 months ago
2000
Springer
The behaviour of many systems is naturally modelled by a set of ordinary differential equations (ODEs) which are parametric. Since decisions are often based on relations over these...
110
Voted
LOGCOM
2000
15 years 2 months ago
2000
We introduce the concept of reflection principle as a knowledge representation paradigm in a computational logic setting. Reflection principles are expressed as certain kinds of l...