10159 search results - page 162 / 2032 » System Design Validation Using Formal Models |
112
click to vote
ADBIS
2005
Springer
15 years 8 months ago
2005
Springer
The current period of IT development is characterized by an explosive growth of diverse information representation languages. Applying integration and composition of heterogeneous ...
116
click to vote
AOSE
2005
Springer
15 years 8 months ago
2005
Springer
Autonomy has always been conceived as one of the defining attributes of intelligent agents. While the past years have seen considerable progress regarding theoretical aspects of a...
IJIS
2002
15 years 2 months ago
2002
Meta-level architectures for dynamic control of reasoning processes are quite powerful. In the literature many applications in reasoning systems modelling complex tasks are descri...
117
click to vote
DAC
2002
ACM
16 years 3 months ago
2002
ACM
The ForSyDe methodology has been developed for system level design. In this paper we present formal transformation methods for the refinement of an abstract and formal system mode...
122
click to vote
DAC
1999
ACM
16 years 3 months ago
1999
ACM
Many embedded systems are implemented with a set of alternative function variants to adapt the system to different applications or environments. This paper proposes a novel approa...