9989 search results - page 200 / 1998 » A CLP Approach to Modelling Systems |
175
click to vote
FM
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
158
Voted
PTS
2003
15 years 6 months ago
2003
We present a framework for property testing where a partially ordered execution trace of a distributed system is modeled by a collection of communicating automata. We prove that th...
161
click to vote
EMSOFT
2007
Springer
15 years 9 months ago
2007
Springer
This paper deals with energy-aware real-time system scheduling using dynamic voltage scaling (DVS) for energy-constrained embedded systems that execute variable and unpredictable ...
146
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper, a novel design space exploration approach is proposed that enables a concurrent optimization of the topology, the process binding, and the communication routing of ...
133
Voted
ECAI
1994
Springer
15 years 9 months ago
1994
Springer
Abstract. In this paper we describe a framework for defining and operationalizing conceptual models of distributed knowledge-based systems which extends published approaches by the...