1585 search results - page 80 / 317 » A framework for computer-aided validation |
113
click to vote
ITA
2002
15 years 2 months ago
2002
Word and tree codes are studied in a common framework, that of polypodes which are sets endowed with a substitution like operation. Many examples are given and basic properties are...
134
click to vote
MATES
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In this paper, an integrated approach for the modeling and the validation through simulation of multi-agent systems is proposed. The approach centers on the instantiation...
115
click to vote
PPDP
2005
Springer
15 years 8 months ago
2005
Springer
Huet and Lang (1978) presented a framework of automated program transformation based on lambda calculus in which programs are transformed according to a given program transformati...
133
click to vote
MMS
2007
15 years 2 months ago
2007
In this paper, we develop a theoretical understanding of multi-sensory knowledge and user context and their interrelationships. This is used to develop a generic representation fr...
163
click to vote
EMSOFT
2007
Springer
15 years 9 months ago
2007
Springer
In networked control systems the controller of a physicallydistributed plant is implemented as a collection of tightlyinteracting, concurrent processes running on a distributed ex...